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