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. 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

  7. 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

  8. 2014
  9. 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

  10. 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

  11. 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

  12. 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

  13. 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

  14. 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

  15. 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

  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

    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

  18. 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

  19. 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

  20. 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

  21. 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

  22. 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

  23. 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

  24. 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

  25. 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

  26. 2013
  27. 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

  28. 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

  29. 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

  30. 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

Previous 1 2 3 4 Next

ID: 79745