Publikationer

Søg publikationer fra Institut for Datalogi

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

Houston, B., Nielsen, M. B., Nilsson, O., Museth, K. & Batty, C. (2005). Gigantic Deformable Surfaces. I Ikke angivet Society for Industrial and Applied Mathematics.

Hansen, K. M., Menta, G. & Pregarz, B. (2005). Handling Adaptability, Privacy, and Accuracy in the Design of a Location-Aware Mobile Interactive Gateway. I Proceedings of the 4th Workshop on HCI in Mobile Guides Association for Computing Machinery.

Kohlenbach, U. (2005). Higher Order Reverse Mathematics. I S. G. Simpson (red.), Reverse Mathematics 2001 (s. 281-295). A K Peters.

Damgård, I. B., Fitzi, M., Nielsen, J. B. & Toft, T. (2005). How to Split a Shared Secret into Shared Bits in Constant-Round. Cryptology ePrint Archive. http://eprint.iacr.org/2005/140.pdf

Bardram, J. E. & Bunde-Pedersen, J. (2005). Iaso - an activity-based computing platform for wearable computing. I Proceedings of the Fifth International Workshop on Smart Appliances and Wearable Computing (IWSAWC) (ICDCSW'05) (s. 484-490). IEEE Computer Society Press.

Christensen, H. B. (2005). Implications of perspective in teaching objects first and object design. I 10th annual SIGCSE conference on Innovation and technology in computer science education, ITiCSE '05 Proceedings (Caparica, Portugal, June 27-29, 2005) (s. 94-98). Association for Computing Machinery. https://doi.org/10.1145/1067445.1067474

Zhang, W. & Li, J. (2005). Industrial Experience with the Architecture based Reengineering. I Q. Zhu (red.), 11^th Joint International Computer Conference (JICC2005) (e-proceedings udg., s. 732-738). World Scientific. https://doi.org/10.1142/9789812701534_0164

Hansen, T. R. (2005). Information Technology for Assisted Living at Home. Datalogisk Institut.

Mailund , Pedersen, C. N. S., Bardino, J., Vinter, B. & Karlsen, H. H. (2005). Initial experiences with GeneRecon on MiG. I Proceedings of The 2005 International Conference on Grid Computing and Applications (GCA)

Petersen, M. G. (2005). Interactive Spaces: Towards a Better Everyday? Interactions, July+August, 44-45. https://doi.org/10.1145/1070960.1070985

Nielsen, M. & Rovan, B. (red.) (2005). Introduction - Combined TCSA/TCSB issue - Mathematical Foundations of Computer Science 2000. Theoretical Computer Science, 340(3), 457-458. https://doi.org/10.1016/j.tcs.2005.03.010

Agarwal, P. K., Arge, L. & Yi, K. (2005). I/O-Efficient Construction of Constrained Delaunay Triangulations. I G. S. Brodal & L. Stefano (red.), Algorithms - ESA 2005: 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005. Proceedings (s. 355-366). Springer. https://doi.org/10.1007/11561071_33

Kristensen, M., Kyng, M. & Nielsen, E. T. (2005). IT-support for healthcare professionals acting in major incidents. I Proceedings of the Scandinavian conference on Health Informatics. SHI '05 (s. 37-41). Aalborg University.

Hansen, K. M., Damm, C. H., Thomsen, M. & Tyrsted, M. (2005). Knight. Softwareprogram

van der Aalst, W. M. P., Jørgensen, J. B. & Lassen, K. B. (2005). Let us Go All the Way: From Requirements via Coloured Workflow Nets to a BPEL Implementation of a New Bank System. I Ikke angivet Springer LNCS.

Hansen, K. A. & Chattopadhyay, A. (2005). Lower Bounds for Circuits with Few Modular and Symmetric Gates. I L. Caires, G. F. Italiano, L. Monteiro, C. Palamidessi & M. Yung (red.), Automata, Languages and Programming: 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings (s. 994-1005). Springer. https://doi.org/10.1007/11523468_80

Miltersen, P. B. (2005). Lower bounds on the size of rank and selection indexes. I Proceedings of the Symposium on Discrete Algorithms (s. 11-12). Society for Industrial and Applied Mathematics.

Katriel, I. & van Hentenryck, P. (2005). Maintaining Longest Paths in Cyclic Graphs. I CP 2005 (s. 358-372). Springer LNCS.

Rohde, H. K. (2005). Measuring the Propagation of Information in Partial Evaluation. BRICS Report Series, (RS-05-26).

Bødker, S. & Petersen, A. B. (2005). Mediating the co-production of complex media products. Poster-session præsenteret på International ACM SIGGROUP Conference on Supporting Group Work, Sanibel Island, USA.

Bødker, S. & Bechmann, A. (2005). Mediating the co-production of complex media products. Poster-session præsenteret på International ACM SIGGROUP conference on Supporting group work. GROUP 2005, Sanibel Island, Florida, USA. https://doi.org/10.1145/1099203.1099267

Ernst, E. (2005). Method Mixins. I NODe 2005 - GSEM 2005 (s. 145-161). Stollfuß Medien.

Fitzi, M. (2005). Minimal complete primitives for unconditional multi-party computation. Journal of Cryptology, 18(1), 37-61.

Dindler, C., Eriksson, E., Iversen, O. S., Ludvigsen, M. & Lykke-Olesen, A. (2005). Mission from Mars: a method for exploring user requirements for children in a narrative space. I Proceeding of the 2005 conference on Interaction design and children (s. 40-47). Association for Computing Machinery.

Dindler, C., Ludvigsen, M., Lykke-Olesen, A., Eriksson, E. & Iversen, O. S. (2005). Mission from Mars - a method for exploring user requirements for children in a narrative space. I A. Eisenberg & M. Eisenberg (red.), Proceedings of the 2005 conference on Interaction design and children (s. 40-47). Association for Computing Machinery.

Hansen, T. R., Eriksson, E. & Lykke-Olesen, A. (2005). Mixed Interaction Space - Expanding the Interaction Space with Mobile Devices. I People and Computers XIX - The Bigger Picture Springer.

Hansen, T. R., Eriksson, E. & Lykke-Olesen, A. (2005). Mixed Interaction Spaces - a new interaction technique for mobile devices (demonstration). Poster-session præsenteret på Ubiquitous Computing Conference 2005, Tokyo, Japan.

Hansen, T. R., Eriksson, E. & Lykke-Olesen, A. (2005). Mixed Interaction Spaces - Designing for Camera Based Interaction with Mobile Devices. I CHI 05 (s. 1933 - 1936). Society for Industrial and Applied Mathematics.

Zhang, W. (2005). Mobile Role-Playing-Game Engine with J2ME. Computer Engineering and Applications, 41(33), 115-117.

Bardram, J. E. & Bossen, C. (2005). Mobility Work: The Spatial Dimension of Collaboration at a Hospital. Computer Supported Cooperative Work (CSCW): The Journal of Collaborative Computing and Work Practices, 14(2), 131-160.

Kristensen, L. M., Westergaard, M. & Nørgaard, P. C. (2005). Model-based Prototyping of an Interoperability Protocol for Mobile Ad-hoc Networks. I IFM 2005 (s. 266-286). Springer LNCS.

Barros, J. P. & Jørgensen, J. B. (2005). Model Transformations for an Elevator Controller: Coloured Petri Nets in Object-oriented Analysis and Design. I MOMPES Åbo Akademi.

Mosses, P. D. (2005). Modular Structural Operational Semantics. BRICS Report Series, (RS-05-7).

Kortbek, K. J. (2005). MORF. Abstract fra Collaborative Artifacts - Interactive Furniture Workshop, Château-d'Oex, Schweiz. http://www.daimi.au.dk/~kortbek/web/Publications/caif-booklet.pdf

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

Madsen, B. A., Byskov, J. M. & Skjernaa, B. (2005). New Algorithms for Exact Satisfiability. Theoretical Computer Science, 332(1-3), 515-541.

Mogensen, P. H. (2005). Next Generation Collaborative Working Environments. Collaboration@Work, The 2005 Report on new working environments and practices, 106-108.

Bødker, S. (2005). Nordic-Scottish HCI, panel for HCI2005, Edinburgh. I The 19th British HCI Group Annual Conference

Støvring, K. (2005). Normalization and Simple Types: PhD progress report. Department of Computer Science.

Bertelsen, O. W. & Zander, P.-O. (2005). Obstacles to Design in Volunteer Based Organisations. I Proceedings of the 5th Danish Human-Computer Interaction Research Symposium (s. 93-98). Copenhagen Business School.

Kjærgaard, M. B. (2005). On Abstraction Levels For Software Architecture Viewpoints. I W. C. Chu, N. J. Juzgado & W. E. Wong (red.), Procedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE 2005) (s. 424-429). Knowledge Systems Institute.

Pagter, J. I. (2005). On Ajtai’s Lower Bound Technique for R-way Branching Programs and the Hamming Distance Problem. Chicago Journal of Theoretical Computer Science.

Miltersen, P. B., Radhakrishnan, J. & Wegener, I. (2005). On converting CNF to DNF. Theoretical Computer Science, 347, 325-335.

Morozov, K. (2005). On Cryptographic Primitives Based on Noisy Channel. Aarhus Universitet.

Brodal, G. S., Fagerberg, R. & Moruz, G. (2005). On the Adaptiveness of Quicksort. I ALENEX05 (s. 130-140). Society for Industrial and Applied Mathematics.

Allender, E., Bürgisser, P., Kjeldgaard-Pedersen, J. & Miltersen, P. B. (2005). On the Complexity of Numerical Analysis. Electronic Colloquium on Computational Complexity, (TR05-037), 1-12.

Biernacki, D., Danvy, O. & Shan, K. (2005). On the Dynamic Extent of Delimited Continuations. Information Processing Letters, 96(1), 7-17. https://doi.org/10.1016/j.ipl.2005.04.003

Byskov, J. M., Madsen, B. A. & Skjernaa, B. (2005). On the Number of Maximal Bipartite Subgraphs of a Graph. Journal of Graph Theory, 48(2), 127-132.

Rohde, H. K. (2005). On the Recursive Enumerability of Fixed-Point Combinators. BRICS Report Series, (RS-05-34).

Biernacki, D. & Danvy, O. (2005). On the Static and Dynamic Extent of Delimited Continuations. BRICS Report Series, (RS-05-36).

Viser resultater 4451 til 4500 ud af 6061

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series