Publikationer

Søg publikationer fra Institut for Datalogi

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

Schaffner, C., Crépeau, C., Savvides, G. & Wullschleger, J. (2006). Information-Theoretic Conditions for Two-Party Secure Function Evaluation. I S. Vaudenay (red.), Advances in Cryptology - EUROCRYPT 2006: 5th Annual International Conference on the Theory and Applications of Cryptographic Techniques (s. 538-554) https://doi.org/10.1007/11761679_32

Blunck, H. & Vahrenhold, J. (2006). In-Place Algorithms for Computing (Layers of) Maxima. I L. Arge & R. Freidvalds (red.), Algorithm Theory – SWAT 2006: 10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006. Proceedings (s. 363-374). Springer. https://doi.org/10.1007/11785293_34

Blunck, H. & Vahrenhold, J. (2006). In-Place Algorithms for Computing (Layers of) Maxima. I Abstracts. Twenty-second European Workshop on Computational Geometry (s. 181-184)

Blunck, H. & Vahrenhold, J. (2006). In-Place Randomized Slope Selection. I T. Calamoneri, I. Finocchi & G. F. Italiano (red.), Algorithms and Complexity: 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006. Proceedings (s. 30-41). Springer. https://doi.org/10.1007/11758471_6

Blunck, H. & Vahrenhold, J. (2006). In-Place Randomized Slope Selection. I Abstracts. Twenty-second European Workshop on Computational Geometry (s. 177-180)

Eichberg, M., Mezini, M., Kloppenburg, S., Ostermann, K. & Rank, B. (2006). Integrating and scheduling an open set of static analyses. I S. Honiden, S. Uchitel & S. Easterbrook (red.), Automated Software Engineering, 2006. ASE'06. 21st IEEE/AMC International Conference on: Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE) (Bind DOI:10.1109/ASE.2006.43, s. 113-122). IEEE.

Agarwal, P. K., Arge, L. A. & Yi, K. (2006). I/O-Efficient Batched Union-Find and Its Applications to Terrain Analysis. I Proceedings of the twenty-second annual symposium on Computational geometry (s. 167-176). Association for Computing Machinery. https://doi.org/10.1145/1137856.1137884

Arge, L., Danner, A., Haverkort, H. & Zeh, N. (2006). I/O-Efficient Hierarchical Watershed Decomposition of Grid Terrain Models. I Proceedings of International Symposium on Spatial Data Handling

Dittrich, Y. (red.), Strand, D. L. (red.), Nørbjerg, J. (red.), Bertelsen, O. W. (red.) & Bleek, W.-G. (2006). IRIS 29 Paradigms Politics Paradoxes: Proceedings of 29th Information Systems Research Seminar in Scandinavia, Elsinore, Denmark, August 12-15, 2006 CD ROM. AIS.

Grønbæk, K. (2006, sep. 5). It og læring i bevægelse. EMU - Danmarks Læringsportal.

Støttrup, N., Kristiansen, S. B., Løfgren, B., Hansen, B., Kimose, H.-H., Bøtker, H. E. & Nielsen, T. T. (2006). L-glutamate and glutamine improve haemodynamic function and restore myocardial glycogen content during postischaemic reperfusion: A radioactive tracer study in the rat isolated heart. Clin Exp Pharmacol Physiol., 33(11), 1099-103.

Christensen, B. G. (2006). LightPeers - A Framework Supporting Nomadic Learning in Mixed Environments with Mobile Ad Hoc Networking. Abstract fra The 3rd MiNEMA Workshop on Middleware for Mobile Environments, Leuven, Belgien.

Damgård, I. B. & Thorbek, R. (2006). Linear Integer Secret Sharing and Distributed Exponentiation. I M. Yung, Y. Dodis, A. Kiayias & T. Malkin (red.), Public Key Cryptography - PKC 2006: 9th International Conference on Theory and Practice in Public-Key Cryptography, New York, NY, USA, April 24-26, 2006. Proceedings (s. 75-90). Springer. https://doi.org/10.1007/11745853_6

Hansen, K. A. (2006). Lower Bounds for Circuits with Few Modular Gates using Exponential Sums. Electronic Colloquium on Computational Complexity, 13(79). http://eccc.hpi-web.de/eccc-reports/2006/TR06-079/index.html

Kristensen, M. & Kyng, M. (2006). Media Spaces, Places and Palpable Technologies. I Ikke angivet Association for Computing Machinery.

Iversen, O. S. & Hansen, F. A. (2006). Med it på lommen – mobilteknologi til nomadisk læring. http://design.emu.dk/artikler/0619-mobiltek.html

Hansen, F. A. & Iversen, O. S. (2006, maj). Med IT på lommen – mobilteknologi til nomadisk læring. EMU - Danmarks Læringsportal.

Damm, C. H., Hansen, K. M., Thomsen, M. & Tyrsted, M. (2006). Method for gesture based modeling. (Patentnummer 7096454).

Brønsted, J. (2006). Middleware til Pervasive Communication. (1 udg.) Komialt - Vidennetværk for Pervasive Communication.

Clemensen, J., Larsen, S. B. & Ejskjær, N. (2006). Mobil Diabetes Sårpleje i Århus Amt. Behandlerbladet, (22), 18-22.

Brynskov, M. & Ludvigsen, M. (2006). Mock Games: A New Genre of Pervasive Play. I Proceedings of the 6th ACM Conference on Designing Interactive Systems (s. 169-178). Association for Computing Machinery.

Tjell, S. (2006). Model-Based Analysis of a Windmill Communication System. I From Model-Driven Design to Resource Management for Distributed Embedded Systems (Bind 225/2006, s. 245-255). Springer.

Kristensen, L. M., Mechlenborg, P., Zhang, L., Mitchell, B. & Gallasch, G. (2006). Model based Development of a Course of Action Scheduling Tool. I Proc. of Seventh Workshop and Tutorial on Practical Use of Coloured Petri Netds and the CPN Tools (Bind 579, s. 1-16). Department of Computer Science, University of Aarhus.

Tjell, S. (2006). Model-Based Testing of a Reactive System with Coloured Petri Nets. I Proceedings of GI Jahrestagung (2) (Bind 94, s. 274-281). Gesellschaft für Informatik e.V..

Blunck, H., Hinrichs, K., Sondern, J. & Vahrenhold, J. (2006). Modeling and Engineering Algorithms for Mobile Data. I A. Riedl, W. Kainz & G. A. Elmes (red.), Progress in Spatial Data Handling: 12th International Symposium on Spatial Data Handling (s. 61-77). Springer. https://doi.org/10.1007/3-540-35589-8_5

Blunck, H. (2006). Modelle und Algorithmen für mobile Datenobjekte und Umgebungen.

Hansen, T. R., Bardram, J. & Søgaard, M. (2006). Moving out of the Laboratory: Deploying Pervasive Technologies in a Hospital. I E E E Pervasive Computing, 5(3), 24-31.

Khaled, E. & Katriel, I. (2006). Multiconsistency and Robustness with Global Constraints. Constraints, 11(4), 335-352.

Nielsen, J. & Grønbæk, K. (2006). MultiLightTracker: Vision based simultaneous multi object tracking on semi-transparent surfaces. I Proceedings of the Conference on Computer Vision Theory and Applications Institute for Systems and Technologies of Information, Control and Communication.

Damgård, I. B., Nicolosi, A. & Fazio, N. (2006). Non-interactive Zero-Knowledge from Homomorphic Encryption. I S. Halevi & T. Rabin (red.), Theory of Cryptography: Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006. Proceedings (s. 41-59). Springer. https://doi.org/10.1007/11681878_3

Damgård, I. B., Fehr, S., Salvail, L. & Schaffner, C. (2006). Oblivious Transfer and Linear Functions. I C. Dwork (red.), Advances in Cryptology - CRYPTO 2006: 26th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2006. Proceedings (s. 427-444). Springer. https://doi.org/10.1007/11818175_26

Palen, L. A. & Ballegaard, S. A. (2006). Of Pill Boxes and Piano Benches: "Home-made" Methods for Managing Medication. Afhandling præsenteret på CSCW '06, Banff, Alberta, Canada.

Katriel, I. & Bodlaender, H. L. (2006). Online Topological Ordering. A C M Transactions on Algorithms, 2(3), 364-379.

Hansen, K. A. (2006). On Modular Counting with Polynomials. I 21st Annual IEEE Conference on Computational Complexity (CCC'06) (s. 202-212). IEEE Computer Society Press. https://doi.org/10.1109/CCC.2006.29

Danvy, O. & Rohde, H. K. (2006). On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation. Information Processing Letters, 99(4), 158-162.

Miltersen, P. B., Kjeldgaard-Pedersen, J., Burgisser, P. & Allender, E. (2006). On the Complexity of Numerical Analysis. I Proceedings of the 21st Annual IEEE Conference on Computational Complexity (s. 331-339). IEEE Computer Society Press.

Fitzi, M., Wolf, S. & Wullschleger, J. (2006). On the Power of Imperfect Broadcast. I Ikke angivet (s. 504-505). IEEE Press.

Biernacki, D. P., Danvy, O. & Shan, C. (2006). On the Static and Dynamic Extents of Delimited Continuations. Science of Computer Programming, 60(3), 274-297.

Fitzi, M. & Hirt, M. (2006). Optimally Efficient Multi-valued (Byzantine) Agreement. I Proceedings of the 25th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (s. 163-168). Society for Industrial and Applied Mathematics.

Thomsen, J. (2006). OSGi-based Gateway Replication. I N. Guimarães, P. Isaías & A. Goikoetxea (red.), Proceedings of the IADIS Applied Computing Conference 2006 (s. 123-129). International Association for Development, IADIS.

Aracic, I., Gasiunas, V., Mezini, M. & Ostermann, K. (2006). Overview of CaesarJ . Lecture Notes in Computer Science, 3880, 135.

Ager, M. S. (2006). Partial Evaluation of String Matchers & Constructions of Abstract Machines.

Kristensen, M., Kyng, M. & Palen, L. A. (2006). Participatory Design in Emergency Medical Service: Designing for Future Practice. I Proceedings of the ACM Conference on Human Factors in Computing Systems CHI 2006 (s. 161-170). Association for Computing Machinery. https://doi.org/10.1145/1124772.1124798

Wells, L. M. (2006). Performance Analysis using CPN Tools. I Valuetools '06: Proceedings of the 1st International Conference On Performance Evaluation Methodolgies And Tools Association for Computing Machinery.

Larsen, S. B. (2006). Pervasive Home Care - Technological support for treatment of diabetic foot ulcers at home.

Hansen, T. R. (2006). Pervasive Interaction - Designing interactive pervasive systems for complex work environments.

Hansen, T. R. (2006). Pervasive Mashups. I Proceedings of the Sixth Danish Human-Computer Interaction Research Symposium.: DHRS 2006 (DAIMI PB-580 udg., s. 25-26). Department of Computer Science, University of Aarhus.

Kjærgaard, M. B. (2006). "Pervasive" trends 2006. (Forskningsformidlende rapport udg.) Komialt - Vidennetværk for Pervasive Communication - Pixibog.

Schwartzbach, M. I. & Ball, T. (red.) (2006). PLDI 2006. Proceedings of the 2006 ACM SIGPLAN Conferenceon Programming Language Design and Implementation: June 10-16, 2006 Ottawa, Ontario, Canada. Association for Computing Machinery. http://portal.acm.org/citation.cfm?id=1133981&coll=Portal&dl=GUIDE&CFID=93833102&CFTOKEN=69088742

Schwartzbach, M. I. & Ball, T. (red.) (2006). PLDI '06: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation. Society for Industrial and Applied Mathematics.

Viser resultater 4251 til 4300 ud af 6089

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series