M-Connection Service: A Multicast Service for Distributed Multimedia Applications

Rezende, J., Fdida, S., Mauthe, A. & Hutchison, D., 1996, Teleservices and Multimedia Communications Second International COST 237 Workshop Copenhagen, Denmark, November 20–22 1995 Proceedings. Hutchison, D., Christiansen , H., Coulson, G. & Danthine, A. (eds.). Berlin: Springer Verlag, p. 40-60 21 p. (Lecture Notes in Computer Science; vol. 1052).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

GREEN: a configurable and re-configurable publish-subscribe middleware for pervasive computing

Sivaharan, T., Blair, G. & Coulson, G., 2005, On the Move to Meaningful Internet System 2005: COOPIS, DOA, AND ODBASE. Meersman, R. & Tari, Z. (eds.). Berlin: Springer-Verlag, Vol. 1. p. 732-749 18 p. (Lecture Notes in Computer Science; vol. 3760).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Comics and Diagrams: An Introductory Overview

Tosti, A., 21/09/2021, Diagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings. Basu, A., Stapleton, G., Linker, S., Legg, C. & Manalo, E. (eds.). Cham: Springer, p. 287-294 8 p. (Lecture Notes in Computer Science ; vol. 12909).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A computational study of how and why reddit.com was an effective platform in the campaign against SOPA

Mills, R. & Fish, A., 2015, Social Computing and Social Media: 7th International Conference, SCSM 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings. Meiselwitz, G. (ed.). Cham: Springer, p. 229-241 13 p. (Lecture Notes in Computer Science; no. 9182).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Regularized sparse kernel slow feature analysis

Böhmer, W., Grunewalder, S., Nickisch, H. & Obermayer, K., 2011, Machine Learning and Knowledge Discovery in Databases. ECML PKDD 2011. Gunopulos, D., Hoffmann, T., Malerba, D. & Vazirgiannis, M. (eds.). Berlin: Springer, p. 235-248 14 p. (Lecture Notes in Computer Science; vol. 6911).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Relaxing Claims: Coping With Uncertainty While Evaluating Assumptions at Run Time

Ramirez, A., H.C. Cheng, B., Bencomo, N. & Sawyer, P., 1/09/2012, Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings. France, R. B., Kazmeier, J., Breu, R. & Atkinson, C. (eds.). Berlin: Springer, p. 53-69 17 p. (Lecture Notes in Computer Science; vol. 7590).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Evaluation and Analysis of a Common Model for Ubiquitous Systems Interoperability

Blackstock, M., Lea, R. & Krasic, C., 2008, Pervasive Computing: 6th International Conference, Pervasive 2008 Sydney, Australia, May 19-22, 2008 Proceedings. Indulska, J., Patterson, D., Rodden, T. & Ott, M. (eds.). Berlin: Springer, p. 180-196 17 p. (Lecture Notes in Computer Science; vol. 5013).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Semantic image retrieval using region-based relevance feedback

Torres, J. M., Hutchison, D. & Reis, L. P., 2007, Adaptive Multimedia Retrieval: User, Context, and Feedback 4th International Workshop, AMR 2006, Geneva, Switzerland, July 27-28, 2006, Revised Selected Papers. Marchand-Maillet, S., Bruno, E., Nürnberger, A. & Detyniecki, M. (eds.). Berlin: Springer, p. 192-206 15 p. (Lecture Notes in Computer Science; vol. 4398).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Would self-organized or self-managed networks lead to improved QoS?

Hutchison, D., Hjálmtýsson, G., Sterbenz, J. P. G., Ventre, G. & Vicente, J., 2005, Quality of Service – IWQoS 2005 13th International Workshop, IWQoS 2005, Passau, Germany, June 21-23, 2005. Proceedings. de Meer , H. & Bhatti, N. (eds.). Berlin: Springer Verlag, p. 17-18 2 p. (Lecture notes in Computer Science; vol. 3552).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

The role of ontologies in enabling dynamic interoperability

Nundloll, V., Grace, P. & Blair, G. S., 06/2011, Distributed Applications and Interoperable Systems: 11th IFIP WG 6.1 International Conference, DAIS 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings. Felber , P. & Rouvoy, R. (eds.). Berlin, Heidelberg: Springer Verlag, p. 179-193 15 p. (Lecture Notes in Computer Science; vol. 6723).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Group Support in Multimedia Communications Systems

Mauthe, A., Coulson, G., Hutchison, D. & Namuye, S., 1996, Teleservices and Multimedia Communications Second International COST 237 Workshop Copenhagen, Denmark, November 20–22 1995 Proceedings. Hutchison, D., Christiansen, H., Coulson, G. & Danthine, A. (eds.). Berlin: Springer Verlag, p. 1-18 18 p. (Lecture Notes in Computer Science; vol. 1052).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Applying NEMO to a mountain rescue domain

McCarthy, B., Edwards, C. & Dunmore, M., 2006, Information Networking Advances in Data Communications and Wireless Networks. Chong, I. & Kawahara, K. (eds.). Springer, p. 11-20 9 p. (Lecture Notes in Computer Science; vol. 3961).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Representing, proving and sharing trustworthiness of web resources using veracity

Burel, G., Basave, A. E. C., Rowe, M. & Sosa, A., 2010, Knowledge Engineering and Management by the Masses 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010. Proceedings. Cimiano, P. & Pinto, H. S. (eds.). Berlin: Springer Verlag, p. 421-430 10 p. (Lecture Notes in Computer Science; vol. 6317).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Applying Semantic Social Graphs to Disambiguate Identity References

Rowe, M., 2009, The Semantic Web: Research and Applications 6th European Semantic Web Conference, ESWC 2009 Heraklion, Crete, Greece, May 31–June 4, 2009 Proceedings. Aroyo, L., Traverso , P., Ciravegna , F., Cimiano, P., Heath, T., Hyvönen , E., Mizoguchi , R., Oren, E., Sabou , M. & Simperl, E. (eds.). Berlin: Springer Verlag, p. 461-475 15 p. (Lecture Notes in Computer Science; vol. 5554).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Requirements tracing to support change in dynamically adaptive systems

Welsh, K. & Sawyer, P., 2009, Requirements Engineering: Foundation for Software Quality: 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings. Glinz, M. & Heymans, P. (eds.). Berlin: Springer-Verlag, p. 59-73 15 p. (Lecture Notes in Computer Science; vol. 5512).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Exploring the design space for situated glyphs to support dynamic work environments

Kawsar, F., Vermeulen, J., Smith, K., Luyten, K. & Kortuem, G., 2011, Pervasive Computing 9th International Conference, Pervasive 2011, San Francisco, USA, June 12-15, 2011. Proceedings. Lyons, K., Hightower, J. & Huang, E. M. (eds.). Berlin, Heidelberg: Springer Verlag, p. 70-78 9 p. (Lecture Notes in Computer Science; vol. 6696).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Pin & Play: Networking Objects through Pins

Laerhoven, K. V., Schmidt, A. & Gellersen, H.-W., 2002, UbiComp 2002: Ubiquitous Computing 4th International Conference Göteborg, Sweden, September 29 – October 1, 2002 Proceedings. Borriello , G. & Holmquist, L. E. (eds.). Berlin: Springer Verlag, p. 219-228 10 p. (Lecture Notes in Computer Science; vol. 2498).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Deployment experience toward core abstractions for context aware applications

Finke, M., Blackstock, M. & Lea, R., 2007, Smart Sensing and Context Second European Conference, EuroSSC 2007, Kendal, England, October 23-25, 2007. Proceedings. Kortuem, G., Finney, J., Lea, R. & Sundramoorthy, V. (eds.). Berlin: Springer Verlag, p. 239-254 16 p. (Lecture Notes in Computer Science; vol. 4793).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Adaptive operating system design using reflection

Lea, R., Yokote, Y. & Itoh, J.-I., 1996, Object-Based Parallel and Distributed Computation France-Japan Workshop, OBPDC '95 Tokyo, Japan, June 21–23, 1995 Selected Papers. Briot, J.-P., Geib, J.-M. & Yonezawa, A. (eds.). Berlin: Springer Verlag, p. 205-218 14 p. (Lecture Notes in Computer Science; vol. 1107).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A Flexible Approach for Instance Adaptation During Class Versioning

Rashid, A., Sawyer, P. & Pulvermueller, E., 2001, Objects and Databases International Symposium Sophia Antipolis,France,June 13,2000 Revised Papers. Dittrich, K., Guerrini, G., Merlo, I., Oliva, M. & Rodriguez, M. E. (eds.). Berlin: Springer, p. 101-113 13 p. (Lecture Notes in Computer Science; vol. 1944).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

9th Workshop for PhD Students in Object Oriented Systems

Rashid, A., Parsons, D. & Telea, A., 1999, Object-Oriented Technology ECOOP’99 Workshop Reader ECOOP’99 Workshops, Panels, and Posters Lisbon, Portugal, June 14–18, 1999 Proceedings. Demeyer, S. (ed.). Berlin: Springer, p. 116-135 20 p. (Lecture Notes in Computer Science; vol. 1743).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

The case for dumb requirements engineering tools

Berry, D., Gacitua, R., Sawyer, P. & Tjong, S. F., 2012, Requirements Engineering: Foundation for Software Quality 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings. Regnell , B. & Damian, D. (eds.). Berlin: Springer, p. 211-217 7 p. (Lecture Notes in Computer Science; vol. 7195).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

An experimental comparison of physical mobile interaction techniques: touching, pointing and scanning

Rukzio, E., Leichtenstern, K., Callaghan, V., Holleis, P., Schmidt, A. & Chin, J., 2006, UbiComp 2006: Ubiquitous Computing 8th International Conference, UbiComp 2006 Orange County, CA, USA, September 17-21, 2006 Proceedings. Dourish, P. & Friday, A. (eds.). Berlin: Springer, p. 87-104 18 p. (Lecture Notes in Computer Science; vol. 4206).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Flexible, dynamic, and scalable service composition for active routers

Schmid, S., Chart, T., Sifalakis, M. & Scott, A., 2002, Active Networks: IFIP-TC6 4th International Working Conference, IWAN 2002 Zurich, Switzerland, December 4–6, 2002 Proceedings. Sterbenz, J., Takada, O., Tschudin, C. & Plattner, B. (eds.). Berlin: Springer, p. 253-266 14 p. (Lecture Notes in Computer Science; vol. 2546).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A Framework for Developing Mobile Network Services

Sifalakis, M., Schmid, S., Chart, T. & Scott, A. C., 2004, Active Networks IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004. Revised Papers. Minden, G. J., Calvert, K. L., Solarski, M. & Yamamoto, M. (eds.). Berlin: Springer, p. 126-137 12 p. (Lecture Notes in Computer Science; vol. 3912).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Verifying semantic conformance of state machine-to-java code generators

Rahim, L. A. & Whittle, J., 2010, Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I. Petriu , D. C., Rouquette , N. & Haugen, Ø. (eds.). Berlin: Springer Verlag, p. 166-180 15 p. (Lecture Notes in Computer Science; vol. 6394).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Understanding the Scope of Uncertainty in Dynamically Adaptive Systems

Welsh, K. & Sawyer, P., 1/06/2010, Requirements Engineering: Foundation for Software Quality 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings. Wieringa, R. & Persson, A. (eds.). Berlin: Springer, p. 2-16 15 p. (Lecture Notes in Computer Science; vol. 6182).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Refactoring-Safe Modeling of Aspect-Oriented Scenarios

Mussbacher, G., Amyot, D. & Whittle, J., 2009, Model driven engineering languages and systems: 12th international conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009 : proceedings . Schurr, A. & Selic, B. (eds.). Berlin: Springer-Verlag, p. 286-300 15 p. (Lecture Notes in Computer Science; vol. 5795).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Adaptive VoIP transmission over heterogeneous wired/wireless networks

Trad, A., Ni, Q. & Afifi, H., 2004, Interactive multimedia and next generation networks: Second International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2004, Grenoble, France, November 16-19, 2004. Proceedings. Roca, V. & Rousseau, F. (eds.). Berlin: Springer Verlag, p. 25-36 12 p. (Lecture Notes in Computer Science; vol. 3311).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Cross-tier application and data partitioning of web applications for hybrid cloud deployment

Kaviani, N., Wohlstadter, E. & Lea, R., 12/2013, Middleware 2013: ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings. Eyers, D. & Schwan, K. (eds.). Berlin: Springer, p. 226-246 21 p. (Lecture Notes in Computer Science; vol. 8275).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Transferring semantic categories with vertex kernels: recommendations with SemanticSVD++

Rowe, M., 2014, The Semantic Web – ISWC 2014: 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part I. Mika, P., Tudorache, T., Bernstein, A., Welty, C., Knoblock, C., Vrandečić, D., Groth, P., Noy, N., Janowicz, K. & Goble, C. (eds.). Springer, p. 341-356 16 p. (Lecture Notes in Computer Science; vol. 8796).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A multi-criteria decision making framework for Real Time model-based testing

Abou Trab, M. S., Alrouh, B., Counsell, S., Hierons, R. M. & Ghinea, G., 2010, Testing – Practice and Research Techniques. Bottaci, L. & Fraser, G. (eds.). Berlin: Springer Verlag, p. 194-197 4 p. (Lecture Notes in Computer Science; vol. 6303).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Estimation of indoor physical activity level based on footstep vibration signal measured by mems accelerometer in smart home environments

Lee, H., Park, J. W. & Helal, S., 2009, 2nd International Workshop on Mobile Entity Localization and Tracking in GPS-less Environments, MELT 2009. Fuller, R. & Koutsoukos, X. D. (eds.). Berlin: Springer, p. 148-162 15 p. (Lecture Notes in Computer Science; vol. 5801).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

aZIMAS: Web mobile agent system

Arumugam, S., Helal, S. & Nalla, A., 2002, International Conference on Mobile Agents. Suri, N. (ed.). Berlin: Springer, p. 1-15 15 p. (Lecture Notes in Computer Science; vol. 2535).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Context-aware service composition for mobile network environments

Lee, C., Ko, S., Lee, S., Lee, W. & Helal, S., 2007, Ubiquitous Intelligence and Computing. UIC 2007. Indulska, J., Ma, J., Yang, L. T., Ungerer, T. & Cao, J. (eds.). Berlin: Springer, p. 941-952 12 p. (Lecture Notes in Computer Science; vol. 4611).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Similitude: decentralised adaptation in large-scale P2P recommenders

Frey, D., Kermarrec, A.-M., Maddock, C., Mauthe, A. U., Roman, P.-L. & Taiani, F., 06/2015, Distributed Applications and Interoperable Systems: 15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings. Bessani, A. & Bounchenak, S. (eds.). Springer, p. 51-65 15 p. (Lecture Notes in Computer Science; vol. 9038).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

The role of reflective middleware in supporting the engineering of dynamic applications

Costa, F. M., Duran, H. A., Parlavantzas, N., Saikoski, K. B., Blair, G. & Coulson, G., 2000, Reflection and Software Engineering. Cazzola , W., Stroud, R. J. & Tisato, F. (eds.). Berlin: Springer Verlag, p. 79-98 20 p. (Lecture Notes in Computer Science; vol. 1826).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

A specification-to-deployment architecture for overlay networks

Behnel, S., Buchmann, A., Grace, P., Porter, B. & Coulson, G., 2006, On the Move to Meaningful Internet Systems 2006: COOPIS, DOA, GADA, and ODBASE, Proceedings Part II. Meersman, R. & Tari, Z. (eds.). Berlin: Springer Verlag, p. 1522-1540 19 p. (Lecture Notes in Computer Science; vol. 4276).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Towards resilient community wireless mesh networks

Bury, S. & Race, N. J. P., 07/2008, AIMS '08 Proceedings of the 2nd International Conference on Autonomous Infrastructure, Management and Security: Resilient Networks and Services. Springer-Verlag, p. 195-199 5 p. (Lecture Notes in Computer Science).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

On the Interplay of Aspects and Dynamic Reconfiguration in a Specification-to-Deployment Environment

Batista, T., Gomes, A. T. A., Coulson, G., Chavez, C. & Garcia, A., 2008, Software Architecture. Morrison, R., Balasubramaniam, D. & Falkner, K. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 314-317 4 p. (Lecture Notes in Computer Science; vol. 5292).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Supporting dependable distributed applications through a component-oriented middleware-based group service

Saikoski, K. & Coulson, G., 2004, Architecting Dependable Systems II. de Lemos, R., Gacek , C. & Romanovsky, A. (eds.). Berlin: Springer Verlag, p. 270-293 24 p. (Lecture Notes in Computer Science; vol. 3069).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Cooperation in P2P Systems through Sociological Incentive Patterns

Kaune, S., Pussep, K., Tyson, G., Mauthe, A. & Steinmetz, R., 10/12/2008, Self-organizing systems: Third International Workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008. Proceedings. Hummel, K. A. & Sterbenz, J. P. G. (eds.). Berlin: Springer-Verlag, p. 10-22 13 p. (Lecture Notes in Computer Science; vol. 5343).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A Role-based Approach Towards Modular Language Engineering

Wende, C., Thieme, N. & Zschaler, S., 03/2010, Software Language Engineering : Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers. van den Brand , M., Gaševic , D. & Gray, J. (eds.). Berlin: Springer, p. 254-273 20 p. (Lecture Notes in Computer Science; vol. 5969).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A model for active object coordination and its use for distributed multimedia applications

Papathomas, M., Blair, G. & Coulson, G., 1994, Object-based models and languages for concurrent systems. Berlin: Springer Verlag, p. 162-175 14 p. (Lecture Notes in Computer Science; vol. 924).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Integrating computing and telecommunications: A tale of two architectures

RUSTON, L., Blair, G., COULSON, G. & DAVIES, N., 1992, Network and Operating System Support for Digital Audio and Video. Herrtwich, R. G. (ed.). Berlin: Springer Verlag, p. 57-68 12 p. (Lecture Notes in Computer Science; vol. 614).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Combining Positioning and Communication Using UWB Transceivers

Alcock, P., Roedig, U. & Hazas, M., 8/06/2009, Distributed computing in sensor systems: 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009. Proceedings. Krishnamachari , B., Suri, S., Heinzelman , W. & Mitra, U. (eds.). Berlin: Springer, p. 329-342 14 p. (Lecture Notes in Computer Science; vol. 5516).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages

Farrell, M., Bradbury, M., Fisher, M., Dennis, L. A., Dixon, C., Yuan, H. & Maple, C., 1/09/2019, Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings. Ölveczky, P. C. & Salaün, G. (eds.). Cham: Springer International Publishing, p. 471-490 20 p. (Lecture Notes in Computer Science ; vol. 11724).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Multi-omic data integration elucidates Synechococcus adaptation mechanisms to fluctuations in light intensity and salinity

Vijayakumar, S. & Angione, C., 26/04/2017, Bioinformatics and Biomedical Engineering: 5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 26–28, 2017, Proceedings, Part I. Rojas, I. & Ortuño, F. (eds.). Cham: Springer, p. 220-229 10 p. (Lecture Notes in Computer Science; vol. 10208).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Towards everlasting privacy and efficient coercion resistance in remote electronic voting

Grontas, P., Pagourtzis, A., Zacharakis, A. & Zhang, B., 2019, FC 2018 International Workshops, VOTING 18: International Conference on Financial Cryptography and Data Security. Bracciali, A., Pintore, F., Clark, J., Eyal, I., Zohar, A., Teague, V. & Sala, M. (eds.). Cham: Springer Verlag, p. 210-231 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10958 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

Understanding cognitive saliency by using an online game

Yesiltepe, D., Conroy-Dalton, R., Ozbil Torun, A., Hornberger, M. & Spiers, H., 20/08/2020, Spatial Cognition XII : 12th International Conference, Spatial Cognition 2020, Riga, Latvia, August 26–28, 2020, Proceedings. Šķilters, J., Newcombe, N. S. & Uttal, D. (eds.). Cham: Springer, p. 76-87 12 p. (Lecture Notes in Computer Science ; vol. 12162).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Feature-based multi-video synchronization with subframe accuracy

Elhayek, A., Stoll, C., Kim, K. I., Seidel, H.-P. & Theobalt, C., 2012, Pattern recognition: Joint 34th DAGM and 36th OAGM Symposium, Graz, Austria, August 28-31, 2012. Proceedings. Pinz, A., Pock, T., Bischof, H. & Liberl, F. (eds.). Berlin: Springer Verlag, p. 266-275 10 p. (Lecture Notes in Computer Science; vol. 7476).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Reflections on provenance ontology encodings

Ding, L., Bao, J., Michaelis, J., Zhao, J. & McGuinness, D., 2010, Provenance and annotation of data and processes: Third International Provenance and Annotation Workshop, IPAW 2010, Troy, NY, USA, June 15-16, 2010. Revised Selected Papers. McGuinness, D. L., Michaelis, J. R. & Moreau, L. (eds.). Berlin: Springer, p. 198-205 8 p. (Lecture Notes in Computer Science; vol. 6378).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

OpenCL task partitioning in the presence of GPU contention

Grewe, D., Wang, Z. & O'Boyle, M., 2014, Languages and compilers for parallel computing: 26th International Workshop, LCPC 2013, San Jose, CA, USA, September 25--27, 2013. Revised Selected Papers. Cașcaval, C. & Montesinos , P. (eds.). Springer, p. 87-101 15 p. (Lecture Notes in Computer Science; vol. 8664).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

When history matters: assessing reliability for the reuse of scientific workflows

Gómez-pérez, J. M., García-cuesta, E., Garrido, A., Ruiz, J. E., Zhao, J. & Klyne, G., 2013, The semantic web – ISWC 2013: 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part II. Berlin: Springer Verlag, p. 81-97 17 p. (Lecture Notes in Computer Science; vol. 8219).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Other chapter contribution

Analyzing the effort of composing design models of large-scale software in industrial case studies

Farias, K., Garcia, A., Whittle, J. & Lucena, C., 2013, Model-Driven Engineering Languages and Systems: 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings. Moreira, A., Schätz, B., Gray, J., Vallecillo, A. & Clarke, P. (eds.). Berlin: Springer, p. 639-655 17 p. (Lecture Notes in Computer Science; vol. 8107).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Building a semantic web image repository for biological research images

Zhao, J., Klyne, G. & Shotton, D., 2008, The semantic web: research and applications: 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008 Proceedings. Bechhofer, S., Hauswirth, M., Hoffmann, J. & Koubarakis, M. (eds.). Berlin: Springer, p. 154-169 16 p. (Lecture Notes in Computer Science; vol. 5021).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Wicked persuasion: a designerly approach

Knowles, B., Coulton, P., Lochrie, M. & Whittle, J., 23/05/2014, Persuasive Technology: 9th International Conference, PERSUASIVE 2014, Padua, Italy, May 21-23, 2014. Proceedings. Spagnolli, A., Chittaro, L. & Gamberini, L. (eds.). Berlin: Springer, p. 137-142 6 p. (Lecture Notes in Computer Science; vol. 8462).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Adaptation in open systems: giving interaction its rightful place

Dalpiaz, F., Chopra, A. K., Giorgini, P. & Mylopoulos, J., 2010, Conceptual Modeling – ER 2010: 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings. Parsons, J., Saeki, M., Shoval, P., Woo, C. & Wand, Y. (eds.). Berlin: Springer, p. 31-45 15 p. (Lecture Notes in Computer Science; vol. 6412).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Modeling and reasoning about service-oriented applications via goals and commitments

Chopra, A. K., Dalpiaz, F., Giorgini, P. & Mylopoulos, J., 2010, Advanced Information Systems Engineering: 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings. Pernici, B. (ed.). Berlin: Springer, p. 113-128 16 p. (Lecture Notes in Computer Science; vol. 6051).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

OWL-P: a methodology for business process development

Desai, N., Mallya, A. U., Chopra, A. K. & Singh, M. P., 2006, Agent-Oriented Information Systems III: 7th International Bi-Conference Workshop, AOIS 2005, Utrecht, Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers. Kolp, M., Bresciani, P., Henderson-Sellers, B. & Winikoff, M. (eds.). Berlin: Springer, p. 79-94 16 p. (Lecture Notes in Computer Science; vol. 3529).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Interoperation in protocol enactment

Chopra, A. K. & Singh, M. P., 2008, Declarative Agent Languages and Technologies V: 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers. Baldoni, M., Son, T. C. & Riemsdijk, M. B. V. (eds.). Berlin: Springer, p. 36-49 14 p. (Lecture Notes in Computer Science; vol. 4897).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Elements of a business-level architecture for multiagent systems

Chopra, A. K. & Singh, M. P., 2010, Programming Multi-Agent Systems: 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers. Braubach, L., Briot, J.-P. & Thangarajah, J. (eds.). Berlin: Springer, p. 15-30 16 p. (Lecture Notes in Computer Science; vol. 5919).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Affordances of presentations in multi-display learning spaces for supporting small group discussion

Bligh, B. & Sharples, M., 09/2010, Sustaining TEL : from innovation to learning and practice: 5th European Conference on Technology Enhanced Learning, EC-TEL 2010, Barcelona, Spain, September 28 - October 1, 2010. Proceedings. Wolpers, M., Kirschner, P. A., Scheffel, M., Lindstaedt, S. & Dimitrova, V. (eds.). Berlin: Springer Verlag, p. 464-469 6 p. (Lecture Notes in Computer Science; vol. 6383).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed)

Switching sensitive driver circuit to combat dynamic delay in on-chip buses

Weerasekera, R., Zheng, L.-R., Pamunuwa, D. B., Tenhunen, H., Paliouras, V. (Editor), Vounckx, J. (Editor) & Verkest, D. (Editor), 09/2005, Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings. Paliouras, V., Vounckx, J. & Verkest, D. (eds.). Berlin: Springer, p. 277-285 9 p. (Lecture Notes in Computer Science; vol. 3728).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Publishing and consuming provenance metadata on the web of linked data

Hartig, O. & Zhao, J., 2010, Provenance and annotation of data and processes: Revised Selected Papers of the Third International Provenance and Annotation Workshop (IPAW 2010) . McGuinness, D. L., Michaelis, J. R. & Moreau, L. (eds.). Berlin: Springer Verlag, p. 78-90 13 p. (Lecture Notes in Computer Science; vol. 6378).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Stellar: A Programming Model for Developing Protocol-Compliant Agents

Günay, A. & Chopra, A. K., 14/07/2019, Engineering Multi-Agent Systems - 6th International Workshop, EMAS 2018, Revised Selected Papers: 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers. Mascardi, V., Weyns, D. & Ricci, A. (eds.). Springer, p. 117-136 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11375).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

General Program Synthesis using Guided Corpus Generation and Automatic Refactoring

Wild, A. & Porter, B., 31/08/2019, Search-Based Software Engineering: 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings. Nejati, S. & Gay, G. (eds.). Cham: Springer-Verlag, p. 89-104 15 p. (Lecture Notes in Computer Science; vol. 11664).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis.

Kretínský, J., Manta, A. & Meggendorfer, T., 21/10/2019, Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings. Chen, Y.-F., Cheng, C.-H. & Esparza, J. (eds.). p. 404-422 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11781 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Synthesizing Controllers for Multi-lane Traffic Maneuvers

Bochmann, G. V., Hilscher, M., Linker, S. & Olderog, E.-R., 4/11/2015, Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Li, X., Liu, Z. & Yi, W. (eds.). Cham: Springer, p. 71-86 16 p. (Lecture Notes in Computer Science; vol. 9409).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Self-explanation in adaptive systems based on runtime goal-based models

Welsh, K., Bencomo, N., Sawyer, P. & Whittle, J., 2014, Transactions on Computational Collective Intelligence XVI. Kowalczyk, R. & Nguyen, N. T. (eds.). Berlin: Springer, p. 122-145 24 p. (Lecture Notes in Computer Science).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Local Wayfinding Decisions in a Complex Real-World Building

Jazuk, K., Gubler, G.-L., Mavros, P., Conroy-Dalton, R. & Hölscher, C., 25/08/2020, Spatial Cognition XII: 12th International Conference, Spatial Cognition 2020, Riga, Latvia, August 26–28, 2020, Proceedings. Latvia: Springer-Verlag, Vol. 2020. p. 122-125 4 p. (Lecture Notes in Computer Science ; vol. 12162).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Solving the distributed two machine flow-shop scheduling problem using differential evolution

Dempster, P., Li, P. & Drake, J. H., 1/08/2017, Advances in Swarm Intelligence: 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 – August 1, 2017, Proceedings, Part I. Tan, Y., Tagaki, H. & Shi, Y. (eds.). Cham: Springer, p. 449-457 9 p. (Lecture Notes in Computer Science; vol. 10385).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators

Gainer, P., Linker, S., Dixon, C., Hustadt, U. & Fisher, M., 11/10/2018, Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. Sun, J. & Sun, M. (eds.). Cham: Springer, p. 160-176 17 p. (Lecture Notes in Computer Science; vol. 11232).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking

Gainer, P., Linker, S., Dixon, C., Hustadt, U. & Fisher, M., 5/09/2017, Quantitative Evaluation of Systems: Proceedings of the 14th International Conference on Quantitative Evaluation of Systems, QEST 2017. Bertrand, N. & Bortolussi, L. (eds.). Cham: Springer, p. 224–239 16 p. (Lecture Notes in Computer Science; vol. 10503).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

A mobile cloud framework for context-aware and portable recommender system for smart markets

Khan, A., Ahmad, A., Rahman, A. U. & Alkhalil, A., 21/06/2019, EAI/Springer Innovations in Communication and Computing. Mehmood, R., See, S., Katib, I. & Chlamtac, I. (eds.). Cham: Springer, p. 283-309 27 p. (EAI/Springer Innovations in Communication and Computing).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Summary of the Workshop Models@run.time at MoDELS 2006

Bencomo, N., Blair, G. S. & France, R., 2006, Lecture Notes in Computer Science, Satellite Events at the MoDELS 2006 Conference. Springer-Verlag, p. 226-230 5 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

EHBT: An efficient protocol for group key management.

Mathy, L. & Hutchison, D., 11/2001, Lecture Notes in Computer Science: Networked Group Communication. Springer Berlin / Heidelberg, p. 159-171

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Charging in Peer-to-Peer Systems based on a Token Accounting System

Mauthe, A., Liebau, N., Heckmann, O., Kovacevic, A. & Steinmetz, R., 06/2006, Lecture Notes in Computer Science: Performability Has its Price. Springer Berlin / Heidelberg

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A Peer-to-Peer Content Distribution Network

Mauthe, A., Heckmann, O., Liebau, N., Darlagiannis, V. & Bock, A., 01/2005, Lecture Notes in Computer Science: From Integrated Publication and Information Systems to Information and Knowledge Environments.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

SAND: A Scalable, Distributed and Dynamic Active Network Directory Service

Sifalakis, M., Mauthe, A. & Hutchison, D., 2009, (Unpublished) Lecture Notes in Computer Science: Active and Programmable Networks. Springer Berlin / Heidelberg

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Caching Indices for Efficient Lookup in Structured Overlay Networks

Mauthe, A., Darlagiannis, V., Liebau, N., Heckmann, O. & Steinmetz, R., 07/2005, Lecture Notes in Computer Science: Agents and Peer-to-Peer Computing. p. 81-93

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Cloud of line distribution for arbitrary text detection in scene/video/license plate images

Wang, W., Wu, Y., Palaiahnakote, S., Lu, T. & Liu, J., 10/05/2018, Advances in Multimedia Information Processing – PCM 2017. Springer, Cham, p. 433-443 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Determining Risks from Advanced Multi-step Attacks to Critical Information Infrastructures.

Ma, Z. & Smith, P., 2013, Critical Information Infrastructures Security. CRITIS 2013.: Lecture Notes in Computer Science. Springer, Vol. 8328. p. 142-154 13 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Sketching sustainability in computing

Sturdee, M., Mann, S. & Carpendale, S., 20/06/2019, C&C '19 Proceedings of the 2019 on Creativity and Cognition. New York: ACM, p. 29-40 12 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles

Wu, M., Louw, T., Lahijanian, M., Ruan, W., Huang, X., Merat, N. & Kwiatkowska, M., 27/01/2020, 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE, p. 6210-6216 7 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

From detection to remediation: A self-organized system for addressing flash crowd problems

Xie, L., Smith, P., Hutchison, D., Banfield, M., Leopold, H., Jabbar, A. & Sterbenz, J. P. G., 12/09/2008, ICC 2008 - IEEE International Conference on Communications, Proceedings. p. 5809-5814 6 p. 4534123

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Robust Functional Regression for Outlier Detection

Hullait, H., Leslie, D. S., Pavlidis, N. G. & King, S., 23/01/2020, Advanced Analytics and Learning on Temporal Data: 4th ECML PKDD Workshop, AALTD 2019, Würzburg, Germany, September 20, 2019, Revised Selected Papers. Lemaire, V., Malinowski, S., Bagnall, A., Bondu, A., Guyet, T. & Tavenard, R. (eds.). Cham: Springer, p. 3-13 11 p. (Lecture Notes in Computer Science; vol. 11986).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Horus: An Interference-aware Resource Manager for Deep Learning Systems

Yeung, G., Borowiec, D., Yang, R., Friday, A., Harper, R. H. R. & Garraghan, P., 29/09/2020, Algorithms and Architectures for Parallel Processing. ICA3PP 2020. Qiu, M. (ed.). Springer, p. 492-508 17 p. (Lecture Notes in Computer Science; vol. 12453).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

DexPro: A Bytecode Level Code Protection System for Android Applications

Zhao, B., Tang, Z., Li, Z., Song, L., Gong, X., Fang, D., Liu, F. & Wang, Z., 21/10/2017, Cyberspace Safety and Security. Wen, S., Wu, W. & Castiglione, A. (eds.). Cham: Springer, p. 367-382 16 p. (Lecture Notes in Computer Science; vol. 10581).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Seeding the design process for future problems

Newman, P., Forshaw, S., Simm, W., Ferrario, M. A., Whittle, J. & Friday, A., 09/2014, Human-centered software engineering: 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings. Sauer, S., Bogdan, C., Forbrig, P., Bernhaupt, R. & Winckler, M. (eds.). Berlin: Springer, p. 291-298 8 p. (Lecture Notes in Computer Science; vol. 8742).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

EA-Miner: towards automation in aspect-oriented requirements engineering

Sampaio, A., Rashid, A., Chitchyan, R. & Rayson, P., 02/2007, Transactions on Aspect-Oriented Software Development III. Rashid, A. & Aksit, M. (eds.). Berlin: Springer Verlag, p. 4-39 36 p. (Lecture Notes in Computer Science; vol. 4620).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning

Křetínský, J., Meggendorfer, T., Prokop, M. & Zarkhah, A., 1/05/2025, Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Gurfinkel, A. & Heule, M. (eds.). Cham: Springer, p. 233-253 21 p. (Lecture Notes in Computer Science; vol. 15696 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review