Eichberg, M., Kahl, M., Saha, D., Mezini, M.
& Ostermann, K. (2007).
Automatic incrementalization of Prolog based static analyses. In M. Hanus (Ed.),
Proceedings of Practical Aspects of Declarative Languages, 9th International Symposium (PADL): Lecture Notes in Computer Science (Vol. 4354/2007, pp. 109-123). Springer Science+Business Media.
Liboriussen, P.
, Pedersen, B. P., Ifrim, G., Nissen, P. & Pedersen, C. S. (2009).
Automatic classification of P-Type ATPases using SLR. Poster session presented at 17th Annual International Conference on Intelligent Systems for Molecular Biology (ISMB) & 8th European Conference on Computational Biology (ECCB), Stockholm, Sweden.
Oortwijn, W., Huisman, M., Joosten, S. J. C.
& van de Pol, J. (2020).
Automated verification of parallel nested DFS. In A. Biere & D. Parker (Eds.),
Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part I (pp. 247-265). Springer.
https://doi.org/10.1007/978-3-030-45190-5_14
Dalevi, D., DeSantis, T. Z.
, Fredslund, J., Andersen, G. L., Markowitz, V. M. & Hugenholtz, P. (2007).
Automated assignment of groups in large phylogenetic trees using GRUNT: Grouping, Ungrouping, Naming Tool.
B M C Bioinformatics,
8, 402-407.
Damgård, I. B. (Ed.), Aceto, L., Goldberg, L. A., Halldórsson, M. M., Ingólfsdóttir, A. & Walukiewicz, I. (2008).
Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I. Springer. Lecture Notes in Computer Science Vol. 5125
https://doi.org/10.1007/978-3-540-70575-8
Arge, L. A., Cachin, C., Jurdzinski, T. & Tarlecki, A. (Eds.) (2007).
Automata, Languages and Programming: 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007. Proceedings. Springer. Lecture Notes in Computer Science Vol. 4596
https://doi.org/10.1007/978-3-540-73420-8
Aceto, L.
, Damgård, I. B., Goldberg, L. A., Halldórsson, M. M., Ingólfsdóttir, A. & Walukiewicz, I. (2008).
Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II. Springer. Lecture Notes in Computer Science Vol. 5126
https://doi.org/10.1007/978-3-540-70583-3
Roy, L. & Xu, J. (2023).
A Universally Composable PAKE with Zero Communication Cost: (And Why It Shouldn’t Be Considered UC-Secure). In A. Boldyreva & V. Kolesnikov (Eds.),
Public-Key Cryptography – PKC 2023: 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, Atlanta, GA, USA, May 7–10, 2023, Proceedings, Part I (pp. 714-743). Springer.
https://doi.org/10.1007/978-3-031-31368-4_25
Danvy, O., Rhiger, M. & Grobauer, B. (2001).
A Unifying Approach to Goal-Directed Evaluation. In W. Taha (Ed.),
Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings (pp. 108-125). Springer.
https://doi.org/10.1007/3-540-44806-3_7
Arge, L. A., Procopiuc, O., Ramaswamy, S., Suel, T., Vahrenhold, J. & Vitter, J. S. (2000).
A Unified Approach for Indexed and Non-indexed Spatial Joins. In C. Zaniolo, P. C. Lockemann, M. H. Scholl & T. Grust (Eds.),
Advances in Database Technology - EDBT 2000: 7th International Conference on Extending Database Technology Konstanz, Germany, March 27-31, 2000 Proceedings (pp. 413-429). Springer.
https://doi.org/10.1007/3-540-46439-5_29
Evangelista Belo, J. M., Lystbæk, M. N., Feit, A. M.
, Pfeuffer, K., Kán, P., Oulasvirta, A.
& Grønbæk, K. (2022).
AUIT – the Adaptive User Interfaces Toolkit for Designing XR Applications. In
UIST '22: Proceedings of the 35th Annual ACM Symposium on User Interface Software and Technology Article 48 Association for Computing Machinery.
https://doi.org/10.1145/3526113.3545651
Larsen, C. A., Schmidt, S. M., Steensgaard, J., Jakobsen, A. B., Pol, J. V. D. & Pavlogiannis, A. (2023).
A Truly Symbolic Linear-Time Algorithm for SCC Decomposition. In S. Sankaranarayanan & N. Sharygina (Eds.),
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II (pp. 353-371). Springer.
https://doi.org/10.1007/978-3-031-30820-8_22