Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

Biernacki, D. (2005). The Theory and Practice of Programming Languages with Delimited Continuations. Aarhus Universitet.

Bardram, J. E. (2005). The Trouble with Login - On Usability and Computer Security in Ubiquitous Computing. Personal and Ubiquitous Computing, 9(6), 357-367.

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. I Proceedings of the 2005 conference on Interaction design and children (s. 24-31). Association for Computing Machinery. https://doi.org/10.1145/1109540.1109544

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

Jørgensen, J. B. (2005). Towards Arguing the Cost-effectiveness of Coloured Petri Nets. I SERP CSREA Press.

Brodal, G. S. & Moruz, G. (2005). Tradeoffs Between Branch Mispredictions and Comparisons for Sorting Algorithms. I F. Dehne, A. Lopez-Ortiz & J.-R. Sack (red.), Algorithms and Data Structures: 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005. Proceedings (s. 385-395). Springer. https://doi.org/10.1007/11534273_34

Mendling, J., Lassen, K. B. & Zdun, U. (2005). Transformation Strategies between Block-Oriented and Graph-Oriented Process Modelling Languages. (s. 20). Vienna University of Economics and Business Administration.

van der Aalst, W. M. P. & Lassen, K. B. (2005). Translating Workflow Nets to BPEL4WS.

Condit, R., Ashton, P., Balslev, H., Brokaw, N., Bunyavejchewin, S., Chuyong, G., Co, L., Shivaramaiah, H. S., Davies, S., Ewango, C. E. N., Foster, R., Gunatilleke, N., Gunatilleke, S., Hernandez, C., Hubbell, S., John, R., Kenfack, D., Kiratiprayoon, S., Hall, P. ... Zimmerman, J. K. (2005). Tropical tree α-diversity: Results from a worldwide network of large plots. Biologiske Skrifter, 55, 565-582.

Carbone, M. (2005). Trust and Mobility. Aarhus Universitet.

Christensen, H. B. (2005). TS-05: 150 lines of java with high architectural complexity. I 10th annual SIGCSE conference on Innovation and technology in computer science education, ITiCSE '05 Proceedings (Caparica, Portugal, June 27-29, 2005) (s. 396-396). Association for Computing Machinery. https://doi.org/10.1145/1067445.1067599

Ciolfi, L., Cooke, M., Bertelsen, O. W. & Bannon, L. J. (2005). Understanding and Designing for Aesthetic Experience. I L. MacKinnon, O. Bertelsen & N. Bryan-Kinns (red.), The 19th British HCI Group Annual Conference (s. 289-291). The British Computer Society.

Hirt, M. & Nielsen, J. B. (2005). Upper Bounds on the Communication Complexity of Optimally Resilient Cryptographic Multiparty Computations. I B. Roy (red.), Advances in Cryptology - ASIACRYPT 2005: 11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, India, December 4-8, 2005. Proceedings (s. 79-99). Springer. https://doi.org/10.1007/11593447_5

Hansen, T. R., Eklund, J. M., Sprinkle, J., Bajcsy, R. & Sastry, S. (2005). Using Smart Sensors and a Camera Phone to Detect and Verify the Fall of Elderly Persons. I Proceedings of 3rd European Medical and Biological Engineering Conference: EMBEC 2005 (s. 2486-2487). IFMBE.

Hansen, K. M. (2005). Various Ideogramic products. Softwareprogram

Hansen, T. R. & Bardram, J. E. (2005). Video prototype of the interactive operating theatre. Billeder, Video- og Lydoptagelser (digital)

Nielsen, J., Grønbæk, K. & Lykke-Olesen, A. (2005). Vision Based Simultaneous Multi Object Tracking on Semi-Transparent Surfaces. (Patentnummer PA 2005 00795).

Torgersen, M., Ernst, E. & Hansen, C. P. (2005). Wild FJ. I Proceedings of FOOL 12 http://homepages.inf.ed.ac.uk/wadler/fool/program/14.html

Carbone, M., Nielsen, M. & Sassone, V. (2004). A Calculus for Trust Management. I K. Lodaya & M. Mahajan (red.), FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings (s. 161-173). Springer. https://doi.org/10.1007/978-3-540-30538-5_14

Vesterstrøm, J. S. & Thomsen, R. (2004). A Comparative Study of Differential Evolution, Particle Swarm Optimization, and Evolutionary Algorithms on Numerical Benchmark Problems. I Proceedings of the 2004 Congress on Evolutionary Computation (s. 1980-1987). IEEE.

Bardram, J. E. (2004). Activity-Based Service Discovery - An Approach for Service Composition, Orchestration and Context-Aware Service Discovery. Electronic Colloquium on Computational Complexity, (CfPC 2004-PB-67).

Bardram, J. E. (2004). Activity-Based Support for Mobility and Collaboration in Ubiquitous Computing. I L. Baresi, S. Dustdar, H. Gall & M. Matera (red.), Ubiquitous Mobile Information and Collaboration Systems (Lecture Notes in Computer Science udg., Bind 3272, s. 169-184). Springer.

Bardram, J. E., Christensen, H. B. & Olesen, A. K. (2004). Activity-Driven Computing Infrastructure - Pervasive Computing in Healthcare. Department of Computer Science, Aarhus University.

Bertelsen, O. W., Korpela, M. (red.) & Mursu, A. (red.) (2004). Activity Walkthrough - A Quick User Interface Evaluation without Users. I Ikke angivet (PB-574 of Daimi Reports udg., s. 17-21). Aarhus University.

Canetti, R., Damgård, I. B., Dziembowski, S., Ishai, Y. & Malkin, T. (2004). Adaptive versus Non-Adaptive Security of Multi-Party Protocols. Journal of Cryptology, 17(3), 153-207. https://doi.org/10.1007/s00145-004-0135-x

Torgersen, M., Hansen, C. P., Ernst, E., Ahé, P. V. D., Bracha, G. & Gafter, N. M. (2004). Adding Wildcards to the Java Programming Language. I Proceedings of the 2004 ACM Symposium on Applied Computing (Bind 104042, s. 1289-1296). Association for Computing Machinery. https://doi.org/10.1145/967900.968162

Torgersen, M., Hansen, C. P., Ernst, E., von der Ahé, P., Bracha, G. & Gafter, N. M. (2004). Adding Wildcards to the Java Programming Language. Journal of Object Technology, 3(11), 97-116. https://doi.org/10.5381/jot.2004.3.11.a5

Filinski, A., Rohde, H. K. & Walukiewicz, I. (red.) (2004). A Denotational Account of Untyped Normalization by Evaluation. I Foundations of Software Science and Computation Structures: Proceedings of the 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 (2987 udg., Bind Lecture Notes in Computer Science, s. 167-181). Springer.

Bertelsen, O. W., Petersen, M. G. & Pold, S. (red.) (2004). Aesthetic Approaches to Human-Computer Interaction: Proceedings of the NordiCHI 2004 Workshop. Aarhus University. Daimi Report Series (DAIMI PB) Nr. 572

Petersen, M. G., Iversen, O. S., Krogh, P. & Ludvigsen, M. (2004). Aesthetic interaction. I Proceedings of the 2004 Conference on Designing interactive Systems: Processes, Practices, Methods, and Techniques (s. 269-276). Association for Computing Machinery.

Petersen, M. G., Iversen, O. S., Krogh, P. G. & Ludvigsen, M. (2004). Aesthetic interaction - A pragmatist's aesthetics of interactive systems. I DIS2004 - Designing Interactive Systems: Across the Spectrum (s. 269-276)

Wagealla, W., Carbone, M., English, C., Terzis, S., Lowe, H., Nixon, P., Dimitrakos, T. (red.) & Martinelli, F. (red.) (2004). A Formal Model for Trust Lifecycle Management. I Proceedings of IEEE International Conference on Software Engineering and Formal Methods (SEFM '03), 2003. (s. 181-192). IIT-CNR.

Becker, L., Blunck, H., Hinrichs, K. & Vahrenhold, J. (2004). A Framework for Representing Moving Objects. I F. Galindo, M. Takizawa & R. Traunmüller (red.), Database and Expert Systems Applications: 15th International Conference, DEXA 2004, Zaragoza, Spain, August 30-September 3, 2004. Proceedings (s. 854-863). Springer. https://doi.org/10.1007/978-3-540-30075-5_82

Ager, M. S., Danvy, O. & Midtgaard, J. (2004). A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines. Information Processing Letters, 90(5), 223-232. https://doi.org/10.1016/j.ipl.2004.02.012

Ager, M. S., Danvy, O. & Midtgaard, J. (2004). A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines. BRICS Report Series, (RS-04-3).

Ager, M. S., Danvy, O. & Midtgaard, J. (2004). A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects. BRICS Report Series, (RS-04-28).

Lindholm Nielsen, M., Lister, R., Adams, E. S., Fitzgerald, S., Fone, W., Hamer, J., McCartney, R., Moström, J. E., Sanders, K., Seppälä, O., Simon, B. & Thomas, L. (2004). A multi-national study of reading and tracing skills in novice programmers. ACM Inroads, 36(4), 119-150.

Brand, M. V. D., Mosses, P. D. & Iversen, J. (2004). An Action Environment. I Proceedings of the Fourth Workshop on Language Descriptions, Tools and Applications (Bind 110, s. 149-168). Electronic Notes in Theoretical Computer Science.

van den Brand, M., Iversen, J., Mosses, P. D., Hedin, G. (red.) & Van Wyk, E. (red.) (2004). An Action Environment. I Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications (Bind 110, s. 149-168). Elsevier.

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

Hansen, K. M., Larsen, S. B., Pagter, J. I., Pedersen, M. Ø. & Thomsen, J. (2004). An Evaluation of an OSGi-based Residential Pervasive Computing Platform. I N. Guimarães & P. Isaías (red.), Proceedings of the IADIS Applied Computing Conference (s. 246-253). International Association for Development, IADIS. http://www.iadis.net/dl/Search_list_open.asp?code=602

Hansen, K. M. & Damm, C. (2004). An evaluation of workspace awareness in collaborative, gesture-based diagramming tools. I S. Fincher, P. Markopoulos, D. Moore & R. Ruddle (red.), People and Computers XVIII - Design for Life: Proceedings of HCI 2004, BCS Conference Series (s. 25-50). Springer. https://doi.org/10.1007/1-84628-062-1_3

Christensen, H. B. & Bardram, J. (2004). An Initial Comparison between Aura and Activity-Based Computing. Department of Computer Science, Aarhus University.

Grønbæk, K., Bouvin, N. O., Petersen, M. G. & Bech, C. W. (2004). An Open Portal for Blended Learning. I L. Cantoni & C. McLoughlin (red.), Proceedings of World Conference on Educational Multimedia, Hypermedia and Telecommunications 2004 (s. 734-739). Association for the Advancement of Computing in Education.

Biernacka, M., Biernacki, D. & Danvy, O. (2004). An Operational Foundation for Delimited Continuations. I Proceedings of the Fourth ACM SIGPLAN Workshop on Continuations (s. 25-33). Association for Computing Machinery.

Biernacka, M., Biernacki, D. & Danvy, O. (2004). An Operational Foundation for Delimited Continuations in the CPS Hierarchy. BRICS Report Series, (RS-04-29).

Nielsen, M. B., Museth, K. & Seipel, S. (red.) (2004). An Optimized, Grid Independent, Narrow Band Data Structure for High Resolution Level Sets. I SIGRAD'04: Svenska föreningen för grafisk databehandling (13 of Linköping Elec. Conf. Proc udg., Bind 13, s. 59-60). Linköping Electronic Conference Proceedings.

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

Bardram, J. E. (2004). Applications of Context-Aware Computing in Hospital Work - Examples and Design Principles. I 2004 ACM Symposium on Applied Computing: Proceedings of the 2004 ACM symposium on Applied computing (Bind SESSION: Ubiquitous computing (UC), s. 1574-1579). Association for Computing Machinery.

Gerhardy, P. (2004). A Quantitative Version of Kirk's Fixed Point Theorem for Asymptotic Contractions. BRICS Report Series, (RS-04-32).

Viser resultater 4551 til 4600 ud af 6061

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series