ITU

Lecture Notes in Computer Science

  1. 2017
  2. Published

    3rd International Workshop on Human Factors in Software Development Processes (HuFo): Measuring System Quality: Editorial

    Abrahao, S., Baldassarre, M. T., Caivano, D., Dittrich, Y., Lanzilotti, R. & Piccinno, A., 2017, In: Lecture Notes in Computer Science. 10611, p. 453-456 4 p.

    Research output: Journal Article or Conference Article in JournalEditorialResearch

  3. 2016
  4. Published

    AIF-ω: Set-Based Protocol Abstraction with Countable Families

    Mödersheim, S. A. & Bruni, A., 2 Apr 2016, In: Lecture Notes in Computer Science. 9635, p. 233-253 20 p., 12.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  5. 2015
  6. Published

    Moody Music Generator: Characterising Control Parameters Using Crowdsourcing.

    Scirea, M., Togelius, J. & Nelson, M., 2015, In: Lecture Notes in Computer Science. 9027, p. 200-211

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  7. Local Routing in Convex Subdivisions

    Bose, P., Durocher, S., Mondal, D., Peabody, M., Skala, M. & Wahid, M. A., 2015, In: Lecture Notes in Computer Science. 8939, p. 140 151 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  8. 2014
  9. Published

    Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems

    Wang, W. & Hildebrandt, T., 2014, In: Lecture Notes in Computer Science. 8379, p. 127-146 20 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  10. Published

    Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes

    Song, L., Zhang, L. & Godskesen, J. C., 2014, In: Lecture Notes in Computer Science. 8318, p. 98-117

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  11. Published

    The Automated Discovery of Hybrid Processes

    Slaats, T., Reijers, H. & Maggi, F. M., 2014, In: Lecture Notes in Computer Science. 8659, p. 392-399

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  12. Published

    Language-Independent Traceability with Lässig

    Pfeiffer, R-H., Reimann, J. & Wasowski, A., 2014, In: Lecture Notes in Computer Science. 8569, p. 148-163

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  13. Published

    Consistent subset sampling

    Kutzkov, K. & Pagh, R., 2014, In: Lecture Notes in Computer Science. 8503, p. 294-305

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  14. Published

    A Core Language for Separate Variability Modeling

    Iosif-Lazăr, A. F., Wasowski, A. & Schaefer, I., 2014, In: Lecture Notes in Computer Science. 8802, p. 257-272

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  15. Published

    A Practical Hardware-Assisted Approach to Customize Trusted Boot for Mobile Devices

    Gonzalez, J., Hölzl, M., Riedl, P., Bonnet, P. & Mayrhofer, R., 2014, In: Lecture Notes in Computer Science. 8783, p. 542-554 13 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  16. Published

    Sound Merging and Differencing for Class Diagrams

    Fahrenberg, U., Acher, M., Legay, A. & Wasowski, A., 2014, In: Lecture Notes in Computer Science. 8411, p. 63-78 15 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  17. Published

    Hierarchical Declarative Modelling with Refinement and Sub-processes

    Debois, S., Hildebrandt, T. & Slaats, T., 2014, In: Lecture Notes in Computer Science. 8659, p. 18--33 16 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  18. Published

    Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

    Debois, S., Hildebrandt, T., Slaats, T. & Yoshida, N., 2014, In: Lecture Notes in Computer Science. 8461, p. 1-16 16 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  19. Published

    Choreographies, Logically

    Carbone, M., Montesi, F. & Schürmann, C., 2014, In: Lecture Notes in Computer Science. 8704, p. 47-62 15 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  20. Published

    Progress as Compositional Lock-Freedom

    Carbone, M., Dardha, O. & Montesi, F., 2014, In: Lecture Notes in Computer Science. p. 49-64 15 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  21. Published

    Declarative Modeling–An Academic Dream or the Future for BPM?

    Reijers, H., Slaats, T. & Stahl, C., 2014, In: Lecture Notes in Computer Science. 8094, p. 307-322 16 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  22. Published

    Most Recent Match Queries in On-Line Suffix Trees

    Larsson, N. J., 2014, In: Lecture Notes in Computer Science. 8486, p. 252-261 10 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  23. Published

    The Complexity of Approximating a Trembling Hand Perfect Equilibrium of a Multi-player Game in Strategic Form

    Etessami, K., Hansen, K. A., Miltersen, P. B. & Sørensen, T. B., 2014, In: Lecture Notes in Computer Science. 8768, p. 231-243 12 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  24. Published

    Indexed Geometric Jumbled Pattern Matching

    Durocher, S., Fraser, R., Gagie, T., Mondal, D., Skala, M. & Thankachan, S., 2014, In: Lecture Notes in Computer Science. 8486, p. 110-119 10 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  25. Published

    Three Cases of Feature-Based Variability Modeling in Industry

    Berger, T., Nair, D., Rublack, R., Atlee, J. M., Czarnecki, K. & Wasowski, A., 2014, In: Lecture Notes in Computer Science. 8767, p. 302-319

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  26. 2013
  27. Published

    Computational Logistics: 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013, Proceedings

    Pacino, D., Voss, S. & Jensen, R. M., 2013, In: Lecture Notes in Computer Science. 8197, 269 p.

    Research output: Journal Article or Conference Article in JournalReviewResearchpeer-review

  28. Published

    A Node Flow Model for the Inflexible Visitation Liner Shipping Fleet Repositioning Problem with Cargo Flows

    Tierney, K. & Jensen, R. M., 2013, In: Lecture Notes in Computer Science. 8197, p. 18-34 17 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  29. Published

    Quantifying Information Leakage of Randomized Protocols

    Biondi, F., Wasowski, A., Legay, A. & Malacaria, P., 20 Jan 2013, In: Lecture Notes in Computer Science. 7737, p. 68-87 20 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  30. Published

    Maximizing Entropy over Markov Processes

    Biondi, F., Wasowski, A., Legay, A. & Nielsen, B. F., 2013, In: Lecture Notes in Computer Science. 7810, p. 128-140

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  31. 2012
  32. Published

    An Accurate Model for Seaworthy Container Vessel Stowage Planning with Ballast Tanks

    Pacino, D., Delgado-Ortegon, A., Jensen, R. & Bebbington, T., 2012, In: Lecture Notes in Computer Science. 7555, p. 17-32 16 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  33. Published

    Customizable Time-Oriented Visualizations

    Kuhail, M. A., Pantazos, K. & Lauesen, S., Jul 2012, In: Lecture Notes in Computer Science. 7432

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  34. Published

    Declarative Modelling and Safe Distribution of Healthcare Workflows

    Hildebrandt, T., Mukkamala, R. R. & Slaats, T., 2012, In: Lecture Notes in Computer Science. 7151, p. 39-56 18 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  35. Published

    Nested Dynamic Condition Response Graphs

    Hildebrandt, T., Mukkamala, R. R. & Slaats, T., 2012, In: Lecture Notes in Computer Science. 7141, p. 343-350 8 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  36. Published

    New Results on Timed Specifications

    Bourke, T., David, A., Larsen, K. G., Legay, A., Lime, D., Nyman, U. M. & Wasowski, A., 2012, In: Lecture Notes in Computer Science. 7137, p. 175 192 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  37. Published

    Tengi Interfaces for Tracing between Heterogeneous Components

    Pfeiffer, R-H. & Wasowski, A., 2012, In: Lecture Notes in Computer Science. 7680, p. 431-447 16 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  38. Published

    TexMo: A Multi-language Development Environment

    Pfeiffer, R-H. & Wasowski, A., 2012, In: Lecture Notes in Computer Science. 7349, p. 178-193

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  39. Published

    Verification of Snapshotable Trees using Access Permissions and Typestate

    Mehnert, H. & Aldrich, J., 2012, In: Lecture Notes in Computer Science. 7304, p. 187-201 15 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  40. Published

    Linear Logical Voting Protocols

    DeYoung, H. & Schürmann, C., 2012, In: Lecture Notes in Computer Science. 7187, p. 53-70

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  41. 2011
  42. Published

    Rating vs. Ranking: A comparative study on sef-reporting

    Yannakakis, G. N. & Hallam, J., 2011, In: Lecture Notes in Computer Science. 4974, p. 437-446

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  43. Published

    U-Note: Capture the Class and Access it Everywhere.

    Malacria, S., Pietrzak, T., Tabard, A. & Lecolinet, É., 2011, In: Lecture Notes in Computer Science. 4946, 1, p. 643-660 10 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  44. Published

    Towards Procedural Strategy Game Generation: Evolving Complementary Unit Types

    Mahlmann, T., Togelius, J. & Yannakakis, G., 2011, In: Lecture Notes in Computer Science. 6624, p. 93-102

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  45. Published

    Use cases versus task descriptions

    Lauesen, S. & Kuhail, M. A., 2011, In: Lecture Notes in Computer Science. D. Berry and X. Franch (Eds.): REFSQ 2011, p. 106 120 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  46. Published

    Invitation to algorithmic uses of inclusion–exclusion

    Husfeldt, T., 2011, In: Lecture Notes in Computer Science. II, p. 42-59 17 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  47. Published

    Vision Paper: Make a Difference! (Semantically)

    Fahrenberg, U., Legay, A. & Wasowski, A., 2011, In: Lecture Notes in Computer Science. 6981, p. 490-500 10 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  48. Published

    Really Simple Mash-Ups

    Dittrich, Y., Madsen, P. & Rasmussen, R., 2011, In: Lecture Notes in Computer Science. 6654, p. 227-232 6 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  49. Published

    Abstract Probabilistic Automata

    Delahaye, B., Katoen, J-P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wasowski, A., 2011, In: Lecture Notes in Computer Science. 6538, p. 324-339

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  50. Published

    Decision Problems for Interval Markov Chains

    Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., 2011, In: Lecture Notes in Computer Science. 6638, p. 274-285

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  51. Published

    Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways

    Christiansen, D. R., Carbone, M. & Hildebrandt, T., 2011, In: Lecture Notes in Computer Science. 6551, p. 146-160 15 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  52. Published

    Towards Adaptive Virtual Camera Control In Computer Games

    Burelli, P. & Yannakakis, G. N., 2011, In: Lecture Notes in Computer Science. 6815, p. 25-36

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  53. Published

    Infrastructuring When You Don’t: End-User Development and Organizational Infrastructure

    Bolmsten, J. & Dittrich, Y., 2011, In: Lecture Notes in Computer Science. 6654, p. 139-154 16 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  54. Published

    Verifying object-oriented programs with higher-order separation logic in Coq

    Bengtson, J., Jensen, J. B., Sieczkowski, F. & Birkedal, L., 2011, In: Lecture Notes in Computer Science. 6898, p. 22-38

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  55. Published

    Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled

    Bąk, K., Czarnecki, K. & Wasowski, A., 2011, In: Lecture Notes in Computer Science. 6563, p. 102-122 21 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  56. 2010
  57. Published

    Search-based Procedural Content Generation

    Togelius, J., Yannakakis, G. N., Stanley, K. O. & Browne, C., Apr 2010, In: Lecture Notes in Computer Science. 6024, p. 140-149

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  58. Published

    Linearly-used Continuations in the Enriched Effect Calculus

    Egger, J., Møgelberg, R. E. & Simpson, A., 20 Mar 2010, In: Lecture Notes in Computer Science. 6014, p. 18-32

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  59. Published

    Variability Management in Software Product Lines: An Investigation of Contemporary Industrial Challenges

    Chen, L. & Ali Babar, M., 2010, In: Lecture Notes in Computer Science. 6287/2010, p. 166-180

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  60. Published

    Fast Prefix Search in Little Space, with Applications

    Belazzougui, D., Boldi, P., Pagh, R. & Vigna, S., 2010, In: Lecture Notes in Computer Science. 6346/2010, p. 427-438

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  61. Published

    The Mini-Grid Framework: Application Programming Support for Ad-Hoc, Peer-to-Peer Volunteer Grids

    Bardram, J. E. & Venkataraman, N. N., 2010, In: Lecture Notes in Computer Science. 6104, p. 69-80

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  62. 2009
  63. Published

    Living Labs as a Methodological Approach to Universal Access in Senior Design

    Winthereik, J. C. T., Malmborg, L. & Andersen, T. B., 2009, In: Lecture Notes in Computer Science. p. 174 183 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  64. Published

    Lexicographic Path Induction

    Schürmann, C. & Sarnat, J., 2009, In: Lecture Notes in Computer Science. p. 279 293 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  65. Published

    From Paper Based Clinical Practice Guidelines to Declarative Workflow Management

    Lyng, K. M., Hildebrandt, T. & Mukkamala, R. R., 2009, In: Lecture Notes in Computer Science. p. 336–347

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  66. Published

    Location-Based Services and Privacy in Airports

    Hansen, J. P., Alapetite, A. P. B., Andersen, H. B., Malmborg, L. & Thommesen, J., 2009, In: Lecture Notes in Computer Science. p. 168-181 12 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  67. Published

    Measuring and Optimizing Behavioral Complexity for Evolutionary Reinforcement Learning

    Gomez, F., Togelius, J. & Schmidhuber, J., 2009, In: Lecture Notes in Computer Science. p. 765-774

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  68. Published

    Type Systems for Bigraphs

    Elsborg, E., Hildebrandt, T. & Sangiorgi, D., 2009, In: Lecture Notes in Computer Science. 5474, p. 126-140

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  69. Published

    Enriching an effect calculus with linear types

    Egger, J., Møgelberg, R. E. & Simpson, A., 2009, In: Lecture Notes in Computer Science. 5771, p. 240 254 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  70. Published

    Play-Personas: Behaviors and Belief systems in User-Centered Game Design

    Drachen, A. & Canossa, A., 2009, In: Lecture Notes in Computer Science. p. 510-523

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  71. Published

    Generating Optimal Stowage Plans for Container Vessel Bays

    Delgado-Ortegon, A., Jensen, R. M. & Schulte, C., 2009, In: Lecture Notes in Computer Science. p. 6-20

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  72. Published

    Mote-based Anomaly Detection using Echo State Networks

    Bonnet, P., Terzis, A. & Chang, M., 2009, In: Lecture Notes in Computer Science.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  73. Published

    Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types

    Birkedal, L., Støvring, K. & Thamsborg, J. J., 2009, In: Lecture Notes in Computer Science. p. 456-470 15 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  74. Published

    Evolving memory cell structures for sequence learning

    Bayer, J., Wierstra, D., Togelius, J. & Schmidhuber, J., 2009, In: Lecture Notes in Computer Science. p. 755-764

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  75. Published

    A Novel Approach for Creating Activity-Aware Applications in a Hospital Environment

    Bardram, J. E., 2009, In: Lecture Notes in Computer Science. p. 731-744 13 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  76. Published

    CLINICAL SURFACES -- Activity-Based Computing for Distributed Multi-Display Environments in Hospitals

    Bardram, J. E., Bunde-Pedersen, J., Doryab, A. & Sørensen, S., 2009, In: Lecture Notes in Computer Science. p. 704-717 13 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  77. Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations

    Kiniry, J. R. & Fairmichael, F., 2009, In: Lecture Notes in Computer Science. 5592

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  78. 2008
  79. Published

    Tales for the Many: Process and Authorial Control in Multi-player Role-Playing Games

    Tychsen, A., 2008, In: Lecture Notes in Computer Science. p. 309-320

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  80. Published

    Verbal Communication of Story Facilitators in Multi-player Role-Playing Games

    Tychsen, A., Brolund, T. & Hitchens, M., 2008, In: Lecture Notes in Computer Science. 5334, p. 242-249

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  81. Published

    Actors with Multi-Headed Message Receive Patterns

    Sulzmann, M., Lam, E. S. L. & Van Weert, P., 2008, In: Lecture Notes in Computer Science. p. 315-330

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  82. Published

    Efficient Reasoning for Nogoods in Constraint Solvers with BDDs

    Subbarayan, S., 2008, In: Lecture Notes in Computer Science.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  83. Published

    How I learned to love the Bomb: Defcon and the Ethics of Computer Games

    Sicart (Vila), M. A., 2008, In: Lecture Notes in Computer Science. p. 1-10

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  84. Published

    Newsgames: Theory and Design

    Sicart (Vila), M. A., 2008, In: Lecture Notes in Computer Science. p. 27-33

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  85. Published

    Technologies for Evolvable Software Products: The Conflict between Customizations and Evolution

    Sestoft, P. & Vaucouleur, S., 2008, In: Lecture Notes in Computer Science. p. 216-253

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  86. Published

    Celf – A Logical Framework for Deductive and Concurrent Systems (System Description)

    Schack-Nielsen, A. & Schürmann, C., 2008, In: Lecture Notes in Computer Science. p. 320-326

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  87. Published

    Constructing Efficient Dictionaries in Close to Sorting Time

    Ruzic, M., 2008, In: Lecture Notes in Computer Science. p. 84-95

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  88. Published

    Practical Programming with Higher-Order Encodings and Dependent Types

    Poswolsky, A. & Schürmann, C., 2008, In: Lecture Notes in Computer Science. p. 93-107

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  89. Published

    A Realizability Model for Impredicative Hoare Type Theory

    Petersen, R. L., Birkedal, L., Nanevski, A. & Morrisett, G., 2008, In: Lecture Notes in Computer Science. p. 337-352

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  90. Published

    A logic for parametric polymorphism with effects

    Møgelberg, R. E. & Simpson, A., 2008, In: Lecture Notes in Computer Science. 4941, p. 142-156

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  91. Published

    Zero-Overhead Composable Aspects for .NET

    Johansen, R., Sestoft, P. & Spangenberg, S., 2008, In: Lecture Notes in Computer Science. p. 185-215

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  92. Published

    Exploiting Structure and Conventions of Movie Scripts for Information Retrieval and Text Mining

    Jhala, A., 2008, In: Lecture Notes in Computer Science. p. 210-213 4 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  93. Published

    Model Construction with External Constraints: An interactive Journey from Semantics to Syntax

    Janota, M., Kuzina, V. & Wasowski, A., 2008, In: Lecture Notes in Computer Science. p. 431-445

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  94. Published

    Flow Analysis of Code Customizations

    Hessellund, A. & Sestoft, P., 2008, In: Lecture Notes in Computer Science. p. 285-308

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  95. Published

    Interfaces and Metainterfaces for Models and Metamodels

    Hessellund, A. & Wasowski, A., 2008, In: Lecture Notes in Computer Science. p. 401-415

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  96. Published

    Approximate Compilation of Constraints into Multivalued Decision Diagrams

    Hadzic, T., Hooker, J. N., O’Sullivan, B. & Tiedemann, P., 2008, In: Lecture Notes in Computer Science. p. 448-462

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  97. Published

    Propagating separable equalities in an MDD store

    Hadzic, T., Hooker, J. N. & Tiedemann, P., 2008, In: Lecture Notes in Computer Science. p. 318-322

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  98. Published

    Succinct Data Structures for Retrieval and Approximate Membership

    Dietzfelbinger, M. & Pagh, R., 2008, In: Lecture Notes in Computer Science. p. 385-396 12 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  99. Published

    Formalizing Higher-order Mobile Embedded Business Processes with Binding Bigraphs

    Bundgaard, M., Glenstrup, A. J., Hildebrandt, T., Højsgaard, E. & Niss, H., 2008, In: Lecture Notes in Computer Science. p. 83-99 17 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  100. Published

    Constructive Alignment for Teaching Model-Based Design for Concurrency: a case-study on implementing alignment in Computer Science

    Brabrand, C., 2008, In: Lecture Notes in Computer Science. p. 1-18

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  101. Published

    A Simple Model of Separation Logic for Higher-order Store

    Birkedal, L., Reus, B., Schwinghammer, J. & Yang, H., 2008, In: Lecture Notes in Computer Science. p. 348-360

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  102. Published

    On the Construction of Sorted Reactive Systems

    Birkedal, L., Debois, S. & Hildebrandt, T., 2008, In: Lecture Notes in Computer Science. 5201, p. 218-232 15 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  103. Published

    Complexity of Decision Problems for Mixed and Modal Specifications

    Antonik, A., Huth, M., Nyman, U. M., Larsen, K. G. & Wasowski, A., 2008, In: Lecture Notes in Computer Science. p. 112-126

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  104. Published

    Goal-Equivalent Secure Business Process Re-engineering

    Acosta, H. A. L., Massacci, F. & Zannone, N., 2008, In: Lecture Notes in Computer Science. p. 212-223

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  105. Published

    PresenceRemote:  Embracing Ambiguity in the Design of Social TV for Senior Citizens

    Sokoler, T. & Svensson, M. S., 5 Jul 2008, In: Lecture Notes in Computer Science. 5066, p. 158-162 5 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  106. 2006
  107. Published

    Interpreting polymorphic FPC into domain theoretic models of parametric polymorphism

    Møgelberg, R. E., 2006, In: Lecture Notes in Computer Science. 4052

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  108. Published

    An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework

    Schürmann, C. & Stehr, M-O., 2006, In: Lecture Notes in Computer Science. 4246

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  109. Exceptions in Java and Eiffel: Two Extremes in Exception Design and Application

    Kiniry, J. R., 2006, In: Lecture Notes in Computer Science. 4119, p. 288-300 13 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

ID: 79745