Aarhus University Seal

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

Kyster, A. F., Nielsen, S. D., Hermanns, J., Mottin, D. & Karras, P. (2021). Boosting Graph Alignment Algorithms. In Proceedings of the 30th ACM International Conference on Information & Knowledge Management (CIKM '21) (pp. 3166-3170). Association for Computing Machinery. https://doi.org/10.1145/3459637.3482067
Kyster, A., Nielsen, F. H., Oechsner, S. & Scholl, P. (2025). Rushing at SPDZ: On the Practical Security of Malicious MPC Implementations. In M. Blanton, W. Enck & C. Nita-Rotaru (Eds.), 2025 IEEE Symposium on Security and Privacy (SP) (pp. 2491-2508). IEEE. https://doi.org/10.1109/SP61157.2025.00176
Kyng, M., Büscher, M. & Mogensen, P. H. (2004). Integrated Conceptual Framework. Palcom External Reports, (11).
Kyng, M. & Kristensen, M. (2009). Media Spaces, Emergency Response and Palpable Technologies. Computer Supported Cooperative Work, 325-349. https://doi.org/10.1007/978-1-84882-483-6_20
Kyng, M. & Mathiassen, L. (1982). Systems development and trade union activities. Department of Computer Science, Aarhus University.
Kyng, M. (1989). Designing for a Dollar a Day. Information Technology & People, 4(2), 157-170.
Kyng, M. (1991). Designing for cooperation - cooperating in design. Association for Computing Machinery. Communications, 34(12), 64-73. https://doi.org/10.1145/125319.125323
Kyng, M. (1994). Collective resources meets puritanism. Scandinavian Journal of Information Systems, 6(1), 85-96.
Kyng, M. (1998). Users and Computers: A contextual approach to design of computer artifact. Scandinavian Journal of Information Systems, 10(1-2), 7-44.
Kyng, M. (1995). Making Representations Work. Association for Computing Machinery. Communications, 38(9), 46-55. https://doi.org/10.1145/223248.223261
Kyng, M. (1988). Designing for a Dollar a Day. In CSCW '88 Proceedings of the 1988 ACM conference on Computer-supported cooperative work (pp. 178-188). Association for Computing Machinery. https://doi.org/10.1145/62266.62281
Kyng, M. (1991). The System Work Group Computer Science Department Aarhus University. In CHI '91 Proceedings of the SIGCHI conference on Human factors in computing systems: Reaching through technology (pp. 477-478). Association for Computing Machinery. https://doi.org/10.1145/108844.109011
Kyng, M. (1994). Scandinavian design: users in product development. In CHI '94 Proceedings of the SIGCHI conference on Human factors in computing systems: celebrating interdependence (pp. 3-9). Association for Computing Machinery. https://doi.org/10.1145/191666.191673
Kyng, M. (1994). Making Representations Work. In L. Suchman (Ed.), Monograph for Proceedings of 27th HICSS Conference: Representations of Work: A Symposium (pp. 19-35)
Kyng, M. & Mathiassen, L. (1979). A "new systems development": Trade union and research activities. In A. Sandberg (Ed.), Computers Dividing Man and Work: Recent Scandinavian Research on Planning and Computers from a Trade Union Perspective (pp. 54-74). Arbetslivcentrum.
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. & Greenbaum, J. (1991). Cooperative Design: Bringing together the Practices of Users and Designers. In Information Systems Research: Contemporary Approaches & Emergent Traditions (pp. 405-416). North-Holland.
Kyng, M. (1994). Experience with Participative Application Development. In K. Bruunstein & E. Raubold (Eds.), IFIP Transaction. Information Processing: Applications and Impacts (Vol. II, pp. 107-114). North-Holland.
Kyng, M. (1995). Creating Contexts for Design. In J. M. Carroll (Ed.), Scenario based design: Envisioning work and technology in system development (pp. 85-107). Wiley.
Kyng, M. (2002). IT, samfund og dannelse. In C. Bach-Nielsen (Ed.), Dannelse, Uddannelse, Universiteter: Festskrift til Henning Lehmann den 31. januar 2002 (pp. 77-94). Aarhus Universitetsforlag.
Kyng, M. & Greenbaum, J. (Eds.) (1991). Design at Work: Cooperative design of computer systems. Lawrence Erlbaum Associates.
Kyng, M. & Mathiassen, L. (Eds.) (1997). Computers and Design in Context. MIT Press.
Kyng, M. (1992). Scenario? Guilty! S I G C H I Bulletin, 24(4), 8-9. https://doi.org/10.1145/142167.142168
Kyng, M. & Nielsen, P. A. (1993). Domain Modelling and Application Frameworks. In The 16th IRIS Information Systems Research Seminar (pp. 221-235)
Kyng, M. (1983). Specification and Verification of Networks in a Petri Net Based Language. In A. Pagnoni & G. Rozenberg (Eds.), Applications and Theory of Petri Nets: Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets (pp. 181-198). Springer.
Kyng, M., Dybdal, E., Lundin, J. & Hansen, T. (1980). Klubarbejde og edb på Aalborg værft.
Kyng, M. (1980). Medbestemmelse på ny teknologi. In O. Hammarström & M. fl. (Eds.), Förhandling eller partssammansatta grupper - om former för lokala partskontakter (pp. 72-83)
Kyng, M. & Mathiassen, L. (1979). Systems Development and Trade Union Activities. Department of Computer Science, Aarhus University.
Kyng, M. (2015). On Creating and Sustaining Alternatives: The case of Danish Telehealth. In O. Bertelsen & K. Halskov (Eds.), Critical Alternatives, 5th decennial Aarhus Conference: conference proceedings, conference papers Department of Computer Science, Aarhus University. https://doi.org/10.7146/aahcc.v1i1.21297
Kyng, M. (2025). Cross Discipline Collaboration Creating New Insights and Future Potentials ... 128-130. Abstract from AAATE 2025
Technology for Inclusion and Participation for All: Recent Achievements and Future Directions, Nicosia, Cyprus.
Kuutti, K. & Bannon, L. J. (2014). The turn to practice in HCI: Towards a research agenda. In M. Jones , P. Palanque, A. Schmidt & T. Grossman (Eds.), Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI '14 (pp. 3543-3552). Association for Computing Machinery. https://doi.org/10.1145/2556288.2557111
Kunkel, A., Rheinländer, A., Schiefer, C., Helmer, S., Bouros, P. & Leser, U. (2016). PIEJoin: Towards Parallel Set Containment Joins. In P. Baumann, I. Manolescu-Goujot, L. Trani, Y. Ioannidis, G. G. Barnaföldi, L. Dobos & E. Bányai (Eds.), Scientific and Statistical Database Management: 28th International Conference, SSDBM 2016 - Proceedings Article 11 Association for Computing Machinery. https://doi.org/10.1145/2949689.2949694
Kulkarni, R., Mathur, U. & Pavlogiannis, A. (2021). Dynamic Data-Race Detection Through the Fine-Grained Lens. In S. Haddad & D. Varacca (Eds.), 32nd International Conference on Concurrency Theory (CONCUR 2021) (pp. 16:1-16:23). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CONCUR.2021.16
Kulik, T., Boudjadar, J. & Aranha, D. F. (2021). Formally Verified Credentials Management for Industrial Control Systems. In Proceedings - 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering, FormaliSE 2021: 9th IEEE/ACM International Conference on Formal Methods in Software Engineering (pp. 75-85). IEEE. https://doi.org/10.1109/FormaliSE52586.2021.00014
Kuijpers, G., Nielsen, T. T. & Prasad, R. (2002). Delivering QoS in Mobile Ad hoc IP Networks. In Wireless IP and Building the Mobile Internet on Wireless IP (pp. 203-224). Artech House.
Kuijpers, G., Nielsen, T. T. & Prasad, R. (2001). Delivering Quality of Service in Mobile Ad Hoc IP Networks. Paper presented at 4th International Symposium on Wireless Personal Multimedia Communications (WPMC), Aalborg, Denmark.
Kuijpers, G., Nielsen, T. T. & Prasad, R. (2002). Optimizing Neighbor Discovery for Ad hoc Networks based on the Bluetooth PAN Profile. In The 5th International Symposium on Wireless Personal Multimedia Communications, 2002. (pp. 203-207). IEEE Computer Society Press. https://doi.org/10.1109/WPMC.2002.1088161