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

Wang, X., Deng, K., Li, J., Yu, J. X., Jensen, C. S. & Yang, X. (2018). Targeted influence minimization in social networks. In G. I. Webb, D. Phung, M. Ganji, L. Rashidi, V. S. Tseng & B. Ho (Eds.), Advances in Knowledge Discovery and Data Mining - 22nd Pacific-Asia Conference, PAKDD 2018, Proceedings (pp. 689-700). Springer. https://doi.org/10.1007/978-3-319-93040-4_54

Baum, C., David, B., Dowsley, R., Nielsen, J. B. & Oechsner, S. (2021). TARDIS: A Foundation of Time-Lock Puzzles in UC. In Advances in Cryptology – EUROCRYPT 2021 - 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings (pp. 429-459). Springer. https://doi.org/10.1007/978-3-030-77883-5_15

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

Damgård, I. B., Faust, S., Mukherjee, P. & Venturi, D. (2013). Tamper Resilient Cryptography Without Self-Destruct. IACR Cryptology ePrint Archive, (2013). http://eprint.iacr.org/2013/124

Faust, S., Pietrzak, K. & Venturi, D. (2011). Tamper-Proof Circuits : : How to Trade Leakage for Tamper-Resilience. Lecture Notes in Computer Science, 6755, 391-402 . https://doi.org/10.1007/978-3-642-22006-7_33

Nielsen, J. B. (2015). Tamper and leakage resilient von Neumann architectures from continuous non-malleable codes. In S. Wolf & A. Lehmann (Eds.), 8th International Conference on Information Theoretic Security, ICITS 2015 (Vol. 9063, pp. XI-XII). Springer.

Bødker, S., Larsen-Ledet, I., Roque, L. & Thomas, V. J. (2018). Taming a Run-Away Object: How to Maintain and Extend Human Control in Human-Computer Interaction?. 1-6. Paper presented at 2018 CHI Conference on Human Factors in Computing Systems, CHI 2018, Montreal, Canada. https://ex-situ.lri.fr/content/7-workshops/2-rethinkinginteraction-18/1-papers/bodker-taming-a-runaway-object.pdf

Canetti, R., Kolby, S., Ravi, D., Soria Vazquez, E. & Yakoubov, S. (2023). Taming Adaptivity in YOSO Protocols: The Modular Way. In G. Rothblum & H. Wee (Eds.), Theory of Cryptography: 21st International Conference, TCC 2023, Taipei, Taiwan, November 29 – December 2, 2023, Proceedings, Part II (Vol. 2, pp. 33-62). Springer. https://doi.org/10.1007/978-3-031-48618-0_2

Korn, M. & Back, J. (2012). Talking it Further: From Feelings and Memories to Civic Discussions In and About Places. In L. Malmborg & T. Pederson (Eds.), NordiCHI '12 Proceedings of the 7th Nordic Conference on Human-Computer Interaction: Making Sense Through Design (pp. 189-198). Association for Computing Machinery. https://doi.org/10.1145/2399016.2399046

Teli, M., Foth, M., Sciannamblo, M., Anastasiu, I. & Lyle, P. J. (2020). Tales of Institutioning and Commoning: Participatory Design Processes with a Strategic and Tactical Perspective. In C. Del Gaudio, L. Parra-Agudelo, R. Clarke, J. Saad-Sulonen, A. Botero, A. Botero, F. C. Londono, F. C. Londono & P. A. Escandon Suarez (Eds.), Proceedings of the 16th Participatory Design Conference 2020 (PDC2020 ed., Vol. 1, pp. 159-171). Association for Computing Machinery. https://doi.org/10.1145/3385010.3385020

Magnani, M., Assent, I. & Mortensen, M. L. (2014). Taking the Big Picture: representative skylines based on significance and diversity. V L D B Journal, 23(5), 795-815. https://doi.org/10.1007/s00778-014-0352-3

Hogräfer, M. & Schulz, H.-J. (2024). Tailorable Sampling for Progressive Visual Analytics. IEEE Transactions on Visualization and Computer Graphics, 30(8), 4809-4824. https://doi.org/10.1109/TVCG.2023.3278084

Rasmussen, T. A. & Grønbæk, K. (2019). Tailorable remote assistance with RemoteAssistKit: A study of and design response to remote assistance in the manufacturing industry. In H. Nakanishi, H. Egi, I.-A. Chounta, H. Takada, S. Ichimura & U. Hoppe (Eds.), Collaboration Technologies and Social Computing - 25th International Conference, CRIWG+CollabTech 2019, Proceedings: 25th International Conference, CRIWG+CollabTech 2019 Kyoto, Japan, September 4–6, 2019 Proceedings (pp. 80-95). Springer. https://doi.org/10.1007/978-3-030-28011-6_6

Danvy, O. & López, P. E. M. (2003). Tagging, Encoding, and Jones Optimality. In P. Degano (Ed.), Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings (pp. 335-347). Springer. https://doi.org/10.1007/3-540-36575-3_23

Danvy, O. & Lopez, P. E. M. (2003). Tagging, Encoding, and Jones Optimality. BRICS Report Series, (RS-03-2).

Da Rocha Pinto, P., Dinsdale-Young, T. & Gardner, P. (2014). TaDA: A logic for time and data abstraction. In R. Jones (Ed.), ECOOP 2014 – Object-Oriented Programming: 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedings (pp. 207-231). Springer. https://doi.org/10.1007/978-3-662-44202-9_9

Chundury, P., Reyazuddin, Y., Jordan, J. B., Lazar, J. & Elmqvist, N. (2024). TactualPlot: Spatializing Data as Sound Using Sensory Substitution for Touchscreen Accessibility. IEEE Transactions on Visualization and Computer Graphics, 30(1), 836-846. https://doi.org/10.1109/TVCG.2023.3326937

Ludvigsen, M., Fogtmann, M. H. & Grønbæk, K. (2010). TacTowers: An Interactive Training Equipment for Elite. In O. W. Bertelsen, P. G. Krogh, K. Halskov & M. G. Petersen (Eds.), Proceedings of the 8th ACM Conference on Designing Interactive Systems (pp. 412-415). Association for Computing Machinery. https://doi.org/10.1145/1858171.1858250

Schmidt, A., Kleemann, M., Merritt, T. & Selker, T. (2015). Tactile Communication in Extreme Contexts: Exploring the Design Space Through Kiteboarding. In J. Abascal, S. Barbosa, M. Fetter, T. Gross, P. Palanque & M. Winckler (Eds.), Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part IV (pp. 37-54). Springer. https://doi.org/10.1007/978-3-319-22723-8_4

Petersen, M. G., Lynggard, A. B., Krogh, P. G. & Winther, I. W. (2010). Tactics for homing in mobile life: a fieldwalk study of extremely mobile people. In Proceedings of the 12th International Conference on Human Computer Interaction with Mobile Devices and Services: Proceedings of the 12th international conference on Human computer interaction with mobile devices and services (pp. 265-274). Association for Computing Machinery. https://doi.org/10.1145/1851600.1851646

Haselwarter, P. G., Li, K. H. E. I., Medeiros, M. D. E., Gregersen, S. O., Aguirre, A., Tassarotti, J. & Birkedal, L. (2024). Tachis: Higher-Order Separation Logic with Credits for Expected Costs. Proceedings of the ACM on Programming Languages , 8(OOPSLA2), 1189 - 1218. Article 313. https://doi.org/10.1145/3689753

Neerbek, J., Assent, I. & Dolog, P. (2017). TABOO: Detecting unstructured sensitive information using recursive neural networks. In Proceedings - 2017 IEEE 33rd International Conference on Data Engineering, ICDE 2017 (pp. 1399-1400). Article 7930091 IEEE Computer Society Press. https://doi.org/10.1109/ICDE.2017.195

Fich, F. & Miltersen, P. B. (1995). Tables should be sorted (on random access machines). In S. G. Akl, F. Dehne, J.-R. Sack & N. Santoro (Eds.), Algorithms and Data Structures: 4th International Workshop, WADS '95 Kingston, Canada, August 16-18, 1995 Proceedings (pp. 482-493). Springer. https://doi.org/10.1007/3-540-60220-8_87

Dybboe, M., Ellemose, J., Vastrup, A. L., Boudouraki, A., Rintel, S., Petersen, M. G., Sloth Grønbæk, J. E. & Klokmose, C. N. (2024). TableBot: Getting a Handle on Hybrid Collaboration by Negotiating Control of a Tabletop Telepresence Robot. In NordiCHI '24: Proceedings of the 13th Nordic Conference on Human-Computer Interaction Article 17 Association for Computing Machinery. https://doi.org/10.1145/3679318.3685350

Kyng, M. & Mathiassen, L. (1982). Systesm development and trade union activities. In N. Björn-Andersen (Ed.), Information Society, for richer, for poorer - Selected conference papers (pp. 247-260). Elsevier.

Kyng, M. & Mathiassen, L. (1979). Systems Development and Trade Union Activities. Department of Computer Science, Aarhus University.

Kyng, M. & Mathiassen, L. (1982). Systems development and trade union activities. Department of Computer Science, Aarhus University.

He, C., Elmqvist, N., Bellucci, A., Munshi, M. & Jacucci, G. (2026). Systemization of Knowledge (SoK): Visualization Insight – Two Decades of Research, Practice, and Future Directions. ACM Computing Surveys, 58(9), Article 224. https://doi.org/10.1145/3788869

Christensen, H. B. (2003). Systematic Testing should not be a Topic in the Computer Science Curriculum! In D. Finkel (Ed.), Proceedings of 8th Annual Conference on Innovation and Technology in Computer Science Education: ITiCSE 2003 (pp. 7-10). Society for Industrial and Applied Mathematics. https://doi.org/10.1145/961511.961517

Christensen, H. B. (2017). Systematic Testing: Preprint of Chapter 34 of "Flexible, Reliable Software" 2nd Edition.

Adamsen, C. Q., Møller, A. & Mezzetti, G. (2015). Systematic Execution of Android Test Suites in Adverse Conditions. In Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA '15 (pp. 83-93 ). Association for Computing Machinery. https://doi.org/10.1145/2771783.2771786

Midtgaard, J., Brabrand, C. & Wasowski , A. (2014). Systematic Derivation of Static Analyses for Software Product Lines. In W. Binder (Ed.), MODULARITY '14 Proceedings of the 13th international conference on Modularity (pp. 181-192 ). Association for Computing Machinery. https://doi.org/10.1145/2577080.2577091

Billes, M., Møller, A. & Pradel, M. (2017). Systematic black-box analysis of collaborative web applications. In PLDI 2017 - Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (Vol. Part F128414, pp. 171-184). Association for Computing Machinery. https://doi.org/10.1145/3062341.3062364

Andreasen, E. S., Møller, A. & Nielsen, B. B. (2017). Systematic Approaches for Increasing Soundness and Precision of Static Analyzers. In K. Ali & C. Cifuentes (Eds.), SOAP 2017 - Proceedings of the 6th ACM SIGPLAN International Workshop on State of the Art in Program Analysis, co-located with PLDI 2017 (pp. 31-36). Association for Computing Machinery. https://doi.org/10.1145/3088515.3088521

Kyng, M. (1977). Systemarbejde og Fagbevægelsesprojekter: Materiale fra marts-seminaret.

Bidlingmaier, M. E., Faissole, F. & Spitters, B. (2019). Synthetic topology in Homotopy Type Theory for probabilistic programming. ArXiv.

Bidlingmaier, M. E., Faissole, F. & Spitters, B. (2021). Synthetic topology in Homotopy Type Theory for probabilistic programming. Mathematical Structures in Computer Science, 31(10), 1301-1329. https://doi.org/10.1017/S0960129521000165

Nielsen, M. B., Söderström , A. & Bridson, R. (2013). Synthesizing Waves from Animated Height Fields. A C M Transactions on Graphics, 32(1), Article Article 2. https://doi.org/10.1145/2421636.2421638

Hansen, S. T., Gomes, C., Larsen, P. G. & Van De Pol, J. (2021). Synthesizing Co-Simulation Algorithms with Step Negotiation and Algebraic Loop Handling. In C. R. Martin, M. J. Blas & A. I. Psijas (Eds.), 2021 Annual Modeling and Simulation Conference (ANNSIM) (pp. 62-73). IEEE. https://doi.org/10.23919/ANNSIM52504.2021.9552073

Kristensen, B. B., Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1982). Syntax Directed Program Modularization. In P. Degano & E. Sandewall (Eds.), Integrated interactive computing systems: European Conference on Integrated Computing Systems, ECICS 82, Stresa, Italy, 1-3 September, 1982 North-Holland.

Ernst, E. (2000). Syntax Based Modularization: Invasive or Not?. Paper presented at Conference on Object-Oriented Programming, Systems, Languages, and Applications. OOPSLA 2000, Minneapolis. MN, United States.

Gratzer, D. (2023). Syntax and semantics of modal type theory. [PhD dissertation, Aarhus University]. Aarhus Universitet.

Danvy, O. & Nielsen, L. R. (2001). Syntactic Theories in Practice. BRICS Report Series, (RS-01-31).

Danvy, O. & Nielsen, L. R. (2002). Syntactic Theories in Practice. BRICS Report Series, (RS-02-4).

Andersen, J. & Brabrand, C. (2010). Syntactic Language Extension via an Algebra of Languages and Transformations. Electronic Notes in Theoretical Computer Science, 253(7), 19-35. https://doi.org/10.1016/j.entcs.2010.08.029

Daniel, D. & Danvy, O. (2000). Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation. BRICS Report Series, (RS-00-15).

Damian, D. & Danvy, O. (2003). Syntactic accidents in program analysis: on the impact of the CPS transformation. Journal of Functional Programming, 13(5), 867-904. https://doi.org/10.1017/S0956796802004379

Damian, D. & Danvy, O. (2000). Syntactic accidents in program analysis: on the impact of the CPS transformation. In Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (pp. 209-220). Association for Computing Machinery.

Damian, D. & Danvy, O. (2001). Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation. BRICS Report Series, (RS-01-54).

Zhang, W. (2008). Synergy between Software Product Line and Intelligent Pervasive Middleware-a PLIPerM Approach. International Journal of Hybrid Information Technology, 1(1), 17-30. http://www.sersc.org/journals/IJHIT/vol1_no1_2008.php

Displaying results 901 to 950 out of 5928

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University