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

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

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-Jespersen, M. (2019). Towards Modular Reasoning for Stateful and Concurrent Programs. Aarhus Universitet.

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)

Kristensen, J. F., Eriksen, M. A., Iversen, O. S., Kanstrup, A. M., Nielsen, C. & Petersen, M. G. (2003). Young People In Old Cars - Challenges For Cooperative Design. Paper presented at Information systems research seminar in Scandinavia (IRIS 26) 9-12 August 2003, Haikko Manor, Finland.

Kristensen, L. M. (2004). Using Coloured Petri Nets in the Development of Protocols for Ad-Hoc Networking. In Proceedings of 3rd International Workshop on Integration and Specification Techniques for Applications in Engineering (pp. 12-13)

Kristensen, L. M. & Christensen, S. (2004). Implementing Coloured Petri Nets using a Functional Programming Language. Higher-Order and Symbolic Computation, 17(3), 207-243.

Kristensen, L. M., Gallasch, G. E., Ouyang, C. & Billington, J. (2004). Experimenting with Progress Mappings for the Sweep-Line Analysis of the Internet Open Trading Protocol. In K. Jensen (Ed.), 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools (PB-570 of Daimi Reports ed., pp. 19-38). Department of Computer Science, University of Aarhus.

Kristensen, L. M., Jørgensen, J. B. & Jensen, K. (2004). Application of Coloured Petri Nets in System Development. In J. Desel, W. Reisig & G. Rozenberg (Eds.), Lectures on Concurrency and Petri Nets (pp. 626-685). Springer. https://doi.org/10.1007/b98282

Kristensen, L. M. & Mailund, T. (2002). A Compositional Sweep-Line State Space Exploration Method. In Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems (2529 of Lecture Notes in Computer Science ed., Vol. 2529, pp. 327-343). Springer.

Kristensen, L. M. & Mailund, T. (2002). A Generalised Sweep-Line Method for Safety Properties. In FME 2002: Formal Methods - Getting IT Right (Lecture Notes in Computer Science ed., Vol. 2391, pp. 549-567). Springer.

Kristensen, L. M. & Mailund, T. (2003). Efficient Path Finding with the Sweep-Line Method using External Storage. In Proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003: Formal Methods and Software Engineering (2885 of Lecture Notes in Computer Science ed., Vol. 2885/2003, pp. 319-337). Springer.

Kristensen, L. M., Mailund, T., Billington, J. & Gallasch, G. E. (2004). Exploiting Equivalence Reduction and the Sweep-Line Method for Detecting Terminal States. I E E E Transactions on Systems, Man and Cybernetics, Part A: Systems & Humans, 34(1), 23-38.

Kristensen, L. M., Mitchell, B., Zhang, L. & Jensen, K. (Ed.) (2004). Formal Specification and State Space Analysis of an Operational Planning Process. In Proc. of 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools (PB-570 of Daimi Reports ed., pp. 1-18). Department of Computer Science, University of Aarhus.

Kristensen, L. M. & Nielsen, K.-D. (2004). On the Application of Zone Flooding in a Traffic Warning System. Daimi Reports, (PB-573).

Kristensen, L. M. & Petrucci, L. (2004). An Approach to Distributed State Space Exploration for Coloured Petri Nets. In J. Cortadella & W. Reisig (Eds.), 25th International Conference on Application and Theory of Petri Nets: Lecture Notes in Computer Science (3099 i Lecture Notes in Computer Science ed., Vol. Tool Papers, pp. 474-483). Springer.

Kristensen, L. M., Zhang, L., Mitchell, B., Janczura, C., Gallasch, G. E. & Mechlenborg, P. (2004). COAST - An Operational Planning Tool for Course of Action Development and Analysis. Paper presented at 9th International Command and Control Research and Technology Symposium (ICCRTS), København, Denmark.

Kristensen, L. M., Westergaard, M. & Nørgaard, P. C. (2005). Model-based Prototyping of an Interoperability Protocol for Mobile Ad-hoc Networks. In IFM 2005 (pp. 266-286). Springer LNCS.

Kristensen, M., Kyng, M. & Nielsen, E. T. (2005). IT-support for healthcare professionals acting in major incidents. In Proceedings of the Scandinavian conference on Health Informatics. SHI '05 (pp. 37-41). Aalborg University.

Kristensen, J. T. & Miltersen, P. B. (2006). Finding small OBDDs for incompletely specified truth tables is hard. Electronic Colloquium on Computational Complexity, (TR06-004), 1-6. http://eccc.hpi-web.de/eccc-reports/2006/TR06-004/index.html

Kristensen, L. M., Valmari, A. & Schmidt, K. (2006). Question-Guided Stubborn Set Methods for State Properties. Formal Methods in System Design, 29(3), 215-251.

Kristensen, L. M., Mechlenborg, P., Zhang, L., Mitchell, B. & Gallasch, G. (2006). Model based Development of a Course of Action Scheduling Tool. In Proc. of Seventh Workshop and Tutorial on Practical Use of Coloured Petri Netds and the CPN Tools (Vol. 579, pp. 1-16). Department of Computer Science, University of Aarhus.

Kristensen, M., Kyng, M. & Palen, L. A. (2006). Participatory Design in Emergency Medical Service: Designing for Future Practice. In Proceedings of the ACM Conference on Human Factors in Computing Systems CHI 2006 (pp. 161-170). Association for Computing Machinery. https://doi.org/10.1145/1124772.1124798

Kristensen, M. & Kyng, M. (2006). Media Spaces, Places and Palpable Technologies. In Ikke angivet Association for Computing Machinery.

Kristensen, M., Kyng, M. & Nielsen, E. T. (2007). Challenges in designing interactive systems for emergency response. In Proceedings of the 6th ACM conference on Designing Interactive systems DIS '06 (pp. 301-310). Society for Industrial and Applied Mathematics. https://doi.org/10.1145/1142405.1142450

Kristensen, L. M. & Jensen, K. (2007). Teaching Modelling and Validation of Concurrent Systems using Coloured Petri Nets. In Proceedings 2nd workshop on Teaching Concurrency (pp. 67-77). University of Podlasie, Institute of Computer Science.

Kristensen, L. M. (2007). Formal Specification and State Space Analysis of an Operational Planning Process. International Journal on Software Tools for Technology Transfer, 9(3-4), 255-268.

Kristensen, M., Kyng, M., Christensen, E. F. & Kramp, G. (2007). Wireless technology for ABC Assessment. Poster session presented at The Fourth Mediterranean Emergency Medicine Congress. MEMC IV, Sorrento, Italy.

Kristensen, M. (2007). Technology and work within emergency medicine. Paper presented at The 10th European Conference on Computer Supported Co-operative Work, Limerick, Ireland.

Kristensen, L. M. & Jensen, K. (2004). Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. In H. Ehrig, W. Damm, J. Desel, M. Grosse-Rhode, W. Reif, E. Schneider & E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation. Final Report (Vol. 3147, pp. 248-269). Springer.

Kristensen, B. B., Madsen, O. L. & Møller-Pedersen, B. (2007). The When, Why and Why not of the BETA Programming Language. In Proceedings of the Third ACM Conference on History of Programming Languages (pp. 1-57). Association for Computing Machinery. https://doi.org/10.1145/1238844.1238854

Kristensen, M. D. & Bouvin, N. O. (2007). Energy Efficient Routing in Nomadic Networks. In PerCom Workshops '07. Fifth Annual IEEE International Conference on Pervasive Computing (pp. 99-103). IEEE Computer Society Press. https://doi.org/10.1109/PERCOMW.2007.43

Kristensen, M. D. (2007). Enabling Cyber Foraging for Mobile Devices. In Proceedings of the 5th MiNEMA Workshop: Middleware for Network Eccentric and Mobile Applications (pp. 32-36)

Kristensen, L. M., Mechlenborg, P., Zhang, L., Mitchell, B. & Gallasch, G. E. (2008). Model-based development of a course of action scheduling tool. International Journal on Software Tools for Technology Transfer, 10(1), 5-14. https://doi.org/10.1007/s10009-007-0053-y

Displaying results 2001 to 2050 out of 5896

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University