Laboratory for Foundations of Computer Science

Filter
Chapter

Search results

  • 2021

    Sampling Constraint Satisfaction Solutions in the Local Lemma Regime

    Feng, W., He, K. & Yin, Y., 15 Jun 2021, Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing. New York, NY, USA: ACM Association for Computing Machinery, p. 1565–1578 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Distributed Metropolis Sampler with Optimal Parallelism

    Feng, W., Hayes, T. P. & Yin, Y., 10 Jan 2021, Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA). SIAM, p. 2121-2140 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 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

    Conflation Confers Concurrency

    Atkey, R., Lindley, S. & Morris, J. G., 4 Mar 2016, A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. Springer International Publishing, p. 32-55 25 p. (Lecture Notes in Computer Science; vol. 9600).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
  • 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

  • An Algebraic Treatment of Recursion

    van Glabbeek, R., 2016, Liber Amicorum for Jan A. Bergstra. Bethke, I., Bredeweg, B. & Ponse, A. (eds.). Informatics Institute, University of Amsterdam, p. 58-59 2 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • 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

    Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer

    Badertscher, C., Matt, C., Maurer, U., Rogaway, P. & Tackmann, B., 28 Nov 2015, Provable Security: 9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings. Au, M-H. & Miyaji, A. (eds.). 1st ed. Springer, p. 85-104 Chapter 5. (Provable Security; vol. 9451)(Lecture Notes in Computer Science; vol. 9451).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 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
  • DisPA: An Intelligent Agent for Private Web Search

    Juarez, M. & Torra, V., 2015, Advanced Research in Data Privacy. Navarro-Arribas, G. & Torra, V. (eds.). 1 ed. Cham: Springer International Publishing Switzerland, p. 389-405 17 p. (Studies in Computational Intelligence; vol. 567).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 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

  • How to Sign Paper Contracts? Conjectures and Evidence Related to Equitable and Efficient Collaborative Task Scheduling

    Brier, E., Naccache, D. & Xia, L., 11 Nov 2014, Open Problems in Mathematics and Computational Science. Koç, Ç. K. (ed.). Cham: Springer International Publishing Switzerland, p. 317-340 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Twelve Big Questions for Research on Social Collective Intelligence

    Anderson, S., Miorandi, D., Carreras, I. & Robertson, D., Aug 2014, Social Collective Intelligence: Combining the Powers of Humans and Machines to Build a Smarter Society. Springer International Publishing, p. 93-101 9 p. (Computational Social Sciences).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Coordinating Caregiving using Smartphone Technology: a Collaborative Software Prototype Approach

    Lin, Z-S., McKinstry, B. & Anderson, S., 2014, Integrating Information Technology and Management for Quality of Care. Mantas, J., Househ, M. S. & Hasman, A. (eds.). p. 237-240 4 p.

    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
  • Statistical Model Checking of Membrane Systems with Peripheral Proteins: Quantifying the Role of Estrogen in Cellular Mitosis and DNA Damage

    Cavaliere, M., Mazza, T. & Sedwards, S., 2014, Applications of Membrane Computing in Systems and Synthetic Biology. Frisco, P., Gheorghe, M. & Pérez-Jiménez, M. J. (eds.). Springer International Publishing, p. 43-63 21 p. (Emergence, Complexity and Computation; vol. 7).

    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

  • 2013

    Plasticity facilitates sustainable growth in the commons

    Cavaliere, M. & Poyatos, J. F., 30 Jan 2013, Interface. 81 ed. The Royal Society, Vol. 10. 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
  • Information-theoretic secure multiparty computation

    Maurer, U. & Zikas, V., 1 Jan 2013, Secure Multi-Party Computation. IOS Press, p. 168-200 33 p. (Cryptology and Information Security Series; vol. 10).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • A Calculus of Chemical Systems

    Plotkin, G., 2013, In Search of Elegance in the Theory and Practice of Computation: Essays Dedicated to Peter Buneman. Tannen, V., Wong, L., Libkin, L., Fan, W., Tan, W-C. & Fourman, M. (eds.). Springer-Verlag GmbH, p. 445-465 21 p. (Lecture Notes in Computer Science; vol. 8000).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
  • Query Processing in Data Integration

    Guagliardo, P. & Wieczorek, P., 2013, Data Exchange, Integration, and Streams. Kolaitis, P. G., Lenzerini, M. & Schweikardt, N. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Vol. 5. p. 129-160 32 p. (Dagstuhl Follow-Ups).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
  • Static Analysis and Query Answering for Incomplete Data Trees with Constraints

    Gheerbrant, A., Libkin, L. & Reutter, J., 2013, In Search of Elegance in the Theory and Practice of Computation - Essays Dedicated to Peter Buneman. Springer-Verlag GmbH, p. 273-290 18 p. (Lecture Notes in Computer Science; vol. 8000).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    File
  • Technologies of Participation: A Case Study of CSCL@Work in Mammography

    Hartswood, M., Procter, R., Taylor, P., Blot, L. & Anderson, S., 2013, Computer-Supported Collaborative Learning at the Workplace: CSCL@Work. Goggins, S. P., Jahnke, I. & Wulf, V. (eds.). Springer US, Vol. 14. p. 113-138 26 p. (Computer-Supported Collaborative Learning Series; vol. 14).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • The Strategy Challenge in SMT Solving

    de Moura, L. & Passmore, G., 2013, Automated Reasoning and Mathematics: Essays in Memory of William W. McCune. Bonacina, M. & Stickel, M. (eds.). Springer Berlin Heidelberg, Vol. 7788. p. 15-44 30 p. (Lecture Notes in Computer Science; vol. 7788).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    File
  • Toward a Theory of Self-explaining Computation

    Cheney, J., Acar, U. A. & Perera, R., 2013, In Search of Elegance in the Theory and Practice of Computation: Essays Dedicated to Peter Buneman. Tannen, V., Wong, L., Libkin, L., Fan, W., Tan, W-C. & Fourman, M. (eds.). Springer Berlin Heidelberg, Vol. 8000. p. 193-216 24 p. (Lecture Notes in Computer Science; vol. 8000).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Tractable Reasoning in Description Logics with Functionality Constraints

    Calì, A., Gottlob, G. & Pieris, A., 2013, In Search of Elegance in the Theory and Practice of Computation: Essays Dedicated to Peter Buneman. Tannen, V., Wong, L., Libkin, L., Fan, W., Tan, W-C. & Fourman, M. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 174-192 19 p. (Lecture Notes in Computer Science; vol. 8000).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • XML Web Services: The Global Computer?

    Gordon, A., 2013, Foundations of Information Technology in the Era of Network and Mobile Computing: IFIP 17th World Computer Congress — TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002) August 25–30, 2002, Montréal, Québec, Canada. Springer US, p. 355 1 p. (IFIP Advances in Information and Communication Technology; vol. 96).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2012

    Providing Dependability and Resilience in the Cloud: Challenges and Opportunities

    Kounev, S., Reinecke, P., Brosig, F., Bradley, J. T., Joshi, K., Babka, V., Gilmore, S. T. & Stefanek, A., 1 Jun 2012, Resilience Assessment and Evaluation of Computing Systems. Springer-Verlag, p. 65-81 17 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Adaptive Wavelet Synthesis for Improving Digital Image Watermarking

    Stolarek, J., 2012, Towards Modern Collaborative Knowledge Sharing Systems. Lipiski, P. & wirski, K. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 133-143 11 p. (Studies in Computational Intelligence; vol. 401).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Combining Game Theory and Graph Theory to Model Interactions between Cells in the Tumor Microenvironment

    Csikasz-Nagy, A., Cavaliere, M. & Sedwards, S., 2012, Combining Game Theory and Graph Theory to Model Interactions between Cells in the Tumor Microenvironment: New Challenges for Cancer Systems Biomedicine. Springer Milan, p. 3-18 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Formal methods for checking the consistency of biological models

    Clark, A., Galpin, V., Gilmore, S., Guerriero, M. L. & Hillston, J., 2012, Advances in Systems Biology. Goryanin, I. I. & Goryachev, A. B. (eds.). Springer New York, Vol. 736. p. 461-475 15 p. (Advances in Experimental Medicine and Biology).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • The Return of the Entity-Relationship Model: Ontological Query Answering

    Calì, A., Gottlob, G. & Pieris, A., 2012, Semantic Search over the Web. Springer Berlin Heidelberg, p. 255-281 27 p. (Data-Centric Systems and Applications).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Type Checking of Tree Walking Transducers

    Maneth, S., Friese, S. & Seidl, H., 2012, Modern Applications of Automata Theory: Part II: Verification. Vol. 2. p. 325-372 48 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2011

    Cryptographic Mechanisms for Privacy

    Camenisch, J., Dubovitskaya, M., Kohlweiss, M., Lapon, J. & Neven, G., 23 Jun 2011, (E-pub ahead of print) Privacy and Identity Management for Life. Springer, p. 117-134 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Bohrification

    Heunen, C., Landsman, N. P. & Spitters, B., Jun 2011, Deep Beauty: Understanding the Quantum World through Mathematical Innovation. Cambridge University Press, 44 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
  • Further Privacy Mechanisms

    Kalam, A. A. E., Melchor, C. A., Berthold, S., Camenisch, J., Clauß, S., Deswarte, Y., Kohlweiss, M., Panchenko, A., Pimenidis, L. & Roy, M., 2011, Digital Privacy. Springer, p. 485-555 71 p. (Lecture Notes in Computer Science; vol. 6545).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Key Generation Using Physical Properties of Wireless Communication

    Kiayias, A. & Yener, B., 2011, Encyclopedia of Cryptography and Security. 2nd ed. Springer US, p. 682-683 2 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Pseudonyms and Private Credentials

    Camenisch, J., Kohlweiss, M. & Sommer, D., 2011, (E-pub ahead of print) Digital Privacy - PRIME - Privacy and Identity Management for Europe. Springer-Verlag, p. 289-308 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2010

    A (natural) computing perspective on cellular processes

    Cavaliere, M. & Mazza, T., May 2010, Elements of Computational Systems Biology. John Wiley & Sons Inc., 115 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Rule-Based Modeling and Model Refinement

    Murphy, E., Danos, V., Feret, J., Krivine, J. & Harmer, R., 14 Jan 2010, Elements of Computational Systems Biology. John Wiley & Sons Inc., p. 83-114 32 p. (Bioinformatics: Computational Techniques and Engineering).

    Research output: Chapter in Book/Report/Conference proceedingChapter