Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

Krink, T., Filipic, B., Fogel, G. B. & Thomsen, R. (2004). Noisy Optimization Problems - A Particular Challenge for Differential Evolution? In Ikke angivet (pp. 332-339). IEEE Press.

Nielsen, M. & Valencia, F. D. (2004). Notes on Timed Concurrent Constraint Programming. In J. Desel, W. Reisig & G. Rozenberg (Eds.), Lectures on Concurrency and Petri Nets: Advances in Petri Nets (pp. 137-159). Springer. https://doi.org/10.1007/978-3-540-27755-2_20

Bjerrum, E. & Fangel, A. B. (2004). Ny Kontorindretning - et videndelingværktøj - eller bare smart? Børsen Ledelseshåndbøger, (5). http://www.nwow.alexandra.dk/publikationer/KNO.07.041.pdf

Mailund, T. & Westergaard, M. (2004). Obtaining Memory-Efficient Reachability Graph. In K. Jensen & A. Podelski (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings (pp. 177-191). Springer.

Mailund, T. & Westergaard, M. (2004). Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method. In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004) (pp. 177-191)

Danvy, O. (2004). On Evaluation Contexts, Continuations, and the Rest of the Computation. In Ikke angivet (CSR-04-1 of Technical Reports ed., pp. 13-23). School of Computer Science, University of Birmingham.

Arge, L., Brodal, G. S. & Toma, L. (2004). On External-Memory MST, SSP and Multi-Way Planar Graph Separation. Journal of Algorithms, 53(2), 186-206.

Frandsen, G. S. & Shparlinski, I. E. (2004). On Reducing a System of Equations to a Single Equation. In 2004 International Symposium on Symbolic and Algebraic Computation (pp. 163-166). Association for Computing Machinery. https://doi.org/10.1145/1005285.1005310

Brodal, G. S., Fagerberg, R. & Moruz, G. (2004). On the Adaptiveness of Quicksort. BRICS Report Series, (RS-04-27).

Kristensen, L. M. & Nielsen, K.-D. (2004). On the Application of Zone Flooding in a Traffic Warning System. Daimi Report Series (DAIMI PB), (PB-573).

Nielsen, M., Krukow, K., Karhumäki, J. (Ed.), Maurer, H. A. (Ed.), Paun, G. (Ed.) & Rozenberg, G. (Ed.) (2004). On the Formal Modeling of Trust in Reputation-Based Systems. In Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday (pp. 192-204). Springer. https://doi.org/10.1007/978-3-540-27812-2_18

Damgård, I. B., Pedersen, T. B. & Salvail, L. (2004). On the Key-Uncertainty of Quantum Ciphers and the Computational Security of One-way Quantum Transmission. In C. Cachin & J. Camenisch (Eds.), Advances in Cryptology - EUROCRYPT 2004: International Conference on the Theory and Applications of Cryptographic Techniques, Interlaken, Switzerland, May 2-6, 2004. Proceedings (pp. 91-108). Springer. https://doi.org/10.1007/978-3-540-24676-3_6

Bardram, J. & Christensen, H. B. (2004). Open Issues in Activity-Based and Task-Level Computing. In Proceedings of First International Workshop on Computer Support for Human Tasks and Activities (PB-2004-60 of Cent. for Pervasive Comp. Tech. Rep ed., pp. 56-61). Aarhus University.

Sørensen, T. S., Körperich, H., Greil, G. F., Eichhorn, J., Barth, P., Meyer, H., Pedersen, E. M. & Beerbaum, P. (2004). Operator-independent isotropic three-dimensional magnetic resonance imaging for morphology in congenital heart disease: a validation study. Circulation, 110(2), 163-9. https://doi.org/10.1161/01.CIR.0000134282.35183.AD

Arge, L., Samoladas, V. & Yi, K. (2004). Optimal External-Memory Planar Point Enclosure. In S. Albers & T. Radzik (Eds.), Algorithms - ESA 2004: 12th Annual European Symposium, Bergen, Norway, September 14-17, 2004. Proceedings (pp. 40-52). Springer.

Bardram, J., Buschmann, F., Christensen, H. B., Greenwood, D., Hansen, K. M. & Spring, J. H. (2004). PalCom Open Architecture Overview. The Alexandra Institut. PalCom Working Note No. #24

Bertelsen, O. W. (2004). Panel Session: Activity Theory and User Centered Design of IT Systems - the case of the ActAD approach. Session 20; 15:30 - 17:30. 04.09.2004. In Program and Abstracts: Third Nordic Conference on Cultural and Activity Research. 3-5 September 2004. København (Vol. Session 20, pp. 30-30 + 118-120). Danmarks Pædagogiske Universitetsforlag.

Mosegaard, J. (2004). Parameter Optimisation for the Behaviour of Elastic Models over Time. In J. D. Westwood (Ed.), Medicine Meets Virtual Reality (Vol. Technology and informatics 98, pp. 256-258). IOS Press.

Varacca, D., Völzer, H., Winskel, G., Gardner, P. (Ed.) & Yoshida, N. (Ed.) (2004). Probabilistic Event Structures and Domains. In Ikke angivet (3170 i Lecture Notes in Computer Science ed., pp. 481-496). Springer.

Bertelsen, O. W., Korpela, M. & Mursu, A. (Eds.) (2004). Proceedings of the First International Workshop on Activity Theory Based Practical Methods for IT-Design. Department of Computer Science, Aarhus University.

Arge, L., Italiano, G. F. & Sedgewick, R. (Eds.) (2004). Proceedings of the Sixth Workshop on Algorithm Engineering and Experiments and the First Workshop on Analytic Algorithmics and Combinatorics. Society for Industrial and Applied Mathematics.

Cattani, G. L. & Winskel, G. (2004). Profunctors, Open Maps and Bisimulation. BRICS Report Series, (RS-04-22).

Lindholm, M. (2004). Programming for non-computer science students. University of Aalborg.

Bennedsen, J. & Caspersen, M. E. (2004). Programming in Context: A Model-First Approach to CS1. In Proceedings of the 35th SIGCSE technical symposium on Computer science education (pp. 477-481). Association for Computing Machinery. https://doi.org/10.1145/971300.971461

Christensen, O. F., Hobolth, A. & Jensen, J. L. (2004). Pseudo-likelihood analysis of context-dependent codon substitution models. (pp. A-59).

Mailund, T. & Pedersen, C. N. S. (2004). QDist - Quartet Distance between Evolutionary Trees. Bioinformatics, 20(10), 1636-1637.

Mailund & Pedersen, C. N. S. (2004). QDist—Quartet Distance Between Evolutionary Trees. Bioinformatics, 20(10), 1636-1637.

Mailund, T. & Pedersen, C. N. S. (2004). QuickJoin - Fast Neighbour-Joining Tree Reconstruction. Bioinformatics, 20(17), 3261-3262.

Mailund & Pedersen, C. N. S. (2004). QuickJoin—Fast Neighbour-Joining Tree Reconstruction. Bioinformatics, 20(17), 3261-3262.

Besenbacher, S., Mailund, T., Westh-Nielsen, L. & Pedersen, C. S. (2004). RBT -- A tool for building refined Buneman trees. Bioinformatics, doi:10.1093/bti195, in press.

Besenbacher, S., Mailund, T., Westh-Nielsen, L. & Pedersen, C. N. S. (2004). RBT - A Tool for Building Refined Buneman Trees. Bioinformatics, 21(8), 1711-1712.

Bardram, J. E. & Christensen, H. B. (2004). Real-time collaboration in activity-based architectures. In Fourth Working IEEE/IFIP Conference on Software Architecture, 2004. WICSA 2004. Proceedings. (pp. 325-328). IEEE Computer Society Press. https://doi.org/10.1109/WICSA.2004.1310719

Danvy, O. & Nielsen, L. R. (2004). Refocusing in Reduction Semantics. BRICS Report Series, (RS-04-26).

Jensen, M. & Søgaard, M. (2004). Refocusing the Contextual Turn: The Forgotten Construction of Meaning at the Interface. In Ikke angivet (pp. 185-188). Association for Computing Machinery.

Petersen, M. G. (2004). Remarkable Computing - the Challenge of Designing for the Home. In CHI '04 extended abstracts on Human factors in computing systems (pp. 1445-1449). Association for Computing Machinery. https://doi.org/10.1145/985921.986086

Lee, J. (2004). Reverse Code Generation for Java Program Model Checking. Paper presented at 6th school on MOdeling and VErifying parallel Processes (MOVEP '04), Bruxelles, Belgium.

Damgaard, C. K., Andersen, E. S., Knudsen, B., Gorodkin, J. & Kjems, J. (2004). RNA interactions in the 5' region of the HIV-1 genome. Journal of Molecular Biology, 336(2), 369-79. https://doi.org/10.1016/j.jmb.2003.12.010

Andersen, E. S., Contera, S. A., Knudsen, B., Damgaard, C. K., Besenbacher, F. & Kjems, J. (2004). Role of the trans-activation response element in dimerization of HIV-1 RNA. Journal of Biological Chemistry, 279(21), 22243-22249. https://doi.org/10.1074/jbc.M314326200

Møller-Nielsen, P. & Gejl Kristensen, J. (2004). Room #1. (Strandgade 10, 1. sal): Virtual reality and Visual Art. Paper presented at Den Gyldne, Charlottenborg Udstillingsbygning, Charlottenborg, København, Denmark.

Damgård, I. B. & Cramer, R. (2004). Secret-Key Zero-Knowlegde and Non-interactive Verifiable Exponentiation. In M. Naor (Ed.), Theory of Cryptography: First Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004. Proceedings (pp. 223-237). Springer. https://doi.org/10.1007/978-3-540-24638-1_13

Hannila, M.-L., Jensen, E. B. V., Hobolth, A. & Nyengaard, J. R. (2004). Shape modelling of spatial particles from planar central sections - a case study. Journal of Microscopy, 215(2), 183-190. https://doi.org/10.1111/j.0022-2720.2004.01364.x

Grønbæk, K. & Petersen, M. G. (2004). Shaping the Ambience of Homes with Domestic Hypermedia. In P. Markopoulos, B. Eggen, E. Aarts & J. L. Crowley (Eds.), Ambient Intelligence: Second European Symposium, EUSAI 2004, Eindhoven, The Netherlands, November 8-11, 2004. Proceedings (pp. 218-229). Springer. https://doi.org/10.1007/978-3-540-30473-9_21

Ernst, E. (2004). Simple, eh?. Paper presented at Software-engineering Properties of Languages for Aspect Technologies (SPLAT'04), Lancaster, United Kingdom.

Arge, L. A. & Toma, L. (2004). Simplified External Memory Algorithms for Planar DAGs. In T. Hagerup & J. Katajainen (Eds.), Algorithm Theory - SWAT 2004: 9th Scandinavian Workshop on Algorithm Theory, Humlebaek, Denmark, July 8-10, 2004. Proceedings (pp. 493-503). Springer. https://doi.org/10.1007/978-3-540-27810-8_42

Arge, L. & Toma, L. (2004). Simplified External Memory Algorithms for Planar DAGS. In Proceedings of the 9th Scandinavian Workshop on Algorithm Theory, Humlebaek, Denmark, July 8-10, 2004. (3111 i Lecture Notes in Computer Science ed., Vol. 3111/2004, pp. 493-503). Springer.

Hansen, T. R. (2004). Socio-Technical Experiments - A New Approach on the Design Process. Electronic Colloquium on Computational Complexity, (CfPC 2004-PP-57).

Zhang, W., Jarzabek, S., Zhang, H., Loughran, N. & Rashid, A. (2004). Software evolution with XVCL. In H. Yang (Ed.), Software Evolution with UML and XML (Vol. Chapter VI, pp. 152-189). Idea Group Publishing.

Hansen, K. A. & Miltersen, P. B. (2004). Some Meet-in-the-middle Circuit Lower Bounds. In J. Fiala, V. Koubek & J. Kratochvil (Eds.), Mathematical Foundations of Computer Science 2004: 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. Proceedings (pp. 334-345). Springer. https://doi.org/10.1007/978-3-540-28629-5_24

Bardram, J. E. (2004). Special issue on Pervasive Healthcare. (8(3) of IEEE Trans. on Inf. Tech. in Biomedicine ed.) IEEE Press.

Kristensen, L. M. & Jensen, K. (2004). Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. In H. Ehrig, W. Damm, J. Desel, M. Grosse-Rhode, W. Reif, E. Schneider & E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation. Final Report (Vol. 3147, pp. 248-269). Springer.

Displaying results 4601 to 4650 out of 5916

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University