Institut for Datalogi

Publikationer

Publikationer pr. år

1981 2020

• 1970 Konferenceartikel i proceeding
• 927 Tidsskriftartikel
• 278 Bidrag til bog/antologi
• 276 Bog
• 831 Mere
  • 229 Konferenceartikel i tidsskrift
  • 123 Rapport
  • 102 Ph.d.-afhandling
  • 65 Encyclopædiartikel
  • 56 Antologi
  • 48 Leder
  • 41 Paper uden forlag/tidsskrift
  • 39 Working paper
  • 36 Konferenceabstrakt i proceeding
  • 22 Poster
  • 20 Forord/Indledning/efterskrift
  • 13 Konferenceabstrakt i tidsskrift
  • 8 Konferenceabstrakt til konference
  • 5 Bidrag til rapport
  • 5 Andet bidrag
  • 4 Kommentar/debat
  • 4 Review (oversigtsartikel)
  • 3 Doktordisputats
  • 2 Udgivelser på nettet - Net-publikation
  • 2 Patent
  • 1 Kompendium/lecture notes
  • 1 Bidrag til avis - Kronik
  • 1 Bidrag til avis - Avisartikel
  • 1 Letter

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2008

  ALICE-ARC integration

  Anderlik, C., Gregersen, A. R., Kleist, J., Peters, A. & Siaz, P., 2008, I : Journal of Physics - Conference Series. 6 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  • connectors
  • resources
  • data management
  • grids
  • modules

• ATLAS DDM integration in ARC

  Behrmann, G., Cameron, D., Ellert, M., Kleist, J. & Taga, A., 2008, I : Journal of Physics - Conference Series. 8 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  • grids
  • resources
  • Denmark
  • Finland
  • Norway
  2 Citationer (Scopus)

• Common Influence Join: A Natural Join Operation for Spatial Pointsets

  Yiu, M. L., Mamoulis, N. & Karras, P., 2008, I : Proceedings / International Conference on Data Engeenering. s. 100-109 10 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  • Marketing
  • Costs
  9 Citationer (Scopus)

• Cooperative Testing of Uncontrollable Timed Systems

  David, A., Larsen, K. G., Li, S. & Nielsen, B., dec. 2008, I : Electronic Notes in Theoretical Computer Science. 220, 1, 14 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  Åben adgang

  Fil

  • Testing
  • Acoustic waves
  • Game
  • Conformance Testing
  • Black-box Testing
  5 Citationer (Scopus)

  305 Downloads (Pure)

• Direct integration: Training software developers and designers to conduct usability evaluations

  Skov, M. B. & Stage, J., 1 dec. 2008, I : CEUR Workshop Proceedings. 407

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  • Software engineering
  • Websites
  • Software design
  • Education
  • Students

• Direct Integration: Training Software Developers to Conduct Usability Evaluations

  Skov, M. B. & Stage, J., 2008, I : CEUR Workshop Proceedings. s. 74-81

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  • Software engineering
  • Websites
  • Software design
  • Education
  • Students

• iSky: Efficient and Progressive Skyline Computing in a Structured P2P Network

  Chen, L., Cui, B., Lu, H., Xu, L. & Xu, Q., 2008, I : Distributed Computing Systems. s. 160-167 8 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  • Adaptive filtering
  • Distributed computer systems
  • Information management
  • Costs
  • Decision making
  34 Citationer (Scopus)

• Optimal infinite scheduling for multi-priced timed automata

  Bouyer, P., Brinksma, E. & Larsen, K. G., 2008, I : Formal Methods in System Design. 1, 3 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
  49 Citationer (Scopus)

• Parallel Distributed Processing of Constrained Skyline Queries by Filtering

  Cui, B., Lu, H., Xu, Q., Chen, L., Dai, Y. & Zhou, Y., 2008, I : Proceedings / International Conference on Data Engeenering. s. 546-555 10 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
  63 Citationer (Scopus)

• SpaceTwist: Managing the Trade-Offs Among Location Privacy, Query Performance, and Query Accuracy in Mobile Services

  Yiu, M. L., Jensen, C. S., Xuegang, H. & Lu, H., 2008, I : Proceedings / International Conference on Data Engeenering. s. 366-375 10 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  • Servers
  • Query processing
  • Middleware
  • Communication
  • Costs
  260 Citationer (Scopus)

• The Power Context of Method-in-Action: A Case Study

  Munk-Madsen, A., 2008, I : CEUR Workshop Proceedings. s. 14-24 11 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  Åben adgang

  Fil

  • Information systems
  170 Downloads (Pure)

• Towards efficient main-memory use for optimum tree index update

  Biveinis, L. & Saltenis, S., 2008, I : Proceedings of the VLDB Endowment. 1, s. 1617-1622

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
  2 Citationer (Scopus)
• 2007

  A Calculus for Modelling, Simulating and Analysing Compartmentalized Biological Systems

  Mardare, R. I. & Ihekwaba, A., 2007, I : AIP Conference Proceedings. s. 42 46 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  • calculi
  • computational methodology
  • physics
  • calculus
  • congressional reports

• BetaWB - A language for modular representation of biological systems

  Ihekwaba, A., Larcher, R., Mardare, R. I. & Priami, C., 2007, I : Proccedings of International Conference on Systems Biology ICSB 2007.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  • Systems Biology
  • Biological systems

• Colonies of synchronizing agents: An abstract model of intracellular and intercellular processes

  Cavaliere, M., Mardare, R. I. & Sedwards, S., 2007, I : Computer and Automation Research Institute of the Hungarian Academy of Sciences. s. 35 51 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  • Automation

• Complexity in Simplicity: Flexible Agent-based State Space Exploration

  Rasmussen, J. I. & Larsen, K. G., 2007, I : Lecture Notes in Computer Science. s. 231-245

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  • Simplicity
  • State Space
  • Pattern Search
  • Frustration
  • Global Search
  5 Citationer (Scopus)

• Efficient Processing of Top-k Dominating Queries on Multi-Dimensional Data

  Yiu, M. L. & Mamoulis, N., 2007, I : Proceedings of the VLDB Endowment. s. 483-494

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  141 Citationer (Scopus)

• Improved Model Predictive Control of Discrete-Time Hybrid Systems with Mixed Inputs

  Gholami, M., Salahshoor, K., Tabatabaeipour, S. M., Shaker, H. R. & Alizadeh, T., 2007, I : Proceedings of the Annual Conference of the IEEE Industrial Electronics Society. s. 744-749

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
  1 Citationer (Scopus)

• Model-Checking One-Clock Priced Timed Automata

  Bouyer, P., Larsen, K. G. & Markey, N., 2007, I : Lecture Notes in Computer Science. s. 108-122 14 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
  20 Citationer (Scopus)

• Observing Distributed Computation. A Dynamic-Epistemic Approach

  Mardare, R. I., 2007, I : Lecture Notes in Computer Science. s. 379 393 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  • Distributed Computation
  • Computer science
  • Computer Science
  • Coalgebra
  • Algebra
  6 Citationer (Scopus)
• 2006

  Data Always and Everywhere -- Management of Mobile, Ubiquitous, Pervasive, and Sensor Data: Dagstuhl Seminar Proceedings 05421

  Alonso, G., Jensen, C. S. & Mitschang, B., 2006, I : Dagstuhl Seminar Proceedings. 37 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

• Decidable extensions of Hennessy-Milner Logic

  Mardare, R. I. & Priami, C., 2006, I : Lecture Notes in Computer Science. 4229, s. 196 211 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  • Formal Methods
  • Distributed Systems
  • Formal methods
  • Computer science
  • Computer Science
  9 Citationer (Scopus)

• Model checking of time Petri nets using the state class timed automaton

  Lime, D. & Roux, O. H., 2006, I : Discrete Event Dynamic Systems. 16, 2, s. 179-205 27 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
  57 Citationer (Scopus)

• On using priced timed automata to achieve optimal scheduling

  Rasmussen, J. I., Larsen, K. G. & Subramani, K., 2006, I : Formal Methods in System Design. 29, 1, s. 97-114 18 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  • Optimal Scheduling
  • Timed Automata
  • Scheduling
  • Real-time
  • Reachability
  18 Citationer (Scopus)

• Playing with partial knowledge in membrane systems: A logical approach

  Cavaliere, M. & Mardare, R. I., 2006, I : Lecture Notes in Computer Science. s. 279 297 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  • Membrane Computing
  • Biology
  • Membrane
  • Computer Science
  • Membranes
• 2005

  HUGIN - The Tool for Bayesian Networks and Influence Diagrams

  Jensen, F., Kjærulff, U. B., Lang, M. & Madsen, A. L., 2005, I : International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems. s. 212-221

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning

• Model checking biological systems described using ambient calculus

  Mardare, R. I., Priami, C., Qualia, P. & Vagin, O., 2005, I : Lecture Notes in Bioinformatics. 3082, s. 85 103 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  • Systems Biology
  • Bioinformatics
  • Biological systems
  • Biological Systems
  • Model Checking
  13 Citationer (Scopus)
• 2001

  Using structuration theory in action research: A intranet development project

  Rose, J. & Lewis, P., 2001, I : IFIP International Federation for Information Processing. 66, s. 273-295 23 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning
• 2000

  Model-Checking Real-Time Control Programs: Verifying LEGO (R) MINDSTORMS (TM) systems using UPPAAL

  Iversen, T. K., Kristoffersen, K. J., Larsen, K. G., Laursen, M., Madsen, R. G., Mortensen, S. K., Pettersson, P. & Thomasen, C. B., 2000, I : Euromicro Conference on Real-Time Systems. Proceedings. s. 147-155 9 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning
  30 Citationer (Scopus)