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

Shokeen, E., Jensen, A. V., Iversen, O. S., Dindler, C. & Petersen, M. G. (Accepteret/In press). Participatory Design for AI in Teacher Education: From Top-Down Directives to Teacher Empowerment. I Proceedings of the International Society of the Learning Sciences (ISLS) Annual Meeting International Society of the Learning Sciences (ISLS).

Shokeen, E., Jensen, A. V., Iversen, O. S., Lunding, M. S., Petersen, M. G. & Bilstrup, K.-E. K. (2026). Beyond Isolated Interventions: An Ecological and Infrastructural Synthesis of K–12 Cybersecurity Education Research. ACM Transactions on Computing Education. Advance online publication. https://doi.org/10.1145/3819079

Shin, S., Na, I. & Elmqvist, N. (2025). Drillboards: Adaptive Visualization Dashboards for Dynamic Personalization of Visualization Experiences. IEEE Transactions on Visualization and Computer Graphics, 31(10), 7196-7210. https://doi.org/10.1109/TVCG.2025.3542606

Shin, Y. (2018). External Memory Algorithms for Massive Terrains and Polygons. Aarhus Universitet.

Shin, S., Hong, S. & Elmqvist, N. (2025). Visualizationary: Automating Design Feedback for Visualization Designers Using Large Language Models. IEEE Transactions on Visualization and Computer Graphics, 31(10), 8796-8813. https://doi.org/10.1109/TVCG.2025.3579700

Shi, Z., Mathur, U. & Pavlogiannis, A. (2024). Optimistic Prediction of Synchronization-Reversal Data Races. I ICSE 2024 - Proceedings of the 46th IEEE/ACM International Conference on Software Engineering: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering (s. 1-13). Artikel 134 Association for Computing Machinery. https://doi.org/10.1145/3597503.3639099

Shi, Z., Møldrup, L., Mathur, U. & Pavlogiannis, A. (2026). The Complexity of Testing Message-Passing Concurrency. Proceedings of the ACM on Programming Languages , 10, 1-32. https://doi.org/10.1145/3776643

Sheng, Q. Z., Wang, G., Jensen, C. S. & Xu, G. (red.) (2012). Web Technologies and Applications: 14th Asia-Pacific Web Conference, APWeb 2012, Kunming, China, April 11-13, 2012. Proceedings. Springer. Lecture Notes in Computer Science Bind 7235 https://doi.org/10.1007/978-3-642-29253-8

Sheng, Q. Z., Wang, G. & Jensen, C. S. (2012). Message from the Program Chairs. I Web Technologies and Applications: 14th Asia-Pacific Web Conference, APWeb 2012, Kunming, China, April 11-13, 2012. Proceedings (s. VI). Springer. https://doi.org/10.1007/978-3-642-29253-8

Shapiro, D., Buscher, M., Ørbæk, P., Mogensen, P. H. & Christensen, M. (2005). Spatial Computing and Ambient Collaborative Environments for Design and Construction. I Proceedings of the 3rd international conference on innovation in architecture, engineering and construction (s. 199-210)

Shao, J., Tan, Y., Gao, L., Yang, Q., Plant, C. & Assent, I. (2019). Synchronization-based clustering on evolving data stream. Information Sciences, 501, 573-587. https://doi.org/10.1016/j.ins.2018.09.035

Shaik, I. & Pol, J. V. D. (2021). Classical Planning as QBF without Grounding (extended version). (s. 1-17). https://arxiv.org/abs/2106.10138

Shaik, I. & van de Pol, J. (2022). Classical Planning as QBF without Grounding. I A. Kumar, S. Thiebaux, P. Varakantham & W. Yeoh (red.), Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022 (s. 329-337). AAAI Press. https://doi.org/10.1609/icaps.v32i1.19817

Shaik, I., Heisinger, M., Seidl, M. & Pol, J. V. D. (2023). Validation of QBF Encodings with Winning Strategies. Leibniz International Proceedings in Informatics, 271. https://doi.org/10.4230/LIPIcs.SAT.2023.24

Shaik, I. & van de Pol, J. (2023). Concise QBF Encodings for Games on a Grid (extended version). https://doi.org/10.48550/arXiv.2303.16949

Shaik, I., Mayer-Eichberger, V., van de Pol, J. & Saffidine, A. (2023). Implicit State and Goals in QBF Encodings for Positional Games (extended version). https://doi.org/10.48550/arXiv.2301.07345

Shaik, I. & van de Pol, J. (2023). Optimal Layout Synthesis for Quantum Circuits as Classical Planning. I 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD) IEEE. https://doi.org/10.1109/ICCAD57390.2023.10323924

Shaik, I. & Van de Pol, J. (2024). Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits. I S. Chakraborty & J.-H. R. Jiang (red.), 27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024 Artikel 26 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SAT.2024.26

Shaik, I. & Pol, J. V. D. (2024). Optimal Layout-Aware CNOT Circuit Synthesis with Qubit Permutation. I U. Endriss, F. S. Melo, K. Bach, A. Bugarin-Diz, J. M. Alonso-Moral, S. Barro & F. Heintz (red.), ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain - Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024) (s. 4207-4215). IOS Press. https://doi.org/10.3233/FAIA240993

Shaik, I. (2023). Concise Encodings for Planning and 2-Player Games. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

Shaik, I., Mayer-Eichberger, V., van de Pol, J. & Saffidine, A. (2024). Implicit QBF Encodings for Positional Games. I M. Hartisch, C.-H. Hsueh & J. Schaeffer (red.), Advances in Computer Games - 18th International Conference, ACG 2023, Revised Selected Papers (s. 133-145). Springer. https://doi.org/10.1007/978-3-031-54968-7_12

Shaik, I. & van de Pol, J. (2025). CNOT-Optimal Clifford Synthesis as SAT. I J. Berg, J. Nordstrom & J. Nordstrom (red.), 28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025 Artikel 28 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SAT.2025.28

S. Fitzgerald, J., Gorm Larsen, P., Tjell, S. & Verhoef, M. (2007). Validation Support for Distributed Real-Time Embedded Systems in VDM++. I Proceedings of the Tenth IEEE International Symposium on High Assurance Software Engineering (HASE 2007) (s. 331-340). IEEE Computer Society Press.

Settepani, V., Bechsgaard, J. & Bilde, T. (2016). Phylogenetic analysis suggests that sociality is associated with reduced effectiveness of selection. Ecology and Evolution, 6(2), 469-477. https://doi.org/10.1002/ece3.1886

Sergey, I. & Clark, D. (2012). A correspondence between type checking via reduction and type checking via evaluation. Information Processing Letters, 112(1-2), 13-20. https://doi.org/10.1016/j.ipl.2011.10.008

Sergey, I., Midtgaard, J. & Clarke, D. (2012). Calculating Graph Algorithms for Dominance and Shortest Path. Lecture Notes in Computer Science, 7342, 132-156. https://doi.org/10.1007/978-3-642-31113-0_8

Sergey, I., Devriese, D., Might, M., Midtgaard, J., Darais, D., Clarke, D. & Piessens, F. (2013). Monadic abstract interpreters. I H.-J. Boehm (red.), Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13 (s. 399-410). Association for Computing Machinery. https://doi.org/10.1145/2491956.2491979

Seisenberger, M., ter Beek, M. H., Fan, X., Ferrari, A., Haxthausen, A. E., James, P., Lawrence, A., Luttik, B., van de Pol, J. & Wimmer, S. (2022). Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Proceedings (s. 246-268). Springer. https://doi.org/10.1007/978-3-031-19762-8_20

Seinfeld, S., Feuchtner, T., Maselli, A. & Müller, J. (2021). User Representations in Human-Computer Interaction. Human-Computer Interaction, 36(5-6), 400-438. https://doi.org/10.1080/07370024.2020.1724790

Seinfeld, S., Feuchtner, T., Pinzek, J. & Müller, J. (2022). Impact of Information Placement and User Representations in VR on Performance and Embodiment. IEEE Transactions on Visualization and Computer Graphics, 28(3), 1545-1556. https://doi.org/10.1109/TVCG.2020.3021342

Seghier Ben, M. E. A., Truong, T. T., Feiler, C. & Höche, D. (2025). A hybrid deep learning model for predicting atmospheric corrosion in steel energy structures under maritime conditions based on time-series data. Results in Engineering, 25, Artikel 104417. https://doi.org/10.1016/j.rineng.2025.104417

Segal, S., Adi, Y., Pinkas, B., Baum, C., Ganesh, C. & Keshet, J. (2021). Fairness in the Eyes of the Data: Certifying Machine-Learning Models. I AIES 2021 - Proceedings of the 2021 AAAI/ACM Conference on AI, Ethics, and Society (s. 926-935). Association for Computing Machinery. https://doi.org/10.1145/3461702.3462554

Sebastian Stær Knudsen, M., Almskou Brodal, L., Peczalski, P. K., Moradan, A., Mottin, D. & Assent, I. (2022). GraB: Graph Benchmark for Heterogeneous Graph Clustering. https://openreview.net/forum?id=qsGpFRlK0a

Sciannamblo, M., Teli, M., Lyle, P. J. & Csíkszentmihályi, C. (2020). Infrastructuring the commons today, when STS meets ICT. Journal of Peer Production, (14).

Schwiegelshohn, C. & Schwiegelshohn, U. (2016). The power of migration for online slack scheduling. I C. Zaroliagis & P. Sankowski (red.), 24th Annual European Symposium on Algorithms, ESA 2016 Artikel 75 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2016.75

Schwiegelshohn, C. & Sheikh-Omar, O. A. (2022). An Empirical Evaluation of k-Means Coresets. I S. Chechik, G. Navarro, E. Rotenberg & G. Herman (red.), 30th Annual European Symposium on Algorithms, ESA 2022 (s. 84:1-84:17). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2022.84

Schwiegelshohn, C. (2023). Fitting Data on a Grain of Rice. I I. Chatzigiannakis & I. Karydis (red.), Algorithmic Aspects of Cloud Computing: 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers (s. 1-8). Springer. https://doi.org/10.1007/978-3-031-49361-4_13

Schwarz, M. R. (2013). Design and Analysis of Web Application Frameworks. Datalogisk Institut, Aarhus Universitet.

Schwartzbach, M. I. (2003). Rapport om datalogi i gymnasiet. Undervisningsministeriet.

Schwartzbach, M. I. & Ball, T. (red.) (2006). PLDI '06: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation. Society for Industrial and Applied Mathematics.

Schwartzbach, M. I. (2008). Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation. I L. Hendren (red.), Compiler Construction: 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings (s. 1-15). Springer. https://doi.org/10.1007/978-3-540-78791-4_1

Schwartzbach, M. I. & Graf, S. (red.) (2000). Tools and Algorithms for Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings. Springer. Lecture Notes in Computer Science Bind 1785 https://doi.org/10.1007/3-540-46419-0

Schwartzbach, M. I. & Palsberg, J. (1994). Object-Oriented Type Systems. John Wiley & Sons Ltd.

Schwartzbach, M. I. & Sandholm, A. (2000). A Type System for Dynamic Web Documents. I M. Wegman & T. Reps (red.), Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (s. 290-301). Association for Computing Machinery. https://doi.org/10.1145/325694.325733

Schwartzbach, M. I., Panangaden, P. & Mendler, P. (1989). Recursively Defined Types in Constructive Type Theory. I H. Aït-Kaci & M. Nivat (red.), Resolution of Equations in Algebraic Structures (Bind 1, s. 369-410). Academic Press.

Schwartzbach, M. I. & Palsberg, J. (1992). Three discussions on object-oriented typing. I S. B. Zdonik (red.), ACM SIGPLAN OOPS Messenger (April udg., Bind Vol. 3, Issue 2, s. 31-38). Association for Computing Machinery. https://doi.org/10.1145/130943.130949

Schwartzbach, M. I. & Schmidt, E. M. (1989). An Imperative Type Hierarchy with Partial Products. I A. Kreczmar & G. Mirkowska (red.), Mathematical Foundations of Computer Science 1989: Porabka-Kozubnik, Poland August 28 - September 1, 1989 Proceedings (s. 458-470). Springer. https://doi.org/10.1007/3-540-51486-4_92

Schwartzbach, M. I. & Palsberg, J. (1990). Type Substitution for Object-Oriented Programming. I A. Yonezawa (red.), Proceedings of the European Conference on Object-Oriented Programming Systems, Languages and Applications (s. 151-160). Association for Computing Machinery. https://doi.org/10.1145/97945.97965

Schwartzbach, M. I. (1990). Static Correctness of Hierarchical Procedures. I M. S. Paterson (red.), Automata, Languages and Programming: 17th International Colloquium Warwick University, England, July 16-20, 1990 Proceedings (s. 32-45). Springer. https://doi.org/10.1007/BFb0032020

Schwartzbach, M. I. (1991). Type Inference with Inequalities. I TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8-12, 1991 (s. 441-455). Springer. https://doi.org/10.1007/3-540-53982-4_24

Viser resultater 701 til 750 ud af 6119

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series