Publikationer

Søg publikationer fra Institut for Datalogi

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

Caspersen, M. E., Bennedsen, J. & Larsen, K. D. (2007). Mental Models and Programming Aptitude. ACM Inroads, 39(3), 206-210. https://doi.org/10.1145/1269900.1268845

Zhang, W., Han, D., Kunz, T. & Hansen, K. M. (2007). Mobile Game Development: Object-Orientation or Not. I 31st Annual International Computer Software and Applications Conference (s. 601-608). IEEE Computer Society Press. https://doi.org/10.1109/COMPSAC.2007.151

Tjell, S. (2007). Model-Based Software Engineering for Embedded Systems: Progress Report for Qualification Exam during Ph.D. studies.

Eriksson, E., Hansen, T. R. & Lykke-Olesen, A. (2007). Movement-based interaction in camera spaces: a conceptual framework. Personal and Ubiquitous Computing, 11(8), 621 - 632. https://doi.org/10.1007/s00779-006-0134-z

Brodersen, A. C., Bødker, S. & Klokmose, C. N. (red.) (2007). Multiple and Ubiquitous Interaction, 28. - 30. March 2007: Book of Abstracts. Daimi Report Series (DAIMI PB) Nr. PB-581

Nemitz, O., Nielsen, M. B., Rumpf, M. & Whitaker, R. (2007). Narrow Band Methods for PDEs on Very Large Implicit Surfaces. I Vision, Modeling and Visualization 2007 (s. 171-180). <Forlag uden navn>.

Olsen, M. (2007). Nash Stability in Additively Separable Hedonic Games is NP-hard. I Computation and Logic in the Real World (4497 of Lecture Notes in Computer Science udg., Bind 4497/2007, s. 598 - 605). Springer.

Hoggan, E. & Brewster, S. (2007). New parameters for tacton design. I CHI'07 Extended Abstracts on Human Factors in Computing Systems (s. 2417-2422)

Ostermann, K. (2007). Nominal and Structural Subtyping in Component-Based Programming. Journal of Object Technology, 7(1), 121 - 145.

Damgård, I. B. & Thorbek, R. (2007). Non-interactive Proofs for Integer Multiplication. I M. Naor (red.), Advances in Cryptology - EUROCRYPT 2007: 26th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Barcelona, Spain, May 20-24, 2007. Proceedings (s. 412-429). Springer. https://doi.org/10.1007/978-3-540-72540-4_24

Østerby, O. (2007). Numerical Solution of Parabolic Equations. Datalogisk Institut.

Zhang, W., Han, D. & Kunz, T. (2007). Object-Orientation is Evil for Mobile Games: Experience from Industrial Mobile RPGs. I Embedded Software and Systems, Third International Conference, ICESS 2007 (s. 1-12). Springer. https://doi.org/10.1007/978-3-540-72685-2_1

Danvy, O. & Spivey, M. (2007). On Barron and Strachey's Cartesian Product Function: Possibly the world's first functional pearl. I R. Hinze & N. Ramsey (red.), Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007 (s. 41-46). Association for Computing Machinery. https://doi.org/10.1145/1291151.1291161

Bækgaard, L., Jørgensen, J. B. & Lassen, K. B. (2007). On Industrial Use of Requirements Engineering Techniques. I M. Reichert, S. Strecker & K. Turowski (red.), Enterprise Modelling and Information Systems Architectures: Concepts and Applications, Proceedings of the 2nd International Workshop on Enterprise Modelling and Information Systems Architectures (EMISA'07), St. Goar, Germany, October 8-9, 2007 (Bind P-119, s. 177-190). <Forlag uden navn>.

Danvy, O. & Millikin, K. (2007). On One-Pass CPS Transformations. Journal of Functional Programming, 17(6), 793-812.

Støvring, K. (2007). On Reasoning Equationally: Lambda Calculi and Programs with Computional Effects. Datalogisk Institut.

Davies, J., Simancik, F., Lyngsø, R., Mailund, T. & Hein, J. (2007). On Recombination-Induced Multiple and Simultaneous Coalescent Events. Genetics, 177, 2151-2160.

Danvy, O. & Millikin, K. (2007). On the Equivalence between Small-Step and Big-Step Abstract Machines: A Simple Application of Lightweight Fusion. BRICS Report Series, (RS-07-16), i-11.

Arge, L., Samoladas, V. & Yi, K. (2007). Optimal External-Memory Planar Point Enclosure. Algorithmica, 54(3), 337-352. https://doi.org/10.1007/s00453-007-9126-2

Jørgensen, A. G., Brodal, G. S., Moruz, G., Mølhave, T., Fagerberg, R., Finocchi, I., Grandoni, F. & Italiano, G. F. (2007). Optimal Resilient Dynamic Dictionaries. I L. Arge, M. Hoffmann & E. Welzl (red.), Algorithms – ESA 2007: 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007. Proceedings (s. 347-358). Springer. https://doi.org/10.1007/978-3-540-75520-3_32

Bender, M. A., Brodal, G. S., Fagerberg, R., Jacob, R. & Vicari, E. (2007). Optimal Sparse Matrix Dense Vector Multiplication in the I/O-Model. I SPAA 2007: Proceedings of the 19th Annual ACM Symposium on Parallel Algorithms and Architectures (s. 61-70) https://doi.org/10.1145/1248377.1248391

Bødker, S. (2007). Orientering 11. oktober 2007 kl. 17:10 på P1.

Nielsen, M. B., Nilsson, O., Soderstrom, A. & Museth, K. (2007). Out-Of-Core and Compressed Level Set Methods. A C M Transactions on Graphics, 26(4).

Andersen, P. (2007). PalCom Deliverable 47 (2.14.4). Dissemination. PalCom Open Source. http://www.ist-palcom.org/publications/deliverables/Deliverable-47-[2.14.4]-dissemination.pdf

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

Hedin, G., Magnusson, B., Fors, D. S., Robertz, S., Gjerlufsen, T. & Andersen, P. (2007). PalCom Deliverable 49 (2.6.3). Support for End-User Composition in PalCom. http://www.ist-palcom.org/publications/deliverables/Deliverable-49-[2.6.3]-end-user-composition.pdf

Büscher, M., Christensen, M., Kyng, M., Kramp, G., Kristensen, M., Mogensen, P. H., Olsen, J. W., Frølund, J., Revsbæk, M., Ørbæk, P., Mahler-Andersen, J. S., Brodersen, A. T., Linde, P., Marti, P., Greenwood, D. & al, E. (2007). PalCom Deliverable 50 (2.7.3). WP7-12 Prototypes final versions. http://www.ist-palcom.org/publications/deliverables/Deliverable-50-[2.7.3]-prototypes-final.pdf

Andreoni, G., Bagnoli, F., Büscher, M., Christensen, M., Corry, A. V., Ehn, P., Enquist, H., Frølund, J., Gjerlufsen, T., Ghizzioli, R., Greenwood, D., Grönwall, E., Hansen-Miller, D., Kramp, G., Kristensen, M., Kyng, M., Linde, P., Marti, P., Mogensen, P. H. ... Olsen, J. W. (2007). PalCom Deliverable 51 (2.13.3). Fieldwork: Documentation of Work Analysis, Participatory Design and Evaluation of Prototypes.

Brodersen, A. T., Christensen, M., Gammelmark, H., Gjerlufsen, T., Kristensen, M., Kramp, G., Kyng, M., Mahler-Andersen, J. S., Olsen, J. W., Mogensen, P. H., Frølund, J., Revsbæk, M. & Ørbæk, P. (2007). PalCom Deliverable 52 (2.7.3) Dissemination - Product version 2. http://www.ist-palcom.org/publications/deliverables/Deliverable-52-[2.14.6]-dissemination.pdf

Andersen, P., Fors, D., Forsström, T., Gjerlufsen, T., Ghizzioli, R., Greenwood, D., Hedin, G., Ingstrup, M., Magnusson, B., Nymand, E., Olsen, J. W., Robertz, S., Schmid, R., Spring, J. & Tollmar, K. (2007). PalCom Deliverable 54 (2.2.3.). Open Architecture. http://www.ist-palcom.org/publications/deliverables/Deliverable-54-[2.2.3]-open-architecture.pdf

Andersen, P. & Larsen, S. B. (2007). PalCom Developer's Companion: A new perspective on Ambient Computing. http://svn.ist-palcom.org/svn/palcom/trunk/doc/tex/companion.pdf

Brønsted, J., Grönvall, E. & Fors, D. (2007). Palpability Support Demonstrated. I Embedded and Ubiquitous Computing (Bind LNCS 4808, s. 294-308). Springer.

Brønsted, J. R., Grönvall, E. & Fors, D. (2007). Palpability Support Demonstrated. I T.-W. Kuo, E. Sha, M. Guo, L. T. Yang & Z. Shao (red.), Embedded and Ubiquitous Computing: International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007. Proceedings (s. 294-308). Springer. https://doi.org/10.1007/978-3-540-77092-3_26

Klose, K., Ostermann, K. & Leuschel, M. (2007). Partial evaluation of pointcuts. I Practical Aspects of Declarative Languages: Lecture Notes in Computer Science (Bind 4354/2007, s. 320-334). Springer.

Clemensen, J., Larsen, S. B., Kyng, M. & Kirkevold, M. (2007). Participatory Design in Health Sciences: Using Cooperative Experimental Methods in Developing Health Services and Computer Technology. Qualitative Health Research, 17(1), 122-130. https://doi.org/10.1177/1049732306293664

Dindler, C., Krogh, P. G., Beck, S., Stenfeldt, L., Nielsen, K. R. & Grønbæk, K. (2007). Peephole Experiences - Field Experiments with Mixed Reality Hydroscopes in a Marine Center: Article No. 20. I N. Kothary (red.), Proceedings of the 2007 conference on Designing for User eXperiences (s. 20. artikel). Association for Computing Machinery. https://doi.org/10.1145/1389908.1389934

Christensen, H. B. & Bardram, J. E. (2007). Pervasive Computing Support for Hospitals: An Overview of the Activity-Based Computing Project. Pervasive Computing, 6(1), 44-51. https://doi.org/10.1109/MPRV.2007.19

Kramp, G., Kristensen, M. & Pedersen, J. F. (2007). Physical and Digital Design of the BlueBio Biomonitoring System Prototype, to be used in Emergency Medical Response. I Proceedings on 1st International Conference on Pervasive Computing Technologies for Healthcare 2006 IEEE.

Gjerlufsen, T. & Olsen, J. W. (2007). Physicality and Digitality: Parallelisms at a Material Level. I D. Ramduny-Ellis, A. Dix, J. Hare & S. Gill (red.), Proceedings of the Second International Workshop on Physicality: Physicality 2007 (s. 93-99). UWIC Press.

Ungar, D. & Ernst, E. (2007). Point/Counterpoint. I E E E Software, 24(5), 72-75. https://doi.org/10.1109/MS.2007.142

Brønsted, J. (2007). Positionsbestemmelse. (2 udg.) Komialt - Vidennetværk for Pervasive Communication.

Gilpin, A., Sandholm, T. & Sørensen, T. B. (2007). Potential-aware Automated Abstraction of Sequential Games, and Holistic Equilibrium Analysis of Texas Hold'em Poker. I Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence AAAI Press.

Danvy, O., O'Hearn, P. & Wadler, P. (2007). Preface. Theoretical Computer Science, 375(1-3), 1-2. https://doi.org/10.1016/j.tcs.2006.12.024

Fuchs, G., Schulz, H.-J. & Schumann, H. (2007). Presenting Technical Drawings on Mobile Handhelds. I M. Khosrow-Pour (red.), Managing Worldwide Operations and Communications with Information Technology: Proceedings of the Information Resources Management Association Conference IRMA 2007 (s. 231-235). Idea Group Publishing. http://www.irma-international.org/proceeding-paper/presenting-technical-drawings-mobile-handhelds/33061/

Ernst, E. (2007). Primitive Associations. I D. Clarke, S. Drossopoulou, J. Noble & T. Wrigstad (red.), Proceedings of the International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming (IWACO), in conjunction with ECOOP 2007 Stockholm University. http://www.cs.purdue.edu/homes/wrigstad/iwaco/p1-ernst.pdf

Toft, T. (2007). Primitives and Applications for Multi-party Computation. Department of Computer Science, Aarhus University.

Jørgensen, A. G., Moruz, G. & Mølhave, T. (2007). Priority Queues Resilient to Memory Faults. I Proc: 10th Workshop on Algorithms and Data Structures (Bind 4619, s. 127-138). Springer.

Arge, L., Cachin, C., Jurdzinski, T. & Tarlecki, A. (red.) (2007). Proceedings of 34th International Colloquium on Automata, Language and Programming. ICALP'07. Springer.

Zhang, W., Kunz, T. & Hansen, K. M. (2007). Product Line Enabled Intelligent Mobile Middleware. I IEEE International Conference on Engineering of Complex Computer Systems (s. 148-160). IEEE Computer Society Press. https://doi.org/10.1109/ICECCS.2007.38

Schougaard, K. R. (2007). Programming with Location: From Conceptualization to Language Design. Department of Computer Science, Aarhus University.

Viser resultater 4001 til 4050 ud af 6061

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series