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, N. I. (2023). Smart Contracts and Rationality. Århus 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

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. D A I M I P B, (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 Langauges and Systems (TOPLAS), 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. (2007). Programming with Location: From Conceptualization to Language Design. Department of Computer Science, Aarhus University. Daimi PhD Dissertation No. PD-07-12

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

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, 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

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

Schaper, M.-M. A., Smith, R. C., Tamashiro, M. A., Van Mechelen, M., Lunding, M. S., Bilstrup, K.-E. K., Kaspersen, M. H., Jensen, K. L., Petersen, M. G. & Iversen, O. S. (2022). Computational Empowerment in Practice: Scaffolding teenagers’ learning about emerging technologies and their ethical and societal impact. International Journal of Child - Computer Interaction, 34, Article 100537. https://doi.org/10.1016/j.ijcci.2022.100537

Schaffner, C., Crépeau, C., Savvides, G. & Wullschleger, J. (2006). Information-Theoretic Conditions for Two-Party Secure Function Evaluation. In S. Vaudenay (Ed.), Advances in Cryptology - EUROCRYPT 2006: 5th Annual International Conference on the Theory and Applications of Cryptographic Techniques (pp. 538-554) https://doi.org/10.1007/11761679_32

Schaffner, C. (2007). Cryptography in the Bounded-Quantum-Storage Model. Daimi PhD Dissertation No. PD-07-2

Schäfer, T., Aracic, I., Merz, M., Mezini, M. & Ostermann, K. (2007). Clustering for Generating Framework Top-Level Views. In Reverse Engineering, 2007, WCRE 2007, 14th Working Conference on (pp. 239-248). IEEE.

Schäfer, Z., Mathisen, A., Svendsen, K., Engberg, S., Rolighed Thomsen, T. & Kirketerp-Møller, K. (2021). Toward Machine-Learning-Based Decision Support in Diabetes Care: A Risk Stratification Study on Diabetic Foot Ulcer and Amputation. Frontiers in medicine, 7, Article 601602. https://doi.org/10.3389/fmed.2020.601602

Schäfer, Z., Mathisen, A., Thomsen, T. R., Rossing, P. & Kirketerp-Møller, K. (2023). Glucagon-like peptide-1 treatment reduces the risk of diabetes-type 2 related amputations: A cohort study in Denmark. Diabetes Research and Clinical Practice, 202, Article 110799. https://doi.org/10.1016/j.diabres.2023.110799

Schaeffter, T., Hansen, M. S. & Sørensen, T. S. (2012). Fast Implementation of Iterative Image Reconstruction. Paper presented at International Society for Magnetic Resonance in Medicine, Melbourne, Australia. http://www.ismrm.org/12/SS_ImageRecon.htm

Schaefer, Z., Haab, L., Schwerdtfeger, K., Takahashi, K. & Strauss, D. J. (2020). Detection of information flow between cortical laminae activities and auditory evoked potentials in rats by means of Granger causality. In 42nd Annual International Conferences of the IEEE Engineering in Medicine and Biology Society (EMBC) (pp. 876-879). IEEE. https://doi.org/10.1109/EMBC44109.2020.9176719

Scafuro, A., Siniscalchi, L. & Visconti, I. (2021). Publicly Verifiable Zero Knowledge from (Collapsing) Blockchains. In J. A. Garay (Ed.), Public-Key Cryptography – PKC 2021: 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10–13, 2021, Proceedings, Part II (pp. 469-498). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-75248-4_17

Satyanarayan, A., Strazzulla, D., Klokmose, C. N., Beaudouin-Lafon, M. & Mackay, W. (2013). The CHI 2013 interactive schedule. In W. E. Mackay, S. Brewster & S. Brewster (Eds.), CHI EA '13 CHI '13 Extended Abstracts on Human Factors in Computing Systems (pp. 2987-2990). Association for Computing Machinery. https://doi.org/10.1145/2468356.2479591

Sassone, V., Nielsen, M. & Winskel, G. (1996). Models for concurrency: towards a classification. Theoretical Computer Science, 170(1-2), 297-348. https://doi.org/10.1016/S0304-3975(96)80710-9

Sassone, V., Nielsen, M. & Winskel, G. (1993). A classification of models for concurrency. In E. Best (Ed.), CONCUR'93: 4th International Conference on Concurrency Theory Hildesheim, Germany, August 23-26, 1993 Proceedings (pp. 82-96). Springer. https://doi.org/10.1007/3-540-57208-2_7

Sassone, V., Nielsen, M. & Winskel, G. (1993). Deterministic behavioural models for concurrency. In A. M. Borzyszkowski & S. Sokolowski (Eds.), Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdansk, Poland, August 30-September 3, 1993 Proceedings (pp. 682-692). Springer. https://doi.org/10.1007/3-540-57182-5_59

Santillan, R. (2010). Existence and Computation of Equilibria in Auction Games. Department of Computer Science, Aarhus University.

San-Segundo, R., Blunck, H., Moreno-Pimentel, J., Stisen, A. & Gil-Martín, M. (2018). Robust Human Activity Recognition using smartwatches and smartphones. Engineering Applications of Artificial Intelligence, 72(6), 190-202. https://doi.org/10.1016/j.engappai.2018.04.002

Displaying results 651 to 700 out of 5426

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University