Publikationer

Søg publikationer fra Institut for Datalogi

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

Klokmose, C. N. (2007). From a Theoretical Understanding to Practical Design of Ubiquitous User Interfaces. Progress Report: Progress Report.

Mans, R. S., van der Aalst, W. M. P., Bakker, P. J. M., Moleman, A. J., Lassen, K. B. & Jørgensen, J. B. (2007). From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. I K. Jensen (red.), Proc. of The Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (s. 187-206)

Mans, R. S., van der Aalst, W. M. P., Molemann, A. J., Bakker, P. J. M., Lassen, K. B. & Jørgensen, J. B. (2007). From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. Daimi Report Series (DAIMI PB), PB-584, 187-206.

Krukow, K. K. & Nielsen, M. (2007). From Simulations to Theorems: A Position Paper on Research in the Field of Computational Trust. I T. Dimitrakos, F. Martinelli, P. Y. A. Ryan & S. Schneider (red.), Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers (s. 96-111). Springer. https://doi.org/10.1007/978-3-540-75227-1_7

Hobolth, A., Christensen, O. F., Mailund, T. & Schierup, M. H. (2007). Genomic relationships and speciation times of human, chimpanzee and gorilla inferred from a coalescent hidden Markov model. PLoS Genetics, 3(2). https://doi.org/10.1371/journal.pgen.0030007

Hobolth, A., Christensen, O. F., Mailund, T. & Schierup, M. H. (2007). Genomic Relationships and Speciation Times of Human, Chimpanzee and Gorilla inferred from a Coalescent Hidden Markov Model. Poster-session præsenteret på Beyond the HapMap, Boston, USA.

Jensen, H., Jensen, M. Ø. J., Ringgaard, S., Smerup, M. H., Sørensen, T. S., Kim, W. Y., Sloth, E., Wierup, P., Hasenkam, J. M. & Nielsen, S. L. (2007). Geometric Determinants of Chronic Functional Ischemic Mitral Regurgitation - Insights from 3D Cardiac Magnetic Resonance Imaging. Abstract fra 4th Biennial Meeting of The Society for Heart Valve Disease, New York, USA.

Brynskov, M. & Kramp, G. (2007). Habitats: A Simple Way to Bridge Artifacts, Professions, and Theories in Ubiquitous Design. I D. Ramduny-Ellis & D. Rachovides (red.), HCI… but not as we know it: Proceedings of the 21st BCS HCI Group Conference (Bind 2, s. 15-18). Lancaster University.

Brønsted, J. (2007). Handling membership dynamicity in service composition for ubiquitous computing. I Proceedings of the 5th MiNEMA Workshop: Middleware for Network Eccentric and Mobile Applications (s. 62-67)

Moruz, G. (2007). Hardware-Aware Algorithms and Data Structures.

Andersson, D. (2007). Hiroimono is NP-Complete. I FUN 2007 (Bind LNCS 4475, s. 30-39). Springer.

Purchase, H. C., Hoggan, E. & Goerg, C. (2007). How important is the "mental map"? - An empirical investigation of a dynamic graph layout algorithm. I M. Kaufmann & D. Wagner (red.), GRAPH DRAWING (s. 184-+). Springer Verlag.

Fitzi, M., Nielsen, J. B. & Wolf, S. (2007). How to Share a Key (Invited paper). Afhandling præsenteret på 45th Annual Allerton Conference on Communication, Control, and Computing, 2007, Urbana-Champaign, USA.

Westergaard, M. (2007). Hvorfor det er smart at have arbitrært mange hænder. Prosabladet, Artikel 6.

Grønbæk, K., Iversen, O. S., Nielsen, K. R., Kortbek, K. J. & Aagaard, L. (2007). iGameFloor - a Platform for Co-Located Collaborative Games. I Proceedings of the International Conference on Advances in Computer Entertainment Technology Society for Industrial and Applied Mathematics.

Filinski, A. & Støvring, K. (2007). Inductive Reasoning about Effectful Data Types. I Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007 (s. 97-110). Society for Industrial and Applied Mathematics.

Caspersen, M. E. & Bennedsen, J. (2007). Instructional Design of a Programming Course: A Learning Theoretic Approach. I Proceedings of the Third International Workshop on Computing Education Research (s. 111-122). Association for Computing Machinery. https://doi.org/10.1145/1288580.1288595

Bertelsen, O. W., Breinbjerg, M. & Pold, S. (2007). Instrumentness for Creativity - Mediation, Materiality & Metonymy. I Proceedings of 6th Creativity & Cognition Conference: Seeding Creativity: Tools, Media, and Environments.June 13-15, 2007, Washington, DC USA (s. 233-242). Association for Computing Machinery. https://doi.org/10.1145/1254960.1254992

Grønbæk, K., Iversen, O. S., Kortbek, K. J., Nielsen, K. R. & Aagaard, L. (2007). Interactive Floor Support for Kinesthetic Interaction in Children Learning Environments. I Human-Computer Interaction - INTERACT 2007 (s. 361-375). Springer. https://doi.org/10.1007/978-3-540-74800-7_32

Bødker, S. (2007). It is still a STAR. I T. Erickson & D. McDonald (red.), HCI Remixed. Reflections on Works That Have Influenced the HCI Community (s. 49-55). MIT Press.

Caspersen, M. E., Alphonce, C. & Decker, A. (2007). Killer "Killer Examples" for Design Patterns. SIGCSE Bulletin Inroads, 39(1), 228-232. https://doi.org/10.1145/1227504.1227390

Kortbek, K. J. (2007). Kroppen som interaktionsredskab. Institut for Informations- og medievidenskab Aarhus universitet.

Brynskov, M., Bouvin, N. O. & Christensen, B. G. (2007). Life is a Stage: An Architecture for Do-It-Yourself Interactive Pervasive Play and Learning. I E. C. Prakash & T. L. Kunii (red.), Cyber Games 2007: International Conference on Games Research and Development (s. 171-177). Manchester Metropolitan University.

Hansen, K. M. (2007). Limbo: An ontology-enabled web service compiler for ambient intelligent, embedded systems. Softwareprogram

Lange, M. (2007). Linear Time Logics around PSL: Complexity, Expressiveness, and a little bit of Succinctness. I Proc. of the 18th Int. Conf. on Concurrency Theory (Bind LNCS 4703, s. 90-104). Springer.

Westergaard, M. (2007). Looking Good, Behaving Well - Behavioural Verification and Visualisation of Formal Models of Concurrent Systems.

Büscher, M., Kristensen, M. & Mogensen, P. H. (2007). Making the Future Palpable: Notes from a Major Incident Future Laboratory. I B. Van de Walle, P. Burghardt & K. Nieuwenhuis (red.), Proceedings of ISCRAM 2007 (s. 71-81). VUB Press.

Jensen, A. N., Lauritzen, N. & Roune, B. H. (2007). Maximal lattice free bodies, test sets and the Frobenius problem. arxiv.org. http://arxiv.org/abs/0705.4439

Caspersen, M. E., Bennedsen, J. & Larsen, K. D. (2007). Mental Models and Programming Aptitude. SIGCSE Bulletin 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.

Viser resultater 4001 til 4050 ud af 6089

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series