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

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

Kristensen, M. D. & Bouvin, N. O. (2008). Energy Efficient MANET Routing Using a Combination of Span and BECA/AFECA. Journal of Networks, 3(3), 49-56. https://doi.org/10.4304/jnw.3.3.49-56

Kristensen, L. M. (2007). The ASCoVeCo State Space Analysis Platform: Next Generation Tool Support for State Space Analysis (Invited Tutorial). In K. Jensen (Ed.), Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (pp. 1-6)

Kristensen, M., Büscher, M., Christensen, M., Kramp, G., Mogensen, P. H., Ørbæk, P., Gammelmark, H., Mahler-Andersen, J. S., Kyng, M., Brodersen, A. T., Olsen, J. W., Marti, P. & al, E. (2007). PalCom Deliverable 48 (2.14.5). Demonstration kit. http://www.ist-palcom.org/publications/deliverables/Deliverable-48-[2.14.5]-dissemination.pdf

Kristensen, M. D. & Bouvin, N. O. (2008). Developing Cyber Foraging Applications for Portable Devices. In Proceedings from the 2nd IEEE International Interdisciplinary Conference on Portable Information Devices: 2nd IEEE International Interdisciplinary Conference on Portable Information Devices, 2008 and the 2007 7th IEEE Conference on Polymers and Adhesives in Microelectronics and Photonics. PORTABLE-POLYTRONIC 2008. (pp. 1-6). IEEE Press. https://doi.org/10.1109/PORTABLE-POLYTRONIC.2008.4681270

Kristensen, M. D. (2008). Execution Plans for Cyber Foraging. In O. Riva & L. Veiga (Eds.), Middleware Conference: Proceedings of the 1st workshop on Mobile middleware: embracing the personal communication device (pp. Article 2). Association for Computing Machinery.

Kristensen, M. D. (2008). Scavenger - Mobile Remote Execution. Department of Computer Science, University of Aarhus. DAIMI PB No. PB-587

Kristensen, L. M. & Jensen, K. (2008). Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets. LNCS Transactions on Petri Nets and Other Models of Concurrency. (ToPNoC), I, 19-34. https://doi.org/10.1007/978-3-540-89287-8_2

Kristensen, T. G. (2009). Recombining Angles in Differential Evolution. In IEEE Congress on Evolutionary Computation, CEC 2009 (pp. 3353 - 3356). IEEE Press. https://doi.org/10.1109/CEC.2009.4983370

Kristensen, T. G. & Pedersen, C. S. (2009). Optimal Overlay of Ligands with Flexible Bonds Using Differential Evolution. In J. Zhang, G.-Z. Li & J. Y. Yang (Eds.), Proceedings of the 2009 International Joint conferences on Bioinformatics, System biology and Intelligent Computing (IJCBS2009) (pp. 331-334). IEEE Computer Society Press. https://doi.org/10.1109/IJCBS.2009.36

Kristensen, T. G., Pedersen, C. S., Thomsen, R. & Christensen, M. H. (2009). Largest Common Chemical Feature Subtree as a Virtual Screening Method. Poster session presented at 17th Annual International Conference on Intelligent Systems for Molecular Bioligy (ISMB) & 8th European Conference on Computational Biology (ECCB), Stockholm, Sweden. http://www.iscb.org/ismbeccb2009/poster_list.php?cat=C

Kristensen, M. D. (2009). Scavenger: Cyber Foraging Framework. Computer programme http://code.google.com/p/scavenger-cf/

Kristensen, T. G., Nielsen, J. & Pedersen, C. N. S. (2009). A tree based method for the rapid screening of chemical fingerprints. Lecture Notes in Computer Science, 5724, 194-205. https://doi.org/10.1007/978-3-642-04241-6_17

Kristensen, L. M., Christensen, S. & Jensen, K. (1998). The Practitioner's guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2), 98-132. https://doi.org/10.1007/s100090050021

Kristensen, M. D. (2010). Scavenger: Transparent Development of Efficient Cyber Foraging Applications. In IEEE International Conference on Pervasive Computing and Communications (PerCom 2010). Proceedings (pp. 217-226). IEEE. https://doi.org/10.1109/PERCOM.2010.5466972

Kristensen, M. D. & Bouvin, N. O. (2010). Using Wi-Fi to Save Energy via P2P Remote Execution. In 8th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops 2010). Proceedings (pp. 123-128). IEEE. https://doi.org/10.1109/PERCOMW.2010.5470614

Kristensen, M. D. & Bouvin, N. O. (2010). Scheduling and development support in the Scavenger cyber foraging system. Pervasive and Mobile Computing, 6(6), 677-692. https://doi.org/10.1016/j.pmcj.2010.07.004

Kristensen, T. G. (2010). Transforming Tanimoto queries on real valued vectors to range queries in Euclidian space. Journal of Mathematical Chemistry, 48(2), 287-289. https://doi.org/10.1007/s10910-010-9668-4

Kristensen, T. G. & Pedersen, C. N. S. (2010). Data Structures for Accelerating Tanimoto Queries on Real Valued Vectors. In V. Moulton & M. Singh (Eds.), Algorithms in Bioinformatics: 10th International Workshop (WABI 2010) (Vol. 6293, pp. 28-39). Springer.

Kristensen, L. M. & Westergaard, M. (2010). Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. Lecture Notes in Computer Science, 6371, 215-230. https://doi.org/10.1007/978-3-642-15898-8_14

Kristensen, T. G., Nielsen, J. & Pedersen, C. N. S. (2010). A tree-based method for the rapid screening of chemical fingerprints. Algorithms for Molecular Biology, 5(9). https://doi.org/10.1186/1748-7188-5-9

Displaying results 1801 to 1850 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