Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

Sortér efter: Dato | Forfatter | Titel

Stølting Brodal, G., Kaporis, A. C., Papadopoulos, A. N., Sioutas, S., Tsakalidis, K. & Tsichlas, K. (2014). Dynamic 3-sided planar range queries with expected doubly-logarithmic time. Theoretical Computer Science, 526(March), 58-74. https://doi.org/10.1016/j.tcs.2014.01.014

Stisen, A., Blunck, H., Kjærgaard, M. B. & Grønbæk, K. (2014). Handheld Versus Wearable Interaction Design for Professionals - A Case Study of Hospital Service Work. I T. Leong (red.), Proceedings of the 26th Australian Computer-Human Interaction Conference on Designing Futures: the Future of Design , OzCHI '14 (s. 260-269). Association for Computing Machinery. https://doi.org/10.1145/2686612.2686651

Stisen, A., Blunck, H., Bhattacharya, S., Prentow, T. S., Kjærgaard, M. B., Dey, A., Sonne, T. & Jensen, M. M. (2015). Smart devices are different: Assessing and mitigating mobile sensing heterogeneities for activity recognition. I Proceedings of the 13th ACM Conference on Embedded Network Sensor Systems: Sensys 2015

Stisen, A., Mathisen, A., Krogh, S., Blunck, H., Kjærgaard, M. B. & Prentow, T. S. (2016). Task Phase Recognition for Highly Mobile Workers in Large Building Complexes. I 2016 IEEE International Conference on Pervasive Computing and Communications, PerCom 2016 Artikel 7456504 IEEE. https://doi.org/10.1109/PERCOM.2016.7456504

Stisen, A., Blunck, H., Kjærgaard, M. B., Prentow, T. S., Mathisen, A., Krogh , S. & Grønbæk, K. (2017). Task phase recognition and task progress estimation for highly mobile workers in large building complexes. Pervasive and Mobile Computing, 38(2), 418-429. https://doi.org/10.1016/j.pmcj.2016.08.016

Stisen, A. & Verdezoto, N. (2017). Clinical and Non-clinical Handovers: Designing for Critical Moments. I CSCW 2017 - Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing (s. 2166-2178). Association for Computing Machinery. https://doi.org/10.1145/2998181.2998333

Stisen, A., Verdezoto, N., Blunck, H., Kjærgaard, M. B. & Grønbæk, K. (2016). Accounting for the Invisible Work of Hospital Orderlies: Designing for Local and Global Coordination. I Proceedings of the 19th ACM Conference on Computer-Supported Cooperative Work and Social Computing, CSCW 2016: CSCW '16 (s. 980-992). Association for Computing Machinery. https://doi.org/10.1145/2818048.2820006

Stisen, A. (2016). Mobile Sensing and Recognition of Human Activities to Support Work Coordination. Institut for Datalogi, Aarhus Universitet.

Stiévenart, Q. & Madsen, M. (2020). Fuzzing channel-based concurrency runtimes using types and effects. I Proceedings of the ACM on Programming Languages (OOPSLA udg., Bind 4). Association for Computing Machinery. https://doi.org/10.1145/3428254

Stewart, C., Hoggan, E., Haverinen, L., Salamin, H. & Jacucci, G. (2012). An exploration of inadvertent variations in mobile pressure input. I Proceedings of the 14th international conference on Human-computer interaction with mobile devices and services (s. 35-38)

Sterling, J., Angiuli, C. & Gratzer, D. (2019). Cubical syntax for reflection-free extensional equality. I H. Geuvers (red.), 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019 Artikel 31 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.FSCD.2019.31

Sterling, J. & Harper, R. (2022). Sheaf Semantics of Termination-Insensitive Noninterference. I A. P. Felty (red.), 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022 Artikel 5 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.FSCD.2022.5

Sterling, J., Angiuli, C. & Gratzer, D. (2022). A cubical language for bishop sets. Logical Methods in Computer Science, 18(1), 43:1-43:80. https://doi.org/10.46298/LMCS-18(1:43)2022

Sterling, J., Gratzer, D. & Birkedal, L. (2024). Towards Univalent Reference Types: The Impact of Univalence on Denotational Semantics. I A. Murano & A. Silva (red.), 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024 Artikel 47 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CSL.2024.47

Sterling, J. (2023). What should a generic object be? Mathematical Structures in Computer Science, 33(1), 46-67. https://doi.org/10.1017/S0960129523000117

Stepanenko, S., Nardino, E., Frumin, D., Timany, A. & Birkedal, L. (2025). Context-Dependent Effects in Guarded Interaction Trees. I V. Vafeiadis (red.), Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings (Bind Part II, s. 286-313). Springer. https://doi.org/10.1007/978-3-031-91121-7_12

Stepanenko, S. & Timany, A. (2025). Solving Guarded Domain Equations in Presheaves over Ordinals and Mechanizing It. I M. Fernandez (red.), 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025 Artikel 33 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.FSCD.2025.33

Stenfeldt, L. & Grønbæk, K. (2014). Visions of an interactive Utzon Archive: Tangible, visual and interactive experiences of Utzon works . I Utzon Symposium What would Utzon do Now?: What would Utzon do Now? http://www.be.unsw.edu.au/sites/default/files/36.%20Liselott%20Stenfeldt%20and%20Kaj%20Grønbæk%20-%20Visions%20of%20an%20interactive%20Utzon%20Archive.pdf

Sten Andersen, M., Rask Schmahl, O., Galli, G., Alavesa, P. & Pakanen, M. (2022). HIPPA: Smart Wearables for Enriching the Gameplay of a Traditional Tag Game. I CHI PLAY '22: Extended Abstracts of the 2022 Annual Symposium on Computer-Human Interaction in Play (s. 31-37). Association for Computing Machinery. https://doi.org/10.1145/3505270.3558321

S. Tellez, E., Aumüller, M. & Mic, V. (2025). Overview of the SISAP 2024 Indexing Challenge. I E. Chávez, B. Kimia, J. Lokoč, M. Patella & J. Sedmidubsky (red.), Similarity Search and Applications - 17th International Conference, SISAP 2024, Proceedings (s. 255–265). Springer. https://doi.org/10.1007/978-3-031-75823-2_21

Stein, B., Nielsen, B. B., Chang, B.-Y. E. & Møller, A. (2019). Static Analysis with Demand-driven Value Refinement. Proceedings of the ACM on Programming Languages , 3(OOPSLA), Artikel 140. https://doi.org/10.1145/3360566

The Baboon Genome Analysis Consortium (2018). Analysis of lineage-specific Alu subfamilies in the genome of the olive baboon, Papio anubis. Mobile DNA, 9(1), Artikel 10. https://doi.org/10.1186/s13100-018-0115-6

The Baboon Genome Analysis Consortium (2017). Alu insertion polymorphisms as evidence for population structure in baboons. Genome Biology and Evolution, 9(9), 2418-2427. https://doi.org/10.1093/gbe/evx184

Stassen, P. J. A., Gratzer, D. & Birkedal, L. (2023). mitten: A Flexible Multimodal Proof Assistant. I D. Kesner & P.-M. Pedrot (red.), 28th International Conference on Types for Proofs and Programs Artikel 6 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.TYPES.2022.6

Stassen, P., Møgelberg, R. E., Zwart, M. A., Aguirre, A. & Birkedal, L. (2025). Modelling Recursion and Probabilistic Choice in Guarded Type Theory. Proceedings of the ACM on Programming Languages , 9(POPL), 1417-1445. Artikel 48. https://doi.org/10.1145/3704884

Stassen, P. J. A. (2024). Programming language semantics in modal type theories. [Ph.d.-afhandling, Aarhus Universitet]. Department of Computer Science, University of Aarhus.

Starup, J. L., Madsen, M. & Lhoták, O. (2023). Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints. I K. Ali & G. Salvaneschi (red.), 37th European Conference on Object-Oriented Programming, ECOOP 2023 Artikel 31 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2023.31

Starup, J. L. (2025). Safety in Types and Effects.

Staicu, C. A., Torp, M. T., Schafer, M., Møller, A. & Pradel, M. (2020). Extracting Taint Specifications for JavaScript Libraries. I ICSE '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering (s. 198-209). Artikel 3380390 Association for Computing Machinery. https://doi.org/10.1145/3377811.3380390

Staer, K., Iranzo, A., Stokholm, M., Stergaard, Eroles, M., Otto, M., Svendsen, K., Pla, A., Vilas, D., Santamaria, J., Moller, A., Gaig, C., Borghammer, P., Brooks, D., Tolosa, E. & Pavese, N. (2019). Cortical cholinergic dysfunction correlates with microglial activation in the Substantia Innominata in patients with REM sleep behavior disorder. S830-S830. Abstract fra International Congress of Parkinson's Disease and Movement Disorders, Nice, Frankrig.

Staal, L. K. & Hachisuka, T. (2012). Randomized Coherent Sampling for Reducing the Perceptual Error of Rendered Images. Poster-session præsenteret på SIGGRAPH 2012. https://doi.org/10.1145/2342896.2343023

Srinivasan, S. & Venkitesh, S. (2021). On the probabilistic degree of an n-variate boolean function. I M. Wootters & L. Sanita (red.), Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2021 Artikel 42 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs-APPROX/RANDOM.2021.42

Srinivasan, S. & Tripathi, U. (2023). Optimal Explicit Small-Depth Formulas for the Coin Problem. I B. Saha & R. A. Servedio (red.), STOC 2023 - Proceedings of the 55th Annual ACM Symposium on Theory of Computing (s. 881-894). Association for Computing Machinery. https://doi.org/10.1145/3564246.3585238

Srinivasan, A. & Chan, J. (2024). Improving Selection of Analogical Inspirations through Chunking and Recombination. I C&C '24: Proceedings of the 16th Conference on Creativity & Cognition (s. 374-397). Association for Computing Machinery. https://doi.org/10.1145/3635636.3656207

Srinivasan, A., Ellemose, J., Butcher, P. W. S., Ritsos, P. D. & Elmqvist, N. (2025). Attention-Aware Visualization: Tracking and Responding to User Perception Over Time. IEEE Transactions on Visualization and Computer Graphics, 31(1), 1017-1027. https://doi.org/10.1109/TVCG.2024.3456300

Spitters, B. (2015). Cubical sets as a classifying topos. Abstract fra 21st International Conference on Types for Proofs and Programs, , Tallinn, Estland.

Spitters, B. (2016, okt. 17). Cubical sets and the topological topos. https://arxiv.org/pdf/1610.05270v1.pdf

Spitters, B. (2006). Constructive algebraic integration theory without choice. Dagstuhl Seminar Proceedings, 5021.

Spies, S., Gäher, L., Gratzer, D., Tassarotti, J., Krebbers, R., Dreyer, D. & Birkedal, L. (2021). Transfinite Iris: Resolving an existential dilemma of step-indexed separation logic. I S. N. Freund & E. Yahav (red.), PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (s. 80-95). Association for Computing Machinery. https://doi.org/10.1145/3453483.3454031

Spies, S., Gäher, L., Tassarotti, J., Jung, R., Krebbers, R., Birkedal, L. & Dreyer, D. (2022). Later credits: resourceful reasoning for the later modality. Proceedings of the ACM on Programming Languages , 6(ICFP), Artikel 100. https://doi.org/10.1145/3547631

Spiel, K., Walker, A. M., DeVito, M. A., Birnholtz, J., Barlas, P., Ahmed, A., Brubaker, J. R., Keyes, O., Brulé, E., Light, A., Hardy, J., Rode, J. A. & Kannabiran, G. (2019). Queer(ing) HCI: Moving forward in theory and practice. I CHI EA 2019 - Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems Artikel 3311750 Association for Computing Machinery. https://doi.org/10.1145/3290607.3311750

Spencer, B., Benedikt, M., Møller, A. & Breugel, F. V. (2017). ArtForm: A Tool for Exploring the Codebase of Form-based Websites. I K. Sen & T. Bultan (red.), ISSTA 2017 - Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis (s. 380-383). Association for Computing Machinery. https://doi.org/10.1145/3092703.3098226

Speed, M. (2018). Population Genetic Models for Allele Fraction Data. Aarhus Universitet.

Spapé, M. M., Hoggan, E. E., Jacucci, G. & Ravaja, N. (2015). The meaning of the virtual Midas touch: an ERP study in economic decision making. Psychophysiology, 52(3), 378-87. https://doi.org/10.1111/psyp.12361

Soureshjani, F. H., Hall-Andersen, M., Jahanara, M., Kam, J., Gorzny, J. & Ahmadvand, M. (2023). Automated Analysis of Halo2 Circuits. I S. Graham-Lengrand & M. Preiner (red.), Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), Rome, Italy, July, 5-6, 2023 (Bind 3429, s. 3-17). CEUR-WS.org. https://ceur-ws.org/Vol-3429/paper3.pdf

Sørensen, T. S., Pedersen, E. M., Hansen, O. K. & Sørensen, K. (2003). Visualization of morphological details in congenitally malformed hearts: virtual three-dimensional reconstruction from magnetic resonance imaging. Cardiology in the Young, 13(5), 451-60.

Sørensen, T. S., Therkildsen, S. V., Hansen, O. K., Sørensen, K. & Pedersen, E. M. (2002). Images in cardiovascular medicine. Total cavo-pulmonary connection: a virtual 3-dimensional fly-through. Circulation, 105(20), E176-6.

Sørensen, T. S., Körperich, H., Greil, G. F., Eichhorn, J., Barth, P., Meyer, H., Pedersen, E. M. & Beerbaum, P. (2004). Operator-independent isotropic three-dimensional magnetic resonance imaging for morphology in congenital heart disease: a validation study. Circulation, 110(2), 163-9. https://doi.org/10.1161/01.CIR.0000134282.35183.AD

Sørensen, T. S., Mosegaard, J., Kislinskiy, S. & Greil, G. (2014). Virtual Surgery in Congenital Heart Disease. I F. Saremi (red.), Cardiac CT and MR for Adult Congenital Heart Disease (s. 515-523). Springer. https://doi.org/10.1007/978-1-4614-8875-0_23

Sørensen, J. L., Knudsen, M., Hansen, F. T., Olesen, C., Romans Fuertes, P., Lee, T. V., Søndergaard, T. E., Pedersen, C. N. S., Brodersen, D. E. & Giese, H. (2014). Fungal NRPS-dependent siderophores: From function to prediction. I J.-F. Martin, C. Garcia-Estrada & S. Zeilinger (red.), Biosynthesis and Molecular Genetics of Fungal Secondary Metabolites (s. 317-339). Springer. https://doi.org/10.1007/978-1-4939-1191-2_15

Viser resultater 301 til 350 ud af 3070

Forrige