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

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. In 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. In S. Chakraborty & J.-H. R. Jiang (Eds.), 27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024 Article 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. In U. Endriss, F. S. Melo, K. Bach, A. Bugarin-Diz, J. M. Alonso-Moral, S. Barro & F. Heintz (Eds.), 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) (pp. 4207-4215). IOS Press. https://doi.org/10.3233/FAIA240993

Shaik, I. (2023). Concise Encodings for Planning and 2-Player Games. [PhD thesis, Aarhus University]. Aarhus Universitet.

Shaik, I., Mayer-Eichberger, V., van de Pol, J. & Saffidine, A. (2024). Implicit QBF Encodings for Positional Games. In M. Hartisch, C.-H. Hsueh & J. Schaeffer (Eds.), Advances in Computer Games - 18th International Conference, ACG 2023, Revised Selected Papers (pp. 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. In J. Berg, J. Nordstrom & J. Nordstrom (Eds.), 28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025 Article 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++. In Proceedings of the Tenth IEEE International Symposium on High Assurance Software Engineering (HASE 2007) (pp. 331-340). IEEE Computer Society Press.

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. In H.-J. Boehm (Ed.), Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13 (pp. 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. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Proceedings (pp. 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, Article 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. In AIES 2021 - Proceedings of the 2021 AAAI/ACM Conference on AI, Ethics, and Society (pp. 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

Sebastián-González, E., Dalsgaard, B., Sandel, B. S. & Guimarães, P. R. (2015). Macroecological trends in nestedness and modularity of seed-dispersal networks: Human impact matters. Global Ecology and Biogeography, 24(3), 293-303. https://doi.org/10.1111/geb.12270

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. & Sheikh-Omar, O. A. (2022). An Empirical Evaluation of k-Means Coresets. In S. Chechik, G. Navarro, E. Rotenberg & G. Herman (Eds.), 30th Annual European Symposium on Algorithms, ESA 2022 (pp. 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. In I. Chatzigiannakis & I. Karydis (Eds.), Algorithmic Aspects of Cloud Computing: 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers (pp. 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. (Eds.) (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. In L. Hendren (Ed.), 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 (pp. 1-15). Springer. https://doi.org/10.1007/978-3-540-78791-4_1

Schwartzbach, M. I. & Graf, S. (Eds.) (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 Vol. 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. In M. Wegman & T. Reps (Eds.), Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (pp. 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. In H. Aït-Kaci & M. Nivat (Eds.), Resolution of Equations in Algebraic Structures (Vol. 1, pp. 369-410). Academic Press.

Schwartzbach, M. I. & Palsberg, J. (1992). Three discussions on object-oriented typing. In S. B. Zdonik (Ed.), ACM SIGPLAN OOPS Messenger (April ed., Vol. Vol. 3, Issue 2, pp. 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. In A. Kreczmar & G. Mirkowska (Eds.), Mathematical Foundations of Computer Science 1989: Porabka-Kozubnik, Poland August 28 - September 1, 1989 Proceedings (pp. 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. In A. Yonezawa (Ed.), Proceedings of the European Conference on Object-Oriented Programming Systems, Languages and Applications (pp. 151-160). Association for Computing Machinery. https://doi.org/10.1145/97945.97965

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

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

Schwartzbach, M. I. & Palsberg, J. (1991). What is Type-Safe Code Reuse. In P. America (Ed.), ECOOP'91: Proceedings of the 5th European Conference on Object-Oriented Programming (pp. 325-341). Springer. https://doi.org/10.1007/BFb0057030

Schwartzbach, M. I. & Palsberg, J. (1991). Object-Oriented Type Inference. In A. Paepcke (Ed.), Proceedings of the 6th Conference on Object-Oriented Programming: Systems, Languages, and Applications (pp. 146-161). Association for Computing Machinery. https://doi.org/10.1145/118014.117965

Schwartzbach, M. I., Oxhøj, N. & Palsberg, J. (1992). Making Type Inference Practical. In O. L. Madsen (Ed.), ECOOP '92, European Conference on Object-Oriented Programming: Utrecht, The Netherlands, June 29-July 3, 1992 Proceedings (pp. 329-349). Springer. https://doi.org/10.1007/BFb0053045

Schwartzbach, M. I., Kozen, D. & Palsberg, J. (1992). Efficient Inference of Partial Types. In 33rd Annual Symposium on Foundations of Computer Science, 1992. Proceedings (pp. 363-371). IEEE Press.

Schwartzbach, M. I., Agesen, O. & Palsberg, J. (1993). Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance. In O. M. Nierstrasz (Ed.), ECOOP' 93 - Object-Oriented Programming: 7th European Conference Kaiserslautern, Germany, July 26-30, 1993 Proceedings (pp. 247-267). Springer. https://doi.org/10.1007/3-540-47910-4_14

Schwartzbach, M. I. & Klarlund, N. (1993). Graph Types. In Proceedings of the 20th Annual Symposium on Principles of Programming Languages (pp. 196-205). Association for Computing Machinery. https://doi.org/10.1145/158511.158628

Schwartzbach, M. I., Kozen, D. & Palsberg, J. (1993). Efficient Recursive Subtyping. In Proceedings of the 20th Annual Symposium on Principles of Programming Languages (pp. 419-428). Association for Computing Machinery. https://doi.org/10.1145/158511.158700

Schwartzbach, M. I. & Klarlund, N. (1994). Graphs and Desidable Transductions based on Edge Constraints. In S. Tison (Ed.), Trees in Algebra and Programming - CAAP'94: 19th International Colloquium Edinburgh, U.K., April 11-13, 1994 Proceedings (pp. 187-201). Springer. https://doi.org/10.1007/BFb0017482

Schwartzbach, M. I. & Palsberg, J. (1994). Binding Time Analysis: Abstract Interpretation versus Type Inference. In Proceedings on IEEE 1994 International Conference on Computer Language (pp. 289-298). IEEE Computer Society Press. https://doi.org/10.1109/ICCL.1994.288372

Schwartzbach, M. I., Klarlund, N. & Koistinen, J. (1996). Formal Design Constraints. In Proccedings of the 11th Conference on Object-Oriented Programming: Systems, Languages, and Applications (pp. 370-383). Association for Computing Machinery. https://doi.org/10.1145/236337.236376

Schwartzbach, M. I. & Klarlund, N. (1999). A Domain-Specific Language for Regular Sets of Strings and Trees. I E E E Transactions on Software Engineering, (3), 378-386. https://doi.org/10.1109/32.798326

Schwartzbach, M. I., Madsen, J. L., Jørgensen, M. E. & Klarlund, N. (1997). Automatic Verification of Pointer Programs using Monadic Scond-Order Logic. In Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation (pp. 226-236). Association for Computing Machinery. https://doi.org/10.1145/258915.258936

Schwartzbach, M. I. & Sandholm, A. (1998). Distributed Safety Controllers for Interactive Web Services. In Proccedings on Conference on Fundamental Approaches to Software Engineering (pp. 270-284). Springer. https://doi.org/10.1007/BFb0053596

Schwartzbach, M. I., Mosses, P. D. & Nielsen, M. (Eds.) (1995). TAPSOFT'95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22-26, 1995 Proceedings. Springer. Lecture Notes in Computer Science Vol. 915 https://doi.org/10.1007/3-540-59293-8

Displaying results 651 to 700 out of 5829

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University