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

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. (1977). Systemarbejde og Fagbevægelsesprojekter: Materiale fra marts-seminaret.

Kyng, M. & Mathiassen, L. (1976). Udkast til ansøgning om projekttilskud fra Teknologirådet.

Kyng, M., Dybdal, E., Lundin, J. & Hansen, T. (1980). Klubarbejde og edb på Aalborg værft.

Kyng, M. (1980). Medbestemmelse på ny teknologi.

Kyng, M. (Ed.) (1974). EDB-rapporten: studier i datateknikkens udvikling og indflydelse på det danske samfund. Danske Studerendes Fællesråd, Studenterrådets Tryk.

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. & Mogensen, P. H. (1992). Workpackage WP1 Task T1.3: Evaluation of EuroCoOp prototypes re work at Storebæltsforbindelsen (Great Belt Link Ltd.).

Kyng, M. & Pedersen, B. M. (1974). Description of a model of a single helix pomatia brain neuron and an associated neurophysiological experiment.

Kyng, M. (1976). Implementation of the Delta Language Interrupt Concept within the Quasiparallel Environment of Simula.

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. (2016). Democracy beyond projects: how users may achieve lasting influence on it systems. interactions, 23(2), 36-39. https://doi.org/10.1145/2889276

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

Kutz, M., Brodal, G. S., Kaligosi, K. & Katriel, I. (2011). Faster Algorithms for Computing Longest Common Increasing Subsequences. Journal of Discrete Algorithms, 9(4), 314-325. https://doi.org/10.1016/j.jda.2011.03.013

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

Kuijpers, G., Nielsen, T. T. & Prasad, R. (2003). Performance Investigation of Extensions to the AODV Routing Protocol. Paper presented at 6th International Symposium on Wireless Personal Multimedia Coomunications. WPMC 2003, Yokosuda, Japan.

Krukow, K. & Twigg, A. (2004). Distributed Approximation of Fixed-Points in Trust Structures. BRICS Report Series, (RS-04-16).

Krukow, K. K., Nielsen, M. & Sassone, V. (2005). A Framework for Concrete Reputation-Systems with Applications to History-Based Access Control. In Proc. of 12th ACM Conference on Computer and Communications Security (pp. 260-269). Association for Computing Machinery. https://doi.org/10.1145/1102120.1102155

Krukow, K. K. & Twigg, A. (2005). Distributed Approximation of Fixed-Points in Trust Structures. In ICDCS IEEE.

Krukow, K. K. (2005). An Operational Semantics for Trust Policies. BRICS Report Series, (BRICS RS-05-30), 1-38. http://www.brics.dk/RS/05/30/BRICS-RS-05-30.pdf

Krukow, K. K., Nielsen, M. & Sassone, V. (2005). A Framework for Concrete Reputation-Systems. BRICS Report Series, (BRICS RS-05-23), 1-48.

Krukow, K. K. & Nielsen, M. (2007). From Simulations to Theorems: A Position Paper on Research in the Field of Computational Trust. In T. Dimitrakos, F. Martinelli, P. Y. A. Ryan & S. Schneider (Eds.), Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers (pp. 96-111). Springer. https://doi.org/10.1007/978-3-540-75227-1_7

Krukow, K. (2006). An Operational Semantics for Trust Policies. In WITS '06: 6th International Workshop on Issues in the Theory of Security (Vol. www.brics.dk/RS/05/30/). Springer.

Krukow, K., Nielsen, M. & Sassone, V. (2009). Probabilistic Computational Trust. In Perspectives in Concurrency Theory (pp. 295-316). Universities Press (India).

Krukow, K. (2006). Towards a Theory of Trust for the Global Ubiquitous Computer.

Krøigaard, M. (2010). On the Computational Overhead of Secure Multiparty computation. Department of Computer Science, Aarhus University.

Krogh-Jespersen, M., Svendsen, K. & Birkedal, L. (2017). A relational model of types-and-effects in higher-order concurrent separation logic. In POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages: POPL 2017 (pp. 218-231). Association for Computing Machinery. https://doi.org/10.1145/3009837.3009877

Displaying results 2001 to 2050 out of 5981

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University