If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2018

    Survival of the fattest: Evolutionary trade-offs in cellular resource storage

    Terradot, G., Beica, A., Weisse, A. & Danos, V., 13 Apr 2018, Electronic Notes in Theoretical Computer Science: 7th International Workshop on Static Analysis and Systems Biology (SASB 2016). Vol. 335. p. 91-112 22 p. (Electronic Notes in Theoretical Computer Science; vol. 335).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2017

    Computing continuous time Markov chains as transformers of unbounded observation functions

    Danos, V., Garnier, I., Heindel, T. & Simonsen, J. G., 16 Mar 2017, Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures. Springer International Publishing, p. 338-354 27 p. (Lecture Notes in Computer Science ; vol. 10203).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Pointless learning

    Clerc, F., Dahlqvist, F., Danos, V. & Garnier, I., 16 Mar 2017, 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017). Springer Berlin Heidelberg, p. 355-369 15 p. (Lecture Notes in Computer Science; vol. 10203).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2016

    Bayesian Inversion by Omega-Complete Cone Duality (Invited Paper)

    Dahlqvist, F., Danos, V., Garnier, I. & Kammar, O., 26 Aug 2016, 27th International Conference on Concurrency Theory (CONCUR 2016). Desharnais, J. & Jagadeesan, R. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 1:1-1:15 16 p. 1. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 59).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Emergent Communities in Socio-Cognitive Networks

    Danos, V. & Honorato Zimmer, R., 19 Dec 2016, IEEE International Workshops on Foundations and Applications of Self* Systems. Augsburg, Germany: Institute of Electrical and Electronics Engineers (IEEE), p. 24-29 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Learning in open adaptive networks

    Yang, G. & Danos, V., 8 Dec 2016, The 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO’16). Augsburg, Germany: Institute of Electrical and Electronics Engineers (IEEE), p. 50-59 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Modular Composition of Synthetic Biology Designs using Rule-Based Models

    Misirli, G., Waites, W., Cavaliere, M., Zuliani, P., Danos, V. & Wipat, A., 16 Aug 2016, Proceedings of 8th International Workshop on Bio-Design Automation IWBDA 2016. p. 83-84 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Robustly Parameterised Higher-Order Probabilistic Models

    Dahlqvist, F., Danos, V. & Garnier, I., 26 Aug 2016, 27th International Conference on Concurrency Theory (CONCUR 2016). Desharnais, J. & Jagadeesan, R. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Vol. 59. p. 23:1-23:15 16 p. 23. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 59).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Stochastic mechanics of graph rewriting

    Behr, N., Danos, V. & Garnier, I., 5 Jul 2016, LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. ACM, Vol. New York, USA. p. 46-55 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Synchronous Balanced Analysis

    Beica, A. & Danos, V., 25 Sep 2016, The 5th International Workshop on Hybrid Systems Biology, HSB’16: Hybrid Systems Biology. Springer International Publishing, p. 85-94 10 p. (Lecture Notes in Computer Science; vol. 9957).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2015

    Computing approximations for graph transformation systems

    Danos, V., Heindel, T. & Honorato Zimmer, R., 5 May 2015, (Accepted/In press) 2nd International Workshop on Meta Models for Process Languages . 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Moment Semantics for Reversible Rule-Based Systems

    Danos, V., Heindel, T., Honorato-zimmer, R. & Stucki, S., 20 Jun 2015, Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Springer International Publishing, p. 3-26 24 p. Chapter 1. (Lecture Notes in Computer Science; vol. 9138).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2014

    Approximations for Stochastic Graph Rewriting

    Danos, V., Heindel, T., Honorato Zimmer, R. & Stucki, S., 2014, Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. Merz, S. & Pang, J. (eds.). Springer International Publishing, p. 1-10 10 p. (Lecture Notes in Computer Science; vol. 8829).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Reversible Sesqui-Pushout Rewriting

    Danos, V., Heindel, T., Honorato Zimmer, R. & Stucki, S., 2014, Graph Transformation: 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings. Giese, H. & König, B. (eds.). Springer International Publishing, Vol. 8571. p. 161-176 16 p. (Lecture Notes in Computer Science; vol. 8571).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    File
  • Transformation and Refinement of Rigid Structures

    Danos, V., Heckel, R. & Sobocinski, P., 2014, Graph Transformation: 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings. Giese, H. & König, B. (eds.). Springer International Publishing, Vol. 8571. p. 146-160 15 p. (Lecture Notes in Computer Science; vol. 8571).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2013

    Thermodynamic Graph-rewriting

    Danos, V., Harmer, R. & Honorato Zimmer, R., 2013, CONCUR 2013 – Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, p. 380-394 15 p. (Lecture Notes in Computer Science; vol. 8052).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2012

    Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models

    Danos, V., Feret, J., Fontana, W., Harmer, R., Hayman, J., Krivine, J., Thompson-Walsh, C. & Winskel, G., 2012, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012). D'Souza, D., Kavitha, T. & Radhakrishnan, J. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Vol. 18. p. 276-288 13 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2011

    Cooperative Assembly Systems

    Danos, V., Koeppl, H. & Wilson-Kanamori, J., 2011, DNA Computing and Molecular Programming: 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings. Cardelli, L. & Shih, W. (eds.). Springer Berlin Heidelberg, Vol. 6937. p. 1-20 20 p. (Lecture Notes in Computer Science; vol. 6937).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • On the Statistical Thermodynamics of Reversible Communicating Processes

    Bacci, G., Danos, V. & Kammar, O., 2011, Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Corradini, A., Klin, B. & Cîrstea, C. (eds.). Springer Berlin Heidelberg, Vol. 6859. p. 1-18 18 p. (Lecture Notes in Computer Science; vol. 6859).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2010

    Abstracting the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture)

    Danos, V., Feret, J., Fontana, W., Harmer, R. & Krivine, J., 2010, 25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010). LOS ALAMITOS: Institute of Electrical and Electronics Engineers (IEEE), p. 362-381 20 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Equilibrium and Termination

    Danos, V. & Oury, N., 2010, Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010.. p. 75-84 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2009

    Approximating Labelled Markov Processes Again!

    Chaput, P., Danos, V., Panangaden, P. & Plotkin, G., 2009, Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings. Kurz, A., Lenisa, M. & Tarlecki, A. (eds.). Springer Berlin Heidelberg, Vol. 5728. p. 145-156 12 p. (Lecture Notes in Computer Science; vol. 5728).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Approximating Markov Processes by Averaging

    Chaput, P., Danos, V., Panangaden, P. & Plotkin, G., 2009, Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II. Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S. & Thomas, W. (eds.). Springer Berlin Heidelberg, Vol. 5556. p. 127-138 12 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Approximating Markov Processes by Averaging

    Chaput, P., Danos, V., Panangaden, P. & Plotkin, G. D., 2009, Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II. Springer Berlin Heidelberg, Vol. 5556. p. 127-138 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • A statistical analysis of receptor clustering using random graphs

    Koeppl, H., Schumacher, L. & Danos, V., 2009, Proceedings of Sixth International Workshop on Computational Systems Biology, WCSB 2009. p. 95-98 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Investigation of a Biological Repair Scheme

    Danos, V., Féret, J., Fontana, W., Harmer, R. & Krivine, J., 2009, Membrane Computing: 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers. Corne, D., Frisco, P., Păun, G., Rozenberg, G. & Salomaa, A. (eds.). Springer Berlin Heidelberg, Vol. 5391. p. 1-12 12 p. (Lecture Notes in Computer Science; vol. 5391).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Modelling Epigenetic Information Maintenance: A Kappa Tutorial

    Krivine, J., Danos, V. & Benecke, A., 2009, Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings. Bouajjani, A. & Maler, O. (eds.). Springer Berlin Heidelberg, Vol. 5643. p. 17-32 16 p. (Lecture Notes in Computer Science; vol. 5643).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Rule-based modeling for protein-protein interaction networks-the Cyanobacterial circadian clock as a case study

    Koeppl, H., Hafner, M. & Danos, V., 2009, International Workshop on Computational Systems Biology 2009. p. 87-90 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • 2008

    Abstract Interpretation of Cellular Signalling Networks

    Danos, V., Feret, J., Fontana, W. & Krivine, J., 2008, Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings. Logozzo, F., Peled, D. & Zuck, L. (eds.). Springer-Verlag GmbH, p. 83-97 15 p. (Lecture Notes in Computer Science; vol. 4905).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Quadratic Form Expansions for Unitaries

    de Beaudrap, N., Danos, V., Kashefi, E. & Roetteler, M., 2008, Theory of Quantum Computation, Communication, and Cryptography: Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers. Kawano, Y. & Mosca, M. (eds.). Springer Berlin Heidelberg, Vol. 5106. p. 29-46 18 p. (Lecture Notes in Computer Science; vol. 5106).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Rule-Based Modelling, Symmetries, Refinements

    Danos, V., Feret, J., Fontana, W., Harmer, R. & Krivine, J., 2008, Formal Methods in Systems Biology: First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings. Fisher, J. (ed.). Springer-Verlag GmbH, p. 103-122 20 p. (Lecture Notes in Computer Science; vol. 5054).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2007

    Rule-based Modelling of Cellular Signalling

    Danos, V., Feret, J., Fontana, W., Harmer, R. & Krivine, J., 2007, Proceedings of the 18th International Conference on Concurrency Theory. Berlin, Heidelberg: Springer-Verlag, p. 17-41 25 p. (CONCUR'07).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Scalable Simulation of Cellular Signaling Networks

    Danos, V., Feret, J., Fontana, W. & Krivine, J., 2007, Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings. Shao, Z. (ed.). Springer Berlin Heidelberg, Vol. 4807. p. 139-157 19 p. (Lecture Notes in Computer Science; vol. 4807).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2006

    Robustness Analysis of the Heat Shock Response using semiquantitative Reasoning

    Koeppl, H., Schindler, S., Kashefi, E., Messina, C. & Danos, V., 2006, Proceedings of Santa Fe Institute Complex Systems Summer School 2006. 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • The One Way to Quantum Computation

    Danos, V., Kashefi, E. & Panangaden, P., 2006, Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II. Bugliesi, M., Preneel, B., Sassone, V. & Wegener, I. (eds.). Springer Berlin Heidelberg, Vol. 4052. p. 13-21 9 p. (Lecture Notes in Computer Science; vol. 4052).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2005

    Projective Brane Calculus

    Danos, V. & Pradalier, S., 2005, Computational Methods in Systems Biology: International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers. Danos, V. & Schachter, V. (eds.). Springer Berlin Heidelberg, Vol. 3082. p. 134-148 15 p. (Lecture Notes in Computer Science; vol. 3082).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Self Assembling Graphs

    Danos, V. & Tarissan, F., 2005, Mechanisms, Symbols, and Models Underlying Cognition: First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part I. Mira, J. & Álvarez, J. (eds.). Springer Berlin Heidelberg, Vol. 3561. p. 498-507 10 p. (Lecture Notes in Computer Science; vol. 3561).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Transactions in RCCS

    Danos, V. & Krivine, J., 2005, CONCUR 2005 – Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings. Springer Physica, p. 398-412 15 p. (Lecture Notes in Computer Science; vol. 3653).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2004

    Reversible Communicating Systems

    Danos, V. & Krivine, J., 2004, CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings. Gardner, P. & Yoshida, N. (eds.). Springer Berlin Heidelberg, Vol. 3170. p. 292-307 16 p. (Lecture Notes in Computer Science; vol. 3170).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2003

    A Core Modeling Language for the Working Molecular Biologist (Abstract)

    Chiaverini, M. & Danos, V., 2003, Computational Methods in Systems Biology: First International Workshop, CMSB 2003 Rovereto, Italy, February 24–26, 2003 Proceedings. Priami, C. (ed.). Springer Berlin Heidelberg, Vol. 2602. p. 166-166 1 p. (Lecture Notes in Computer Science; vol. 2602).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Conditional Expectation and the Approximation of Labelled Markov Processes

    Danos, V., Desharnais, J. & Panangaden, P., 2003, CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003. Proceedings. Amadio, R. & Lugiez, D. (eds.). Springer Berlin Heidelberg, Vol. 2761. p. 477-491 15 p. (Lecture Notes in Computer Science; vol. 2761).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Core Formal Molecular Biology

    Danos, V. & Laneve, C., 2003, Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings. Degano, P. (ed.). Springer Berlin Heidelberg, Vol. 2618. p. 302-318 17 p. (Lecture Notes in Computer Science; vol. 2618).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Disjunctive Normal Forms and Local Exceptions

    Beffara, E. & Danos, V., 2003, Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming. New York, NY, USA: ACM, p. 203-211 9 p. (ICFP '03).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Disjunctive Normal Forms and Local Exceptions

    Beffara, E. & Danos, V., Aug 2003, ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming. ACM, p. 203-211 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Graphs for Core Molecular Biology

    Danos, V. & Laneve, C., 2003, Computational Methods in Systems Biology: First International Workshop, CMSB 2003 Rovereto, Italy, February 24–26, 2003 Proceedings. Priami, C. (ed.). Springer Berlin Heidelberg, Vol. 2602. p. 34-46 13 p. (Lecture Notes in Computer Science; vol. 2602).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2001

    The Anatomy of Innocence

    Danos, V. & Harmer, R., 2001, Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings. Fribourg, L. (ed.). Springer Berlin Heidelberg, Vol. 2142. p. 188-202 15 p. (Lecture Notes in Computer Science; vol. 2142).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2000

    Disjunctive Tautologies as Synchronisation Schemes

    Danos, V. & Krivine, J-L., 2000, Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings. Clote, P. & Schwichtenberg, H. (eds.). Springer Berlin Heidelberg, Vol. 1862. p. 292-301 10 p. (Lecture Notes in Computer Science; vol. 1862).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1998

    Timeless games

    Baillot, P., Danos, V., Ehrhard, T. & Regnier, L., 1998, Computer Science Logic: 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers. Nielsen, M. & Thomas, W. (eds.). Springer Berlin Heidelberg, Vol. 1414. p. 56-77 22 p. (Lecture Notes in Computer Science; vol. 1414).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1997

    Directed virtual reductions

    Danos, V., Pedicini, M. & Regnier, L., 1997, Computer Science Logic: 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers. van Dalen, D. & Bezem, M. (eds.). Springer Berlin Heidelberg, Vol. 1258. p. 76-88 13 p. (Lecture Notes in Computer Science; vol. 1258).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1994

    Paths in the lambda-calculus. Three years of communications without understanding

    Asperti, A., Danos, V., Laneve, C. & Regnier, L., Jul 1994, Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on. Institute of Electrical and Electronics Engineers (IEEE), p. 426-436 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution