Filter
Chapter

Search results

  • 2019

    Annotations for Rule-Based Models

    Cavaliere, M., Danos, V., Honorato-Zimmer, R. & Waites, W., 2019, Modeling Biomolecular Site Dynamics: Methods and Protocols. Hlavacek, W. S. (ed.). New York, NY: Humana Press, p. 271-296 26 p. (Methods in Molecular Biology; vol. 1945).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2018

    Introduction to Bidirectional Transformations

    Abou-Saleh, F., Cheney, J., Gibbons, J., McKinna, J. & Stevens, P., Apr 2018, Bidirectional Transformations. Gibbons, J. & Stevens, P. (eds.). Springer, Cham, 28 p. (Lecture Notes in Computer Science; vol. 9715).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • On Normal Forms for Structured Specifications with Generating Constraints

    Sannella, D. & Tarlecki, A., 2018, Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig. Springer International Publishing, p. 266-284 19 p. (Lecture Notes in Computer Science; vol. 10800).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
  • 2017

    Physical Logic

    Clements, K., Dowker, F. & Wallden, P., 6 May 2017, The Incomputable: Journeys Beyond the Turing Barrier. Springer International Publishing, p. 47-61 14 p. (Theory and Applications of Computability; vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Entailment for Structured Specifications

    Hennicker, R., Sannella, D., Tarlecki, A. & Wirsing, M., 2017, (Accepted/In press) Towards an Encyclopaedia of Proof Systems. Woltzenlogel Paleo, B. (ed.). London, UK: College Publications, 1 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
  • Refinement of Structured Specifications

    Hennicker, R., Sannella, D., Tarlecki, A. & Wirsing, M., 2017, (Accepted/In press) Towards an Encyclopaedia of Proof Systems. Woltzenlogel Paleo, B. (ed.). London, UK: College Publications, 1 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2016

    Operational theories and Categorical quantum mechanics

    Abramsky, S. & Heunen, C., Mar 2016, Logic and Algebraic Structures in Quantum Computing. Cambridge University Press, 37 p. (Lecture Notes in Logic; vol. 45).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Equivalence - Combinatorics, Algebra, Proofs

    Seidl, H., Maneth, S., Kemper, G. & Engelfriet, J., 2016, Equivalence - Combinatorics, Algebra, Proofs. IOS Press, p. 202 - 243 42 p. (NATO Science for Peace and Security Series - D: Information and Communication Security; vol. 45).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Learning structured distributions

    Diakonikolas, I., 2016, Handbook of Big Data. CRC Press, p. 267-288 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2015

    The many classical faces of quantum structures

    Heunen, C., 6 Oct 2015, (Accepted/In press) The Mammoth Book of Quantum Mechanics Interpretations. Edvinsson, U. (ed.). Open Academic Press, 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • Measuring Change Impact on Program Behaviour

    Rajan, A. & Kroening, D., 2015, Validation of Evolving Software. Chockler, H., Kroening, D., Mariani, L. & Sharygina, N. (eds.). Cham: Springer International Publishing, p. 125-145 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Modularity of Ontologies in an Arbitrary Institution

    Ibañez, Y. A., Mossakowski, T., Sannella, D. & Tarlecki, A., 2015, Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday. Martí-Oliet, N., Ölveczky, C. P. & Talcott, C. (eds.). Cham: Springer International Publishing, p. 361-379 19 p. (Lecture Notes in Computer Science; vol. 9200).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • The foundational legacy of ASL

    Sannella, D. & Tarlecki, A., 2015, Software, Services and Systems: : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. Springer International Publishing, p. 253-272 20 p. (Lecture Notes in Computer Science; vol. 8950).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
  • 2014

    Kappa Rule-Based Modeling in Synthetic Biology

    Wilson-kanamori, J., Danos, V., Thomson, T. & Honorato-zimmer, R., 13 Nov 2014, Computational Methods in Synthetic Biology: Part II. Springer New York, p. 105-135 31 p. (Methods in Molecular Biology; vol. 1244).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Free Energy of Petri Nets

    Danos, V. & Garnier, I., 2014, Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. van Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (eds.). Springer International Publishing, Vol. 8464. p. 268-289 22 p. (Lecture Notes in Computer Science; vol. 8464).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Layout Randomization and Nondeterminism

    Abadi, M., Planul, J. & Plotkin, G. D., 2014, Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. van Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (eds.). Springer International Publishing, p. 1-39 39 p. (Lecture Notes in Computer Science; vol. 8464).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
  • Towards Efficient Reasoning Under Guarded-Based Disjunctive Existential Rules

    Bourhis, P., Morak, M. & Pieris, A., 2014, Mathematical Foundations of Computer Science 2014: 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I. Csuhaj-Varjú, E., Dietzfelbinger, M. & Ésik, Z. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 99-110 12 p. (Lecture Notes in Computer Science; vol. 8634).

    Research output: Chapter in Book/Report/Conference proceedingChapter