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, 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

Kristensen, B. B., Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1983). Abstraction Mechanisms in the BETA Programming Language. In Tenth ACM Symposium on Principles of Programming Languages (pp. 285-298). Association for Computing Machinery. https://doi.org/10.1145/567067.567094

Kristensen, B. B., Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1987). Classification of Actions or Inheritance also for Methods. In ECOOP'87, European Conference on Object-Oriented Programming (pp. 98-107). Springer. https://doi.org/10.1007/3-540-47891-4_10

Kristensen, B. B., Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1988). Coroutine Sequencing in BETA. Paper presented at Hawaii International Conference on System Sciences , United States. https://doi.org/10.1109/HICSS.1988.11830

Kristensen, T. G., Nielsen, J. & Pedersen, C. N. S. (2011). Using Inverted Indices for Accelerating LINGO Calculations. Journal of Chemical Information and Modeling, 51(3), 597-600. https://doi.org/10.1021/ci100437e

Kristensen, B. B. & Madsen, O. L. (1981). Diagnostics on LALR(k) conflicts based on a method for LR(k) testing. BIT Numerical Mathematics, 21(3), 270-293. https://doi.org/10.1007/BF01941463

Kristensen, B. B. & Madsen, O. L. (1980). A practical state splitting algorithm for constructing LR-parsers. Aarhus University.

Kristensen, B. B., Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1982). Syntax Directed Program Modularization. In P. Degano & E. Sandewall (Eds.), Integrated interactive computing systems: European Conference on Integrated Computing Systems, ECICS 82, Stresa, Italy, 1-3 September, 1982 North-Holland.

Kristensen, B. B., Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1985). An Algebra for Program Fragments. In SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments (pp. 161-170). Association for Computing Machinery. https://doi.org/10.1145/800225.806837

Kristensen, B. B., Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1987). The BETA Programming Language. In B. D. Shriver & P. Wegner (Eds.), Research Directions in Object Oriented Programming (pp. 7-48). MIT Press.

Kristensen, M. D., Kjærgaard, M. B., Toftkjær, T., Bhattacharya, S. & Nurmi, P. (2011). Improving Pervasive Positioning through Three-tier Cyber Foraging. In 2011 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops) (pp. 135-140) https://doi.org/10.1109/PERCOMW.2011.5766855

Kristensen, T. G., Nielsen, J. & Pedersen, C. N. S. (2013). Methods for Similarity-Based Virtual Screening. Computational and Structural Biotechnology Journal, 5(6). https://doi.org/10.5936/csbj.201302009

Kristensen, J., Mai, S. T., Assent, I., Jacobsen, J., Vo, B. & Le, A. (2017). Interactive exploration of subspace clusters for high dimensional data. In D. Benslimane, E. Damiani, W. I. Grosky, A. Hameurlain, A. Sheth & R. R. Wagner (Eds.), Database and Expert Systems Applications - 28th International Conference, DEXA 2017, Proceedings (Vol. 10438 LNCS, pp. 327-342). Springer VS. https://doi.org/10.1007/978-3-319-64468-4_25

Kristensen, E. K. & Møller, A. (2017). Type Test Scripts for TypeScript Testing. Proceedings of the ACM on Programming Languages , 1(OOPSLA), 90:1-90:25. Article 90. https://doi.org/10.1145/3133914

Kristensen, E. K. & Møller, A. (2017). Inference and Evolution of TypeScript Declaration Files. In M. Huisman & J. Rubin (Eds.), Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (Vol. 10202, pp. 99-115). Springer VS. https://doi.org/10.1007/978-3-662-54494-5_6

Kristensen, E. K. & Møller, A. (2019). Reasonably-Most-General Clients for JavaScript Library Analysis. Proceedings of the International Conference on Software Engineering, 83-93. https://doi.org/10.1109/ICSE.2019.00026

Kristensen, T. G. (2011). Virtual screening algorithms. Department of Computer Science, Aarhus University.

Kristensen, M. D. (2010). Empowering Mobile Devices Through Cyber Foraging: The Development of Scavenger, an Open, Mobile Cyber Foraging System. Department of Computer Science, Aarhus University.

Kristensen, E. K. (2019). Automated Techniques for Creation and Maintenance of TypeScript Declaration Files. Aarhus University.

Krishna, S., Lal, A., Pavlogiannis, A. & Tuppe, O. (2024). On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability. Proceedings of the ACM on Programming Languages , 8(POPL), 1239-1268. https://doi.org/10.1145/3632884

Krink, T., van Kooten Niekerk, K. (Ed.) & Buhl, H. (Ed.) (2004). Complexity and the Computing Age: Can Computers Really Help to Understand Complex Phenomena in Nature? In The Significance of Complexity (pp. 47-73). Ashgate publishing.

Displaying results 1951 to 2000 out of 5707

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University