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

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

Stølting Brodal, G., Davoodi, P., Lewenstein, M., Raman, R. & Satti, S. R. (2016). Two dimensional range minimum queries and Fibonacci lattices. Theoretical Computer Science, 638, 33-43. https://doi.org/10.1016/j.tcs.2016.02.016

Stissing, M., Mailund, T., Pedersen, C. N. S., Brodal, G. S. & Fagerberg, R. (2007). Computing the All-Pairs Quartet Distance on a Set of Evolutionary Trees. In Proceedings of the 5th Asia-Pacific Bioinformatics Conference (APBC) (pp. 91-100)

Stissing, M., Pedersen, C. N. S., Mailund, T. & Brodal, G. S. (2007). Computing the Quartet Distance between Evolutionary Trees of Bounded Degree. In Proceedings of the 5th Asia-Pacific Bioinformatics Conference (APBC) (pp. 101-110)

Stissing, M., Mailund, T., Pedersen, C. S., Brodal, G. S. & Fagerberg, R. (2008). Computing the all-pairs quartet distance on a set of evolutionary trees. Journal of Bioinformatics and Computational Biology, 6(1), 37-50.

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. In T. Leong (Ed.), Proceedings of the 26th Australian Computer-Human Interaction Conference on Designing Futures: the Future of Design , OzCHI '14 (pp. 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. In 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. In 2016 IEEE International Conference on Pervasive Computing and Communications, PerCom 2016 Article 7456504 IEEE. https://doi.org/10.1109/PERCOM.2016.7456504

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

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. In CSCW 2017 - Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing (pp. 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. In Proceedings of the 19th ACM Conference on Computer-Supported Cooperative Work and Social Computing, CSCW 2016: CSCW '16 (pp. 980-992). Association for Computing Machinery. https://doi.org/10.1145/2818048.2820006

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

Sterling, J., Angiuli, C. & Gratzer, D. (2019). Cubical syntax for reflection-free extensional equality. In H. Geuvers (Ed.), 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019 Article 31 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.FSCD.2019.31

Sterling, J. & Harper, R. (2022). Sheaf Semantics of Termination-Insensitive Noninterference. In A. P. Felty (Ed.), 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022 Article 5 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 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

Stenfeldt, L. & Grønbæk, K. (2014). Visions of an interactive Utzon Archive: Tangible, visual and interactive experiences of Utzon works . In 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

Stenderup, K., Rosada, C., Worsaae, A., Dagnaes-Hansen, F., Steiniche, T., Hasselager, E., Iversen, L., Zahn, S., Wöldike, H., Holmberg, H. L., Rømer, J., Kragballe, K., Clausen, J. T. & Dam, T. N. (2008). Interleukin-20 plays a critical role in maintenance and development of psoriasis in the human xenograft transplantation model. British Journal of Dermatology, 160(2), 284-96. https://doi.org/10.1111/j.1365-2133.2008.08890.x

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. In CHI PLAY '22: Extended Abstracts of the 2022 Annual Symposium on Computer-Human Interaction in Play (pp. 31-37). Association for Computing Machinery, Inc. https://doi.org/10.1145/3505270.3558321

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), Article 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), Article 10. https://doi.org/10.1186/s13100-018-0115-6

Stawiaski, J., Sørensen, T. S., Bidault, F. & Decenciere, E. (2007). Combining Morphological and Graph Based Methods for Multi-Label Segmentation. In Proceedings of MICCAI workshop: Interaction in Medical Image Analysis and Visualization

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

Staicu, C. A., Torp, M. T., Schafer, M., Møller, A. & Pradel, M. (2020). Extracting Taint Specifications for JavaScript Libraries. In ICSE '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering (pp. 198-209). Article 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 from International Congress of Parkinson's Disease and Movement Disorders, Nice, France.

Staals, F. & Tsirogiannis, C. (2017). Computing the Expected Value and Variance of Geometric Measures. In S. Fekete & V. Ramachandran (Eds.), 19th Workshop on Algorithm Engineering and Experiments 2017, ALENEX 2017 (pp. 232 - 246). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611974768.19

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

Srinivasan, S. & Venkitesh, S. (2021). On the probabilistic degree of an n-variate boolean function. In M. Wootters & L. Sanita (Eds.), Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2021 Article 42 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 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. In B. Saha & R. A. Servedio (Eds.), STOC 2023 - Proceedings of the 55th Annual ACM Symposium on Theory of Computing (pp. 881-894). Association for Computing Machinery. https://doi.org/10.1145/3564246.3585238

Srba, J., Guldstrand Larsen, K. (Ed.) & Nielsen, M. (Ed.) (2001). On the Power of Labels in Transition Systems. In Lecture Notes in Computer Science: Proceedings of the 12th International Conference on Concurrency Theory (2154 of Lecture Notes in Computer Science ed., Vol. 2154/2001, pp. 277-291). Springer.

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

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

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. In S. N. Freund & E. Yahav (Eds.), PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 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), Article 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. In CHI EA 2019 - Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems Article 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. In K. Sen & T. Bultan (Eds.), ISSTA 2017 - Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp. 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.

Sotakova, M. (2009). On the Power of Two-Party Quantum Cryptography. Aarhus Universitetsforlag.

Sørensen, T. S., Schaeffter, T., Noe, K. Ø. & Schacht Hansen, M. (2007). Fast Gridding on Commodity Graphics Hardware. In Proceedings of ISMRM Workshop on Non-Cartesian MRI

Sørensen, T. S., Schaeffter, T., Noe, K. Ø. & Schacht Hansen, M. (2008). Accelerating the Non-equispaced Fast Fourier Transform on Commodity Graphics Hardware. I E E E Transactions on Medical Imaging, 27(4), 538-547. https://doi.org/10.1109/TMI.2007.909834

Sørensen, T. B. (2008). Computing Equilibria of Two Player Games. Aarhus Universitetsforlag.

Sørensen, T. S., Atkinson, D., Boubertakh, R., Schaeffter, T. & Hansen, M. S. (2008). Rapid Non-Cartesian Parallel Imaging Reconstruction on Commodity Graphics Hardware. In Proceedings of the 16th Meeting and Exhibition of the International Society for Magnetic Resonance in Medicine: Image Reconstruction (pp. 1490). Wiley-Interscience.

Sørensen, T. S., Beerbaum, P., Mosegaard, J., Rasmusson, A., Schaeffter, T., Austin, C., Razavi, R. & Greil, G. F. (2008). Virtual Cardiotomy based on 3D Magnetic Resonance Imaging for Preoperative Planning in Congenital Heart Disease. Pediatric Radiology, 38, 1314-1322. https://doi.org/10.1007/s00247-008-1032-5

Sørensen, T. S., Beerbaum, P., Mosegaard, J. & Greil, G. F. (2009). Developing and Evaluating Virtual Cardiotomy for Preoperative Planning in Congenital Heart Disease. Studies in Health Technology and Informatics, 340-345. https://doi.org/10.3233/978-1-58603-964-6-340

Sørensen, T. S., Atkinson, D., Schaeffter, T. & Hansen, M. S. (2009). Real-time Reconstruction of Sensitivity Encoded Radial Magnetic Resonance Imaging Using a Graphics Processing Unit. I E E E Transactions on Medical Imaging, 28(12), 1974-1985. https://doi.org/10.1109/TMI.2009.2027118

Sørensen, T. S., Noe, K. Ø., Christoffersen, C. P. V., Kristiansen, M., Mouridsen, K., Østerby, O. & Brix, L. (2010). Active Contours in Optical Flow Fields for Image Sequence Segmentation. International Symposium on Biomedical Imaging. Proceedings, 916 - 919. https://doi.org/10.1109/ISBI.2010.5490136

Sørensen, T. S. & Hansen, M. S. (2010). Real-time Non-Cartesian Magnetic Resonance Imaging. Abstract from Dansk Selskab for Medicinsk Fysik - årsmøde symposium, Odense, Denmark.

Sørensen, T. S., Prieto, C., Atkinson, D., Hansen, M. S. & Schaeffter, T. (2010). GPU accelerated iterative SENSE reconstruction of radial phase encoded whole-heart MRI. In Proceedings of the 18th ISMRM Scientific Meeting and Exhibition: International Society for Magnetic Resonance in Medicine ISMRM/SMRT Central Office, Berkeley, CA.

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.

Displaying results 401 to 450 out of 5161

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University