Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

Sort by: Date | Author | Title

Schwartzbach, M. I. & Meineche Smidt, E. (1990). Types and Automata. Aarhus Universitetsforlag.

Schwartzbach, M. I. (1993). Interpretations of Rekursive Type Definitions. Theoretical Computer Science, 106(1), 119-134. https://doi.org/10.1016/0304-3975(92)90280-S

Schwartzbach, M. I. (Ed.) (2003). PLAN-X 2004 Informal Proceedings. Department of Computer Science, Aarhus University.

Schwartzbach, N. I. (2021). An Incentive-Compatible Smart Contract for Decentralized Commerce. In IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2021 (pp. 1-3). IEEE. https://doi.org/10.1109/ICBC51069.2021.9461077

Schwartzbach, N. I. (2022). Payment Schemes from Limited Information with Applications in Distributed Computing. In EC '22: Proceedings of the 23rd ACM Conference on Economics and Computation (pp. 129-149) https://doi.org/10.1145/3490486.3538342

Schwartzbach, M. I. (1986). A Category Theoretic Analysis of Predicative Type Theory. Cornell University Press.

Schwartzbach, N. I. (2023). Smart Contracts and Rationality. [PhD dissertation, Aarhus University]. Aarhus Universitet.

Schulz, H.-J., Röhlig, M., Nonnemann, L., Aehnelt, M., Diener, H., Urban, B. & Schumann, H. (2019). Lightweight Coordination of Multiple Independent Visual Analytics Tools. In A. Kerren, C. Hurter & J. Braz (Eds.), VISIGRAPP 2019 - Proceedings of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (Vol. 2, pp. 106-117). SCITEPRESS Digital Library. https://doi.org/10.5220/0007571101060117

Schulz, H.-J., Röhlig, M., Nonnemann, L., Hogräfer, M., Aehnelt, M., Urban, B. & Schumann, H. (2020). A Layered Approach to Lightweight Toolchaining in Visual Analytics. In A. P. Cláudio, K. Bouatouch, M. Chessa, A. Paljic, A. Kerren, C. Hurter, A. Tremeau & G. M. Farinella (Eds.), Computer Vision, Imaging and Computer Graphics Theory and Applications : 14th International Joint Conference, VISIGRAPP 2019, Revised Selected Papers (pp. 313-337). Springer. https://doi.org/10.1007/978-3-030-41590-7_13

Schulz, H.-J. & Weaver, C. (2024). Transient Visual Analytics. In D. Fellner, D. Fellner, M. El-Assady & H.-J. Schulz (Eds.), EuroVA 2024 - EuroVis Workshop on Visual Analytics The Eurographics Association. https://doi.org/10.2312/eurova.20241108

Schulz, H.-J., Aupetit, M. & Fisher, D. (2024). Human Aspects. In J.-D. Fekete, D. Fisher & M. Sedlmair (Eds.), Progressive Data Analysis: Roadmap and Research Agenda (pp. 108-131). Eurographics Association. https://doi.org/10.2312/pda.20242707

Schulz, H.-J. & Angelini, M. (2025). Foreword to special section: Highlights from EuroVA 2024. Computers & Graphics, 133, Article 104450. https://doi.org/10.1016/j.cag.2025.104450

Schulz, H.-J. & Paulovich, F. V. (2026). Foreword to special section on SIBGRAPI 2025: Highlights from EuroVA 2025. Computers & Graphics, 134, Article 104526. https://doi.org/10.1016/j.cag.2026.104580

Schultz, U. P. (2004). A Unification of Inheritance and Automatic Program Specialization. In Lecture Notes in Computer Science: Generative Programming and Component Engineering (Vol. 3286/2004, pp. 244-265). Springer.

Schultz, U. P. (2001). Object-oriented program specialization: Aspects into Aspects - or maybe not? In European Conference on Object Oriented Programming: Object-Oriented Technology. ECOOP 2001 Workshop Reader ECOOP 2001 Workshops, Panel, and Posters. Workshop on Generative Programming. WGP'01 (pp. 4). Springer.

Schultz, U. P., Danvy, O. (Ed.) & Filinski, A. (Ed.) (2001). Partial Evaluation for Class-Based Object-Oriented Languages. In Lecture Notes In Computer Science: Proceedings of the Second Symposium on Programs as Data Objects (Lecture Notes in Computer Science 2053 ed., Vol. 2053, pp. 173-197). Springer.

Schultz, U. P. (2002). Towards unifying inheritance and automatic program specialization. Daimi Report Series (DAIMI PB), (566).

Schultz, U. P., Burgaard, K., Christensen, F. G. & Knudsen, J. L. (2003). Compiling Java for low-end embedded systems. In Proceedings of the 2003 ACM SIGPLAN conference on Languages, compilers, and tools for embedded systems (pp. 42-50). Association for Computing Machinery.

Schultz, U. P., Lawall, J. L. & Consel, C. (2003). Automatic program specialization for Java. ACM Transactions on Programming Languages and Systems, 25(4), 452-499.

Schultz, U. P. & Schougaard, K. R. (2004). Supporting Activity-Based Computingusing Dynamically (De)Composable Mobile Applications. In J. E. Bardram, H. B. Christensen, D. Garlan & J. P. Sousa (Eds.), Proceedings of First International Workshop on Computer Support for Human Tasks and Activities (Vol. CfPC-2004-PB-60, pp. 12-16). Center for Pervasive Computing.

Schraefel, M. C., Rouncefield, M., Kellogg, W., Ackerman, M., Marsden, G., Bødker, S., Wyche, S. & Reddy, M. (2012). Domain crossing: how much expertise is enough? In S. Poltrock & C. Simone (Eds.), CSCW’12 : Proceedings of the ACM 2012 conference on Computer Supported Cooperative Work Companion (pp. 29-32). Association for Computing Machinery. https://doi.org/10.1145/2141512.2141529

Schougaard, K. R. (2004). Virtual Distances Used for Optimization of Applicationsin the Pervasive Computing Domain. In A. Fersha, H. Hortner & G. Kotsis (Eds.), Advances in Pervasive Computing: A Collection of Contributions Presented at PERVASIVE 2004 (pp. 133-139). Stollfuß Medien.

Schougaard, K. R. (2007). Vehicular Mobility Prediction by Bayesian Networks. (pp. 1-7). Department of Computer Science, University of Aarhus.

Schougaard, K. R., Hansen, K. M. & Christensen, H. B. (2008). SA@Work - A Field Study of Software Architecture and Software Quality at Work. In 15th Asia-Pacific Software Engineering Conference APSEC 2008 (pp. 411-418). IEEE Computer Society Press. https://doi.org/10.1109/APSEC.2008.41

Schougaard, K. R. & Langdal, J. (2010). Model-based Translucency in Middleware: Supporting Seamful Development. In S. Terzis & L. Veiga (Eds.), Proceedings of the 2nd International Workshop on Middleware for Pervasive Mobile and Embedded Computing : M-MPAC'10 (pp. Article No. 6 ). Association for Computing Machinery. https://doi.org/10.1145/1890791.1890797

Schougaard, K. R. & Schultz, U. P. (2003). POMP - Pervasive Object Model Project. Paper presented at ECOOP 2003 Workshop on Resource Aware Computing., Darmstadt, Germany.

Schougaard, K. R., Grønbæk, K. & Scharling, T. (2012). Indoor Pedestrian Navigation Based on Hybrid Route Planning and Location Modeling. Lecture Notes in Computer Science, 7319, 289-306. https://doi.org/10.1007/978-3-642-31205-2_18

Schougaard, K. R. (2007). Programming with Location: From Conceptualization to Language Design. Department of Computer Science, Aarhus University.

Schou, J. K. R. & Wang, B. (2024). PersiSort: A New Perspective on Adaptive Sorting Based on Persistence. In R. I. Nishat (Ed.), Canadian Conference on Computational Geometry: Proceedings of the 36th Canadian Conference on Computational Geometry (CCCG 2024) Brock University, St. Catharines, Canada, July 17 - 19, 2024 (pp. 287-312)

Schou, J. K. R. (2025). Algorithmic Innovation through Persistence, Topology, and Geometry. [PhD dissertation, Aarhus University].

Scholl, P., Smart, N. P. & Wood, T. (2017). When It’s All Just Too Much: Outsourcing MPC-Preprocessing. In M. O'Neill (Ed.), Cryptography and Coding - 16th IMA International Conference, IMACC 2017, Proceedings (Vol. 10655, pp. 77-99). Springer VS. https://doi.org/10.1007/978-3-319-71045-7_4

Scholl, P. (2018). Extending Oblivious Transfer with Low Communication via Key-Homomorphic PRFs. In M. Abdalla & R. Dahab (Eds.), Public-Key Cryptography - PKC 2018 (Vol. 10769, pp. 554-583). Springer VS. https://doi.org/10.1007/978-3-319-76578-5_19

Scholl, P., Simkin, M. & Siniscalchi, L. (2022). Multiparty Computation with Covert Security and Public Verifiability. In D. Dachman-Soled (Ed.), 3rd Conference on Information-Theoretic Cryptography, ITC 2022 Article 8 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ITC.2022.8

Schneiders, E., Boudouraki, A., Reyes-Cruz, G., Martinez Avila, J. P., Elmimouni, H., Grønbæk, J. E. S., Rintel, S. & Joshi, S. (2023). Mobility and Utility in Robot Mediated Interaction: An Interactive Workshop for the Identification of Use Cases and Affordances of Telepresence Robots. In A. Komninos, C. Santoro, D. Gavalas, J. Schoening, M. Matera & L. A. Leiva (Eds.), Proceedings of the 25th International Conference on Mobile Human-Computer Interaction, MobileHCI 2023 Companion Article 34 Association for Computing Machinery. https://doi.org/10.1145/3565066.3609791

Schmidt, E. M., Brabrand, C., Søndergaard, B. D. & Kjeldsen, H. (2007). Den nye karakterskala: Implementation på NAT/AU.

Schmidt, E. M. (1998). BRICS and Quantum Information Processing. In V. Arvind & S. Ramanujam (Eds.), Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998. Proceedings (pp. 1050). Springer. https://doi.org/10.1007/978-3-540-49382-2_15

Schmidt, E. M. & Skyum, S. (Eds.) (1994). Algorithm Theory — SWAT '94: 4th Scandinavian Workshop on Algorithm Theory Aarhus, Denmark, July 6–8, 1994 Proceedings. Springer. Lecture Notes in Computer Science Vol. 824 https://doi.org/10.1007/3-540-58218-5

Schmidt, E. M. (1980). Space-restricted attribute grammars. In J. de Bakker & J. van Leeuwen (Eds.), Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980 (pp. 436-448). Springer. https://doi.org/10.1007/3-540-10003-2_90

Schmidt, E. M. & Szymanski, T. G. (1977). Succinctness of Descriptions of Unambiguous Context-Free Languages. S I A M Journal on Computing, 6(3), 547-553. https://doi.org/10.1137/0206039

Schmidt, E. M., Skyum, S. & Nielsen, M. (2012). To Dexter - A Tribute from Aarhus. In R. L. Constable & A. Silva (Eds.), Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday (pp. 341). Springer. https://doi.org/10.1007/978-3-642-29485-3_30

Schmidt, K. & Bannon, L. J. (2013). Constructing CSCW: The First Quarter Century. Computer Supported Cooperative Work (CSCW): The Journal of Collaborative Computing and Work Practices, 22(4-6), 345-372. https://doi.org/10.1007/s10606-013-9193-7

Schmidt, A., Kleemann, M., Merritt, T. & Selker, T. (2015). Tactile Communication in Extreme Contexts: Exploring the Design Space Through Kiteboarding. In J. Abascal, S. Barbosa, M. Fetter, T. Gross, P. Palanque & M. Winckler (Eds.), Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part IV (pp. 37-54). Springer. https://doi.org/10.1007/978-3-319-22723-8_4

Schleuning, M., Fründ, J., Klein, A.-M., Abrahamczyk, S., Alarcón, R., Albrecht, M., Andersson, G. K. S., Bazarian, S., Blüthgen, N., Böhning-Gaese, K., Bommarco, R., Dalsgaard, B., Dehling, D. M., Dormann, C. F., Gotlieb, A., Hagen, M., Hickler, T., Holzschuh, A., Kaiser-Bunbury, C. N. ... Blüthgen, N. (2012). Specialization of mutualistic interaction networks decreases toward tropical latitudes. Current Biology, 22(20), 1925-1931. https://doi.org/10.1016/j.cub.2012.08.015

Schivo, S., Khurana, S., Govindaraj, K., Scholma, J., Kerkhofs, J., Zhong, L., Huang, X., van de Pol, J., Langerak, R., van Wijnen, A. J., Geris, L., Karperien, M. & Post, J. N. (2020). ECHO, the executable CHOndrocyte: A computational model to study articular chondrocytes in health and disease. Cellular Signalling, 68, Article 109471. https://doi.org/10.1016/j.cellsig.2019.109471

Schieber, H., Young, J., Langlotz, T., Zollmann, S. & Roth, D. (2025). Semantics-Controlled Gaussian Splatting for Outdoor Scene Reconstruction and Rendering in Virtual Reality. In 2025 IEEE Conference Virtual Reality and 3D User Interfaces (VR) (pp. 318-328). IEEE. https://doi.org/10.1109/VR59515.2025.00056

Scherer, M., Blaabjerg, J. F., Sjösten, A. & Maffei, M. (2025). Wanilla: Sound Noninterference Analysis for WebAssembly. In CCS 2025 - Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security (pp. 126-140). Association for Computing Machinery. https://doi.org/10.1145/3719027.3765156

Schenck, R., Hinnerskov, N. H., Henriksen, T., Madsen, M. & Elsman, M. (2024). AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming. Proceedings of the ACM on Programming Languages , 8(OOPSLA2), 1787-1813. Article 334. https://doi.org/10.1145/3689774

Scheder, D. (2013). Trivial, tractable, hard. A not so sudden complexity jump in neighborhood restricted CNF formulas. In L. Cai, S.-W. Cheng & A.-W. Lam (Eds.), Algorithms and Computation: 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings (pp. 251-261). Springer VS. https://doi.org/10.1007/978-3-642-45030-3_24

Scheder, D. (2013). Unsatisfiable CNF formulas contain many conflicts. In L. Cai, S.-W. Cheng & T.-W. Lam (Eds.), Algorithms and Computation: 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings (pp. 273-283). Springer VS. https://doi.org/10.1007/978-3-642-45030-3_26

Scheder, D. & Tan, L. Y. (2013). On the average sensitivity and density of k-CNF formulas. In P. Prasad , S. Raskhodnikova, K. Jansen & J. D. P. Rolim (Eds.), Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings (pp. 683-698). Springer VS. https://doi.org/10.1007/978-3-642-40328-6_47

Displaying results 751 to 800 out of 5981

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University