Institut for Datalogi

Publikationer

Publikationer pr. år 1981 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022

• 2158 Konferenceartikel i proceeding
• 1035 Tidsskriftartikel
• 289 Bidrag til bog/antologi
• 276 Bog
• 915 Mere
  • 248 Konferenceartikel i tidsskrift
  • 124 Rapport
  • 117 Ph.d.-afhandling
  • 65 Encyclopædiartikel
  • 62 Antologi
  • 53 Leder
  • 42 Konferenceabstrakt i proceeding
  • 41 Paper uden forlag/tidsskrift
  • 40 Working paper
  • 24 Forord/Indledning/efterskrift
  • 24 Poster
  • 13 Konferenceabstrakt i tidsskrift
  • 12 Andet bidrag
  • 11 Review (oversigtsartikel)
  • 10 Konferenceabstrakt til konference
  • 5 Kompendium/lecture notes
  • 5 Bidrag til rapport
  • 5 Preprint
  • 3 Doktordisputats
  • 3 Kommentar/debat
  • 2 Udgivelser på nettet - Net-publikation
  • 2 Patent
  • 1 Bidrag til avis - Kronik
  • 1 Bidrag til avis - Avisartikel
  • 1 Letter
  • 1 Lyd og/eller billed produktion (digital)

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2009

  Priced Timed Automata:  Theory and Tools

  Larsen, K. G., 2009, I: Dagstuhl Seminar Proceedings. s. 417-425 9 s.

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

  • Automata theory 100%
  • Resource allocation 55%

• Real Time Synchronization for Creativity in Distributed Innovation Teams: Proceedings of the Workshop on Methods & Tools for Computer Supported Collaborative Creativity Process: Linking Creativity & Informal Learning at ECTEL 2009, Nice, France, September 30, 2009

  Peitersen, D. K., Dolog, P., Pedersen, E. S., Pedersen, K. H. & Lin, Y., 2009, I: CEUR Workshop Proceedings. 536, 6 s.

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

  • Synchronization 100%

• Robust Adaptable Video Copy Detection

  Assent, I. & Kremer, H., 2009, I: Lecture Notes in Computer Science. 5644, s. 380-385

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

  • Query Processing 100%
  • Indexing 72%
  • Query processing 64%
  • Filtering 57%
  • Model 57%
  8 Citationer (Scopus)

• Robust LMI-Based Control of Wind Turbines with Parametric Uncertainties

  Sloth, C., Esbensen, T., Niss, M. O. K., Stoustrup, J. & Odgaard, P. F., 2009, I: I E E E Conference on Control Applications. Proceedings. 2009, s. 776-781 6 s.

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

  • Wind turbines 100%
  • Uncertainty 72%
  • Controllers 62%
  • Actuators 14%
  • Trajectories 13%
  37 Citationer (Scopus)

• Spanning Tree Based Attribute Clustering

  Zeng, Y. & Jorge, C. H., 2009, I: Lecture Notes in Computer Science. 5476, s. 681-688

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

  • Spanning tree 100%
  • Attribute 94%
  • Clustering 93%
  • Clustering Algorithm 86%
  • Stars 67%

• Speeding Up Exact Solutions of Interactive Dynamic Influence Diagrams Using Action Equivalence

  Zeng, Y. & Prashant, D., 2009, I: IJCAI Proceedings - International Joint Conference on Artificial Intelligence. 21, s. 1996-2001

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

  • Decision making 100%
  15 Citationer (Scopus)

• TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets

  Byg, J., Jørgensen, K. Y. & Srba, J., 2009, I: Lecture Notes in Computer Science. 5799, s. 84-89 6 s.

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

  • Simulator 100%
  • Petri Nets 87%
  • Petri nets 76%
  • Feature Modeling 70%
  • Arc of a curve 65%
  18 Citationer (Scopus)

• Teaching Concurrency: Theory in Practice

  Aceto, L., Ingolfsdottir, A., Larsen, K. G. & Srba, J., 2009, I: Lecture Notes in Computer Science. 5846, s. 158-175 18 s.

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

  • Concurrency 100%
  • Teaching 85%
  • Students 61%
  • Universities 50%
  • Philosophy 48%
  4 Citationer (Scopus)

• The Role of Social Networking Services in eParticipation

  Sæbø, Ø., Rose, J. & Nyvang, T., 2009, I: Lecture Notes in Computer Science. s. 46-55

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

  • Social Networking 100%
  • Network theory (graphs) 62%
  • Internet 34%
  • Engagement 33%
  • Social Networks 17%
  51 Citationer (Scopus)

• Undecidability of Coverability and Boundedness for Timed-Arc Petri Nets with Invariatnts

  Jacobsen, M., Jacobsen, L. & Møller, M. H., dec. 2009, I: OpenAccess Series in Informatics. 12, 8 s.

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

  Åben adgang

  Fil

  • Petri nets 100%
  • Computability and decidability 27%
  211 Downloads (Pure)

• Verifying real-time systems against scenario-based requirements

  Larsen, K. G., Li, S., Nielsen, B. & Pusinskas, S., 2009, I: Lecture Notes in Computer Science. 5850, s. 676-691 15 s.

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

  Åben adgang

  Fil

  • Real-time 100%
  • Chart 88%
  • Real time systems 87%
  • Scenarios 80%
  • Requirements 71%
  4 Citationer (Scopus)

  549 Downloads (Pure)

• WCET Analysis of ARM Processors using Real-Time Model Checking

  Toft, M., Olesen, M. C., Dalsgaard, A., Larsen, K. G. & Hansen, R. R., 2009, I: RWTH Aachen, Dept. of Computer Science. 14, s. 4-6

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

  Åben adgang

  Fil
  410 Downloads (Pure)
• 2008

  A Complete Axiomatic System for Process-based Spatial Logic

  Mardare, R. I. & Policriti, A., 2008, I: Lecture Notes in Computer Science. s. 491 502 s.

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

  • Computer science 100%
  • Computer Science 94%
  • Logic 78%

• Acting under interference by other agents with unknown goals

  Sønderberg-Madsen, N. & Jensen, F. V., 2008, I: Frontiers in Artificial Intelligence and Applications. 173, s. 157-164 8 s.

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

  • Experiments 100%

• A distributed storage system with dCache

  Behrmann, G., Fuhrmann, P., Grønager, M. & Kleist, J., 2008, I: Journal of Physics - Conference Series. 10 s.

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

  • wide area networks 100%
  • bandwidth 82%
  • recommendations 63%
  • maintenance 62%
  • resources 58%
  16 Citationer (Scopus)

• A Distributed Tier-1

  Fischer, L., Grønager, M., Kleist, J. & Smirnova, O., 2008, I: Journal of Physics - Conference Series. 11 s.

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

  • resources 100%
  2 Citationer (Scopus)

• A Flexible Query Framework for Music Data and Playlist Manipulation

  Ruxanda, M. M. & Jensen, C. S., 2008, I: Database and Expert Systems Applications. 19, s. 693-697 5 s.

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

• A game-theoretic approach to real-time system testing

  David, A., Larsen, K. G., Li, S. & Nielsen, B., 2008, I: Design, Automation and Test in Europe. s. 443-448 6 s.

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

  Åben adgang

  Fil

  • Real time systems 100%
  • Testing 51%
  • Acoustic waves 19%
  11 Citationer (Scopus)

  442 Downloads (Pure)

• 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 100%
  • resources 82%
  • data management 64%
  • grids 45%
  • modules 11%

• 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 100%
  • resources 40%
  • Denmark 15%
  • Finland 14%
  • Norway 14%
  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 100%
  • Costs 78%
  10 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 100%
  • Acoustic waves 37%
  • Game 34%
  • Conformance Testing 27%
  • Black-box Testing 26%
  6 Citationer (Scopus)

  325 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 100%
  • Websites 70%
  • Software design 42%
  • Education 34%
  • Students 30%

• 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 100%
  • Websites 70%
  • Software design 42%
  • Education 34%
  • Students 30%

• 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 100%
  • Distributed computer systems 88%
  • Information management 77%
  • Costs 63%
  • Decision making 60%
  36 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
  52 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
  67 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 100%
  • Query processing 77%
  • Middleware 34%
  • Communication 17%
  • Costs 13%
  294 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 100%
  180 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
  3 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

  • calculus 100%
  • congressional reports 81%
  • engineering 64%
  • physics 55%

• 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 100%
  • Biological systems 88%

• 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 100%

• 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 100%
  • State Space 90%
  • Pattern Search 54%
  • Frustration 53%
  • Global Search 50%
  6 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

  155 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
  24 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 100%
  • Computer science 68%
  • Computer Science 65%
  • Coalgebra 37%
  • Algebra 35%
  7 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 100%
  • Distributed Systems 84%
  • Formal methods 84%
  • Computer science 73%
  • Computer Science 69%
  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
  60 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 100%
  • Timed Automata 89%
  • Scheduling 46%
  • Real-time 38%
  • Reachability 36%
  19 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 100%
  • Membrane 67%
  • Biology 67%
  • Computer Science 64%
  • Membranes 57%
• 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 100%
  • Bioinformatics 94%
  • Biological systems 88%
  • Biological Systems 87%
  • Model Checking 86%
  13 Citationer (Scopus)
• 2003

  Deciding framed bisimilarity

  Huttel, H., feb. 2003, I: Electronic Notes in Theoretical Computer Science. 68, 6, s. 1-18 18 s.

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

  Åben adgang

  • Calculus 100%
  • Fragment 82%
  • Process Calculi 59%
  • Cryptographic Protocols 58%
  • π-calculus 56%
  11 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
  32 Citationer (Scopus)