Laboratory for Foundations of Computer Science

Filter
Chapter (peer-reviewed)

Search results

  • 2024

    The Professors and Computer Science Researchers

    Bono, V., Craig, A., Galpin, V. & Hippler, R. K., 10 Apr 2024, Rendering History: The Women of ACM-W. Childress Townsend, G. (ed.). ACM, p. 305-380 76 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Memoryless strategies in stochastic reachability games

    Kiefer, S., Mayr, R., Shirmohammadi, M. & Totzke, P., 20 Mar 2024, Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday. Kiefer, S., Křetínský, J. & Kučera, A. (eds.). Springer, Cham, Vol. 14660. p. 225–242 18 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
  • 2023

    Compact inverse categories

    Heunen, C. & Cockett, R., 4 Aug 2023, Samson Abramsky on Logic and Structure in Computer Science and Beyond . Springer, Vol. 25. p. 813-832 (Outstanding Contributions to Logic).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • 2022

    Fair Must Testing for I/O Automata

    van Glabbeek, R., 7 Sept 2022, A Journey from Process Algebra via Timed Automata to Model Learning. Jansen, N., Stoelinga, M. & van den Bos, P. (eds.). Springer, Vol. 13560. p. 559-574 16 p. (Lecture Notes in Computer Science; vol. 13560).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • An Ultrasound-Guided Mechatronics-Assisted System for Semi-Automated Seed Implantation and Tracking in Prostate Brachytherapy

    Rossa, C., Carriere, J., Khadem, M., Sloboda, R., Usmani, N. & Tavakoli, M., 1 Jun 2022, Brain and Cognitive Intelligence Control in Robotics. Wei, B. (ed.). 1 ed. Boca Raton: CRC Press, p. 21-46 26 p. (Brain and Cognitive Intelligence: Control in Robotics).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Data provenance, curation and quality in metrology

    Cheney, J., Chapman, A., Davidson, J. & Forbes, A., 17 Feb 2022, Advanced Mathematical and Computational Tools in Metrology and Testing XII. Pavese, F., Forbes, A. B., Zhang, N. F. & Chunovkina, A. G. (eds.). Singapore: World Scientific Press, p. 167-187 21 p. (Advances in Mathematics for Applied Sciences; vol. 90).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • 2021

    Analysis of Probabilistic Processes and Automata Theory

    Etessami, K., Sept 2021, Handbook of Automata Theory: Volume II. Automata in Mathematics and Selected Applications. Pin, J-É. (ed.). EMS Publishing House, Vol. II. p. 1343-1382

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Guarded Ontology-Mediated Queries

    Barceló, P., Berger, G., Gottlob, G. & Pieris, A., 1 Jun 2021, Hajnal Andréka and István Németi on Unity of Science. 1 ed. Springer, p. 27-52 26 p. (Outstanding Contributions to Logic; vol. 19).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
  • Dynamic Proof Presentation

    Jackson, P. B., 24 May 2021, Mathematical Reasoning: The History and Impact of the DReaM Group. Michaelson, G. (ed.). Cham: Springer International Publishing, p. 63-86 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • 2019

    A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice

    van Glabbeek, R. J., Groote, J. F. & de Vink, E. P., 4 Nov 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Cham: Springer International Publishing Switzerland, p. 139-162 24 p. (Lecture Notes in Computer Science; vol. 11760).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Stronger Validity Criteria for Encoding Synchrony

    van Glabbeek, R., Goltz, U., Lippert, C. & Mennicke, S., 4 Nov 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Cham: Springer International Publishing Switzerland, p. 182-205 24 p. (Lecture Notes in Computer Science; vol. 11760).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Reward Testing Equivalences for Processes

    van Glabbeek, R., 3 Jul 2019, Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. Boreale, M., Corradini, F., Loreti, M. & Pugliese, R. (eds.). Cham: Springer International Publishing Switzerland, p. 45-70 26 p. (Lecture Notes in Computer Science; vol. 11665).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Stochastic spatial modelling of the remyelination process in multiple sclerosis lesions

    Luisa Vissat, L., Hillston, J. & Williams, A., 12 Jun 2019, (E-pub ahead of print) Automated Reasoning for Systems Biology and Medicine. Liò, P. & Zuliani, P. (eds.). Springer, p. 299-326 28 p. (Computational Biology; vol. 30).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • 2018

    The mu-calculus and Model Checking

    Bradfield, J. & Walukiewicz, I., Mar 2018, Handbook of Model Checking. Clarke, E., Henziger, T., Veith, H. & Bloem, R. (eds.). Springer International Publishing, p. 871-919 49 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • 2017

    Lightweight functional session types

    Lindley, S. & Morris, J. G., 17 Feb 2017, (Accepted/In press) Behavioural Types: from Theory to Tools. Gay, S. J. & Ravara, A. (eds.). River Publishers

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • 2016

    A Branching Time Model of CSP

    van Glabbeek, R., 18 Dec 2016, Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Gibson-Robinson, T., Hopcroft, P. & Lazić, R. (eds.). Cham: Springer International Publishing Switzerland, p. 272-293 22 p. (Lecture Notes in Computer Science; vol. 10160).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • 2015

    Abstract Interpretation of PEPA Models

    Gilmore, S., Hillston, J. & Zon, N., 25 Dec 2015, Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Probst, C. W., Hankin, C. & Hansen, R. R. (eds.). Springer International Publishing, p. 140-158 18 p. (Lecture Notes in Computer Science; vol. 9560).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
  • Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP

    van Glabbeek, R. J., 10 Nov 2015, Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings. Meyer, R., Platzer, A. & Wehrheim, H. (eds.). Cham: Springer International Publishing, p. 99-130 32 p. (Lecture Notes in Computer Science; vol. 9360).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • 2014

    Verifying Hybrid Systems Involving Transcendental Functions

    Jackson, P., Sogokon, A., Bridge, J. & Paulson, L., 2014, NASA Formal Methods: 6th International Symposium, NFM 2014, Proceedings. Badger, J. & Rozier, K. (eds.). Springer-Verlag GmbH, p. 188-202 15 p. (Lecture Notes in Computer Science; vol. 8430).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    File
  • 2013

    Compositional Quantum Logic

    Coecke, B., Heunen, C. & Kissinger, A., 2013, Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Coecke, B., Ong, L. & Panangaden, P. (eds.). Springer Berlin Heidelberg, p. 21-36 16 p. (Lecture Notes in Computer Science; vol. 7860).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • On the Functor ℓ2

    Heunen, C., 2013, Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Coecke, B., Ong, L. & Panangaden, P. (eds.). Springer Berlin Heidelberg, p. 107-121 15 p. (Lecture Notes in Computer Science; vol. 7860).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • 2012

    3. Chance and Memory

    Perkins, T. J., Weisse, A. & Swain, P. S., Aug 2012, Quantitative Biology: From Molecular to Cellular Systems. Wall, M. E. (ed.). CRC Press, p. 1-22 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • 2011

    Bisimulation and Logic

    Stirling, C., 2011, Advanced Topics in Bisimulation and Coinduction. Sangiorgi, D. & Rutten, J. (eds.). Cambridge University Press, p. 173-196 24 p. (Cambridge Tracts in Theoretical Computer Science; vol. 52).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  • Computing by observing: Simple systems and simple observers

    Cavaliere, M. & Leupold, P., 2011, Complexity of Simple Programs. Theoretical Computer Science, Vol. 412. p. 113-123 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Evaluating Service Level Agreements Using Observational Probes

    Clark, A. & Gilmore, S., 2011, Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Wirsing, M. & Hoelzl, M. (eds.). Springer-Verlag GmbH, p. 467-485 19 p. (Lecture Notes in Computer Science; vol. 6582).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  • Passage-End Analysis for Analysing Robot Movement

    Clark, A., Duguid, A. & Gilmore, S., 2011, Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Wirsing, M. & Hoelzl, M. (eds.). Springer-Verlag GmbH, p. 506-521 16 p. (Lecture Notes in Computer Science; vol. 6582).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  • Privacy Assurance Checking

    Pearson, S. & Elahi, M. T., 2011, Digital Privacy: PRIME - Privacy and Identity Management for Europe. Springer Berlin Heidelberg, p. 427-456 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Quantitative Analysis of Services

    Cappello, I., Clark, A., Gilmore, S., Latella, D., Loreti, M., Quaglia, P. & Schivo, S., 2011, Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Wirsing, M. & Hoelzl, M. (eds.). Springer-Verlag GmbH, p. 522-540 19 p. (Lecture Notes in Computer Science; vol. 6582).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  • Scaling Performance Analysis Using Fluid-Flow Approximation

    Tribastone, M. & Gilmore, S., 2011, Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Wirsing, M. & Hoelzl, M. (eds.). Springer-Verlag GmbH, p. 486-505 20 p. (Lecture Notes in Computer Science; vol. 6582).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  • 2010

    Modelling and analysis of the NF-κB pathway in Bio-PEPA

    Ciocchetta, F., Degasperi, A., Hillston, J. & Heath, J., 2010, Transactions on Computational Systems Biology XII: Special Issue on Modeling Methodologies. Springer-Verlag GmbH, Vol. XII. p. 229-262 34 p. (Lecture Notes in Computer Science; vol. 5945).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  • On CSP and the Algebraic Theory of Effects

    van Glabbeek, R. & Plotkin, G., 2010, Reflections on the Work of C.A.R. Hoare. Roscoe, A. W., Jones, C. B. & Wood, K. R. (eds.). London: Springer London, p. 333-369 37 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • 2009

    Extended Measurement Calculus

    Danos, V., Kashefi, E., Panangaden, P. & Perdrix, S., 2009, Semantic Techniques in Quantum Computation. Gay, S. & Mackie, I. (eds.). Cambridge University Press, p. 235-310 76 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Process Algebra Modelling Styles for Biomolecular Processes

    Calder, M. & Hillston, J., 2009, Transactions on Computational Systems Biology XI. Springer-Verlag GmbH, p. 1-25 25 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  • 2008

    A logic for parametric polymorphism with effects

    Simpson, A. & Mogelberg, R., 2008, Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers. Springer-Verlag GmbH, Vol. 4941. p. 142-156 15 p. (Lecture Notes in Computer Science; vol. 4941).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

    Open Access
    File
  • Modelling the CoCoME with the JAVA/A Component Model

    Knapp, A., Janisch, S., Hennicker, R., Clark, A., Gilmore, S., Hacklinger, F., Baumeister, H. & Wirsing, M., 2008, The Common Component Modeling Example: Comparing Software Component Models. Rausch, A., Reussner, R., Mirandola, R. & Plasil, F. (eds.). Springer-Verlag GmbH, Vol. 5153. p. 207-237 31 p. (Lecture Notes in Computer Science; vol. 5153).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  • 2007

    Data integration in eHealth: a domain/disease specific roadmap

    Ure, J., Procter, R., Martone, M., Porteous, D., Lloyd, S., Lawrie, S., Job, D., Baldock, R., Philp, A., Liewald, D., Rakebrandt, F., Blaikie, A., McKay, C., Anderson, S., Ainsworth, J., van Hemert, J., Blanquer, I., Sinnott, R., Barillot, C., Gibaud, F. B., & 17 othersWilliams, A., Hartswood, M., Watson, P., Smith, L., Burger, A., Kennedy, J., Gonzalez-Velez, H., Stevens, R., Corcho, O., Morton, R., Linksted, P., Deschenes, M., McGilchrist, M., Johnson, P., Voss, A., Gertz, R. & Wardlaw, J., 2007, From Genes to Personalized HealthCare: Grid Solutions for the Life Sciences. Vol. 126. p. 144-53 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • The complexity of independence-friendly fixpoint logic

    Bradfield, J. & Kreutzer, S., 2007, Foundations of the Formal Sciences V, Infinite Games. Bold, S., Löwe, B., Räsch, T. & van Benthem, J. (eds.). London: College Publications, p. 39-62 (Studies in Logic; vol. 11).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

    File
  • 2005

    A Characterisation of Weak Bisimulation Congruence

    van Glabbeek, R. J., 10 Dec 2005, Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. Middeldorp, A., van Oostrom, V., van Raamsdonk, F. & de Vrijer, R. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 26-39 14 p. (Lecture Notes in Computer Science; vol. 3838).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Constructive Set Theories and their Category-theoretic Models

    Simpson, A., 2005, From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics. Crosilla, L. & Schuster, P. (eds.). Oxford University Press, p. 41-59 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  • Reduction in a linear lambda-calculus with applications to operational semantics

    Simpson, A., 2005, Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings. Springer-Verlag GmbH, p. 219-234 15 p. (Lecture Notes in Computer Science; vol. 3467).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

    Open Access
    File
  • Understanding gaussian process regression using the equivalent kernel

    Sollich, P. & Williams, C. KI., 2005, Deterministic and statistical methods in machine learning. Springer-Verlag, p. 211-228 18 p. (Lecture Notes in Computer Science; vol. 3635).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • 2002

    Comparing Functional Paradigms for Exact Real-number Computation

    Bauer, A., Escardó, M. & Simpson, A., 2002, Automata, Languages and Programming: 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings. Springer-Verlag GmbH, p. 488-500 13 p. (Lecture Notes in Computer Science; vol. 2380).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

    Open Access
    File
  • 2001

    The Linear Time -- Branching Time Spectrum I; The Semantics of Concrete, Sequential Processes

    van Glabbeek, R. J., 16 Mar 2001, Handbook of Process Algebra. Bergstra, J. A., Ponse, A. & Smolka, S. A. (eds.). Elsevier Science B.V., p. 3-99 97 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • What is branching time semantics and why to use it?

    van Glabbeek, R. J., 1 Feb 2001, Current Trends in Theoretical Computer Science; Entering the 21st Century. Paun, G., Rozenberg, G. & Salomaa, A. (eds.). World Scientific, p. 469-479 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • Reasoning in Higraphs with Loose Edges

    Anderson, S., Power, J. & Tourlas, K., 2001, Human-Centric Computing Languages and Environments, IEEE CS International Symposium on. Institute of Electrical and Electronics Engineers (IEEE), p. 23-29 1 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • 1998

    Semantics of Database Transformations

    Davidson, S., Buneman, P. & Kosky, A., 1 Feb 1998, Semantics in Databases. Libkin, L. & Thalheim, B. (eds.). Springer-Verlag GmbH, p. 55-91 37 p. (Lecture Notes in Computer Science; vol. 1358).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    File
  • BioKleisli: Integrating Biomedical Data and Analysis Packages

    Davidson, S., Buneman, P., Crabtree, J., Tannen, V. & Wong, L., 1998, Bioinformatics: Databases and Systems. Letovsky, S. (ed.). Kluwer Academic Publishers, p. 201-211 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    File
  • 1995

    Gaining Assurance with Formal Methods

    Anderson, S. & Bruns, G., 13 Sept 1995, Applications of Formal Methods. Hinchey, M. G. & Bowen, J. P. (eds.). 1st ed. Upper Saddle River, NJ, USA: Prentice Hall PTR

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • 1992

    Interleaving semantics and action refinement with atomic choice

    Czaja, I., van Glabbeek, R. J. & Goltz, U., 10 Jun 1992, Advances in Petri Nets 1992. Rozenberg, G. (ed.). Springer-Verlag, Vol. 609. p. 89-107 19 p. (Lecture Notes in Computer Science; vol. 609).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  • 1989

    Refinement in Branching Time Semantics

    van Glabbeek, R. J. & Weijland, W. P., 1 Apr 1989, J.W. de Bakker, 25 jaar semantiek: liber amicorum. Klop, J. W., Meijer, J. J. C. & Rutten, J. J. M. M. (eds.). CWI, p. 197-201 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)