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

Christensen, H. B. & Hansen, K. M. (2011). Towards Architectural Information in Implementation. In R. Taylor, H. Gall & N. Medvidocvic (Eds.), Proceedings of 33rd International Conference on Software Engineering: ICSE 2011 (pp. 928-931). Association for Computing Machinery. https://doi.org/10.1145/1985793.1985948

Mogensen, P. H. (1992). Towards a Provotyping Approach in Systems Development. Scandinavian Journal of Information Systems, 4, 31-53.

Nielsen, M., Sassone, V. & Srba, J. (2001). Towards a Notion of Distributed Time for Petri Nets. In J.-M. Colom & M. Koutny (Eds.), Applications and Theory of Petri Nets 2001: 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings (pp. 23-31). Springer. https://doi.org/10.1007/3-540-45740-2_3

Christensen, H. B. (2005). Towards an Operational Framework for Architectural Prototyping. In Proceedings of the 5th Working IEEE/IFIP Conference on Software Architecture. WICSA’05 (pp. 301-302). IEEE Computer Society Press. https://doi.org/10.1109/WICSA.2005.73

Klokmose, C. N. (2007). Towards an Instrumental Paradigm for Ubiquitous Interaction. In A. C. Brodersen, S. Bødker & C. N. Klokmose (Eds.), Multiple and Ubiquitous Interaction, 28. - 30. March 2007: Book of Abstracts (pp. 33-35)

Cameron, N., Drossopoulou, S. & Ernst, E. (2007). Towards an Existential Types Model for Java with Wildcards. In J. Boyland (Ed.), Proceedings of the 9th Workshop on Formal Techniques for Java-like Programs (FTfJP), in association with ECOOP 2007 (1 ed., Vol. -, pp. 1-13). Nanjing University / University of Wisconsin-Milwaukee. http://cs.nju.edu.cn/boyland/ftjp/paper_2.pdf

Andersen, M. S. & Kjærgaard, M. B. (2012). Towards a New Classification of Location Privacy Methods in Pervasive Computing. In A. Puiatti & T. Gu (Eds.), Mobile and Ubiquitous Systems: Computing, Networking, and Services : 8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised Selected Papers (Vol. 104, pp. 150-161). Springer. https://doi.org/10.1007/978-3-642-30973-1_13

Bunde-Pedersen, J. & Bardram, J. E. (2006). Towards an Activity-Based World-Wide-Web. In Proceedings of workshop on Information Integration on the Web, 2006 (IIWeb2006) http://iiweb2006.cs.uiuc.edu/12.pdf

Lindstrøm, B., Wells, L., Silva, M. (Ed.), Giva, A. (Ed.) & Colom, J. M. (Ed.) (2002). Towards a Monitoring Framework for Discrete-Event System Simulations. In Ikke angivet (pp. 127-134). IEEE Computer Society Press.

Kaspersen, M. H., Graungaard, D., Bouvin, N. O., Petersen, M. G. & Eriksson, E. (2021). Towards a model of progression in computational empowerment in education. International Journal of Child - Computer Interaction, 29, Article 100302. https://doi.org/10.1016/j.ijcci.2021.100302

Westergaard, M. & Kindler, E. (Ed.) (2004). Towards a High-level Petri Net Type Type Definition. In Proceeding of the Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets

Asharov, G., Canetti, R. & Hazay, C. (2011). Towards a Game Theoretic View of Secure Computation. Lecture Notes in Computer Science, 426-445. https://doi.org/10.1007/978-3-642-20465-4_24

Nielsen, M. & Krukow, K. K. (2003). Towards a Formal Notion of Trust. In Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (pp. 4-7). Association for Computing Machinery. https://doi.org/10.1145/888251.888253

Kjærgaard, M. B. & Bunde-Pedersen, J. (2006). Towards a Formal Model of Context Awareness. In Proceedings of the First International Workshop on Combining Theory and Systems Building in Pervasive Computing (Pervasive 2006) (pp. 667-674) http://www.smartlab.cis.strath.ac.uk/CTSB/Pedersen.pdf

Nielsen, M., Krukow, K. K. & Sassone, V. (2007). Towards a Formal Framework for Computational Trust. In F. S. de Boer, M. M. Bonsangue, S. Graf & W.-P. de Roever (Eds.), Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures (pp. 175-184). Springer. https://doi.org/10.1007/978-3-540-74792-5_8

Aehnelt, M., Schulz, H.-J. & Urban, B. (2013). Towards a Contextualized Visual Analysis of Heterogeneous Manufacturing Data. In Advances in Visual Computing : 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part II (pp. 76-85). Springer. https://doi.org/10.1007/978-3-642-41939-3_8

Saad-Sulonen, J. & Korsgaard, H. (2015). Towards a concept of community artifact ecology in HCI?. Paper presented at CHI, Seoul, Korea, Republic of.

Grønbæk, K. & Wiil, U. K. (1997). Towards a Common Reference Architecture for Open Hypermedia. Journal of Digital Information, 1(2). http://journals.ecs.soton.ac.uk/jodi/Articles/v01/i02/Gronbak/

Hansen, K. M. (2001). Towards a Coloured Petri Net Profile for the Unified Modeling Language - Issues, Definition and Implementation.

Korsgaard, H. (2017). Toward Place-Centric Computing: Making Place With Technology Together.

Yang, B., Guo, C., Ma, Y. & Jensen, C. S. (2015). Toward personalized, context-aware routing. V L D B Journal, 24(2), 297-318. https://doi.org/10.1007/s00778-015-0378-1

Schäfer, Z., Mathisen, A., Svendsen, K., Engberg, S., Rolighed Thomsen, T. & Kirketerp-Møller, K. (2021). Toward Machine-Learning-Based Decision Support in Diabetes Care: A Risk Stratification Study on Diabetic Foot Ulcer and Amputation. Frontiers in medicine, 7, Article 601602. https://doi.org/10.3389/fmed.2020.601602

Bertelsen, O. W. (1997). Toward a Unified Field of Se Research and Practice. I E E E Software, 14(6), 87-88. https://doi.org/10.1109/MS.1997.636682

Grønbæk, K. & Trigg, R. H. (1996). Toward a Dexter-based model for open hypermedia: Unifying embedded references and link objects. In Proceedings of the the seventh ACM conference on Hypertext (pp. 149-160). Association for Computing Machinery. https://doi.org/10.1145/234828.234843

Grønbæk, K., Kyng, M. & Mogensen, P. H. (1997). Toward a Cooperative Experimental System Development Approach. In M. Kyng & L. Mathiassen (Eds.), Computers and Design in Context (pp. 201-238). MIT Press.

Brewer, R. S., Verdezoto, N., Holst, T. & Rasmussen, M. K. (2015). Tough Shift: Exploring the Complexities of Shifting Residential Electricity Use Through a Casual Mobile Game. In CHI PLAY '15 : Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play (pp. 307-317). Association for Computing Machinery. https://doi.org/10.1145/2793107.2793108

Breinbjerg, M., Caprani, O. & Lunding, R. (2002). Touch the Sound. In International Workshop of Interaction Design and Children

Pagnin, E., Gunnarsson, G., Talebi, P., Orlandi, C. & Sabelfeld, A. (2019). TOPPool: Time-aware Optimized Privacy-Preserving Ridesharing. Proceedings on Privacy Enhancing Technologies, 2019(4), 93-111. https://doi.org/10.2478/popets-2019-0060

LaVigne, R., Liu-Zhang, C.-D., Maurer, U. M., Moran, T., Mularczyk, M. & Tschudi, D. (2018). Topology-Hiding Computation Beyond Semi-Honest Adversaries. In A. Beimel & S. Dziembowski (Eds.), Theory of Cryptography - 16th International Conference, TCC 2018, Proceedings: Theory of Cryptography (Vol. 11240, pp. 3-35). Springer VS. https://doi.org/10.1007/978-3-030-03810-6_1

Moeslund, J. E., Arge, L., Bøcher, P. K., Dalgaard, T. & Svenning, J.-C. (2013). Topography as a driver of local terrestrial vascular plant diversity patterns. Nordic Journal of Botany, 31(2), 129-144. https://doi.org/10.1111/j.1756-1051.2013.00082.x

Sandel, B. S. & Svenning, J.-C. (2012). Topographic controls on the distribution of tree cover from local to global scales. Abstract from The Ecological Society of America, 89th Annual Meeting, Portland, United States.

Moeslund, J. E., Arge, L., Bøcher, P. K., Dalgaard, T., Odgaard, M. V., Nygaard, B. & Svenning, J.-C. (2013). Topographically controlled soil moisture is the primary driver of local vegetation patterns across a lowland region. Ecosphere (Washington, D.C.), 4(7), Article 91. https://doi.org/10.1890/ES13-00134.1

Moeslund, J. E., Arge, L., Bøcher, P. K., Dalgaard, T., Ejrnæs, R., Odgaard, M. V. & Svenning, J.-C. (2013). Topographically controlled soil moisture drives plant diversity patterns within grasslands. Biodiversity and Conservation, 22(10), 2151-2166. https://doi.org/10.1007/s10531-013-0442-3

Munro, J. I., Navarro, G., Nielsen, J. S., Shah, R. & Thankachan, S. V. (2017). Top-k Term-Proximity in Succinct Space. Algorithmica, 78(2), 379-393. https://doi.org/10.1007/s00453-016-0167-2

Munro, J. I., Navarro, G., Nielsen, J. A. S. & ShaH, R. (2014). Top- k Term-Proximity in Succinct Space. In H.-K. Ahn & C.-S. Shin (Eds.), Algorithms and Computation: 25th International Symposium, ISAAC 2014, Proceedings (pp. 169-180 ). Springer VS. https://doi.org/10.1007/978-3-319-13075-0_14

Skovsgaard, A. & Jensen, C. S. (2014). Top-k point of interest retrieval using standard indexes. In Y. Huang & M. Schneider (Eds.), Proceedings of the 22nd ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, SIGSPATIAL '14 (pp. 173-182 ). Association for Computing Machinery. https://doi.org/10.1145/2666310.2666399

Lambov, B. Z. (2006). Topics in the Theory and Practice of Computable Analysis. Daimi PhD Dissertation No. PD-06-6

Andersen, C. J., Hansen, K. M., Sandvad, E. S., Thomsen, M. & Tyrsted, M. (2000). Tool Support for Iterative System Development Activities: Issues and Experiences. In K. A. Mughal, A. L. Opdahl & D. I. K. Sjøberg (Eds.), Proceedings of NWPER'2000: Nordic Workshop on Programming Environment Research http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.4642

Jørgensen, J. B., Christensen, S., Tuovinen, A.-P. & Xu, J. (2006). Tool Support for Estimating the Memory Usage of Mobile Phone Software. Software Tools for Technology Transfer.

Kjærgaard, M. B. & Blunck, H. (2014). Tool support for detection and analysis of following and leadership behavior of pedestrians from mobile sensing data. Pervasive and Mobile Computing, 10(A), 104-117. https://doi.org/10.1016/j.pmcj.2013.10.007

Cornils, A. & Hedin, G. (2000). Tool Support for Design Patterns based on Reference Attribute Grammars. In Proceedings of WAGA'00, Third Workshop on Attribute Grammars and their Applications

Damm, C. H., Hansen, K. M. & Thomsen, M. (2000). Tool support for cooperative object-oriented design: gesture based modelling on an electric whiteboard. In Proceedings of the SIGCHI conference on Human factors in computing systems (pp. 518-525). Association for Computing Machinery. https://doi.org/10.1145/332040.332488

Hansen, K. M. & Ratzer, A. V. (2002). Tool Support for Collaborative Teaching and Learning of Object-Oriented Modelling. In Proceedings of the 7th annual conference on Innovation and technology in computer science education (pp. 146-150). Association for Computing Machinery. https://doi.org/10.1145/544414.544458

Feldthaus, A., Millstein, T., Møller, A., Schäfer, M. & Tip, F. (2011). Tool-supported Refactoring for JavaScript. In Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications (pp. 119-138). Association for Computing Machinery. https://doi.org/10.1145/2048066.2048078

Bouvin, N. O., Brodersen, A. C., Hansen, F. A., Iversen, O. S. & Nørregaard, P. (2005). Tools of Contextualization: Extending the Classroom to the Field. In Proceedings of the 2005 conference on Interaction design and children (pp. 24-31). Association for Computing Machinery. https://doi.org/10.1145/1109540.1109544

Grønbæk, K. & Knudsen, J. L. (1992). Tools and Techniques for Experimental System Development. In K. Systä, P. Kellomäki & R. Mäkinen (Eds.), Proceedings of the Nordic Workshop on Programming Environment Research

Jensen, K. & Podelski, A. (Eds.) (2004). Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004,Barcelona, Spain, March 29 - April 2, 2004 : proceedings. Springer. Lecture Notes in Computer Science Vol. 2988 https://doi.org/10.1007/b96393

Schwartzbach, M. I. & Graf, S. (Eds.) (2000). Tools and Algorithms for Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings. Springer. Lecture Notes in Computer Science Vol. 1785 https://doi.org/10.1007/3-540-46419-0

Bertelsen, O. W., Breinbjerg, M. & Pold, S. (2008). Tool – Material, Metaphor – Metonymy, Instrument(ness). In J. J. Jensen (Ed.), Proceedings of the Eighth Danish Human-Computer Interaction Research Symposium (pp. 5-9). Aalborg Universitetsforlag.

Damm, C. H., Hansen, K. M., Thomsen, M. & Tyrsted, M. (2000). Tool Integration: Experiences and Issues in Using XMI and Component Technology. In Proceedings of the Technology of Object-Oriented Languages and Systems Conference (pp. 94-107). IEEE Computer Society Press. https://doi.org/10.1109/TOOLS.2000.848754

Displaying results 451 to 500 out of 5584

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University