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. & 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

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). Schloss Dagstuhl--Leibniz-Zentrum für Informatik. 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. B R I C S 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. B R I C S 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. B R I C S Report Series, (BRICS RS-05-23), 1-48.

Krukow, K. (2006). Towards a Theory of Trust for the Global Ubiquitous Computer. Daimi PhD Dissertation No. PD-06-14

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).

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

Krogh-Jespersen, M. (2019). Towards Modular Reasoning for Stateful and Concurrent Programs. Århus Universitet.

Krogh-Jespersen, M., Timany, A., Ohlenbusch, M. E., Gregersen, S. O. & Birkedal, L. (2020). Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems. In P. Müller (Ed.), Programming Languages and Systems- 29th European Symposium on Programming ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings (pp. 336-365). Springer. https://doi.org/10.1007/978-3-030-44914-8_13

Krogh, P. G. & Grønbæk, K. (2001). Roomware and intelligent Buildings - buildings and objects become computer interfaces! In P. Bille (Ed.), Architectural Research and Information Technology (pp. 63-68). Aarhus School of Architecture. http://www.pervasive.dk/publications/files/Roomware.pdf

Krogh, P. G. & Grønbæk, K. (2001). Architecture and pervasive Computing when buildings and design artifacts become popular interfaces. Nordic Journal of Architectural Research, 14(3), 11-22. http://www.arkitekturforskning.net/Tidsskrift/2001/2001_3/Krogh.pdf

Krogh, P. G., Petersen, M. G., O'Hara, K. & Grønbæk, J. E. (2017). Sensitizing Concepts for Socio-Spatial Literacy in HCI. In CHI 2017 - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire (pp. 6449-6460). Association for Computing Machinery. https://doi.org/10.1145/3025453.3025756

Krogh, L. B., Nielsen, K. & Waaddegaard, N. (2019). SUN-projektet: Skolebaseret udvikling af naturfag og kapacitet i gymnasiet. MONA - Matematik- og Naturfagsdidaktik, (3), 47-67. https://tidsskrift.dk/mona/article/view/115582/163891

Křivánek, J., Georgiev, I., Hachisuka, T., Vévoda, P., Šik, M., Nowrouzezahrai, D. & Jarosz, W. (2014). Unifying Points, Beams, and Paths in Volumetric Light Transport Simulation. A C M Transactions on Graphics, 33(4), Article 13. https://doi.org/10.1145/2601097.2601219

Kristensen, L. M. & Mailund (2003). Efficient Path Finding with the Sweep-Line Method using External Storage. In Proceedings of International Conference on Formal Engineering Methods (ICFEM 2003) (pp. 319-337)

Displaying results 1751 to 1800 out of 5406

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University