Mathematically Structured Programming

Filter
Conference contribution book

Search results

  • 2023

    Compiling higher-order specifications to SMT solvers: how to deal with rejection constructively

    Daggitt, M. L., Atkey, R., Kokke, W., Komendantskaya, E. & Arnaboldi, L., 11 Jan 2023, CPP 2023 : Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. New York, NY., p. 102-120 19 p.

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

    Open Access
    File
    1 Downloads (Pure)
  • 2022

    Size measures and alphabetic equivalence in the μ-calculus

    Kupke, C., Marti, J. & Venema, Y., 5 Aug 2022, Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA, 13 p. 18. (Proceedings - Symposium on Logic in Computer Science).

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

    Open Access
    File
    2 Downloads (Pure)
  • Quantitative polynomial functors

    Nakov, G. & Nordvall Forsberg, F., 4 Aug 2022, 27th International Conference on Types for Proofs and Programs (TYPES 2021). Basold, H., Cockx, J. & Ghilezan, S. (eds.). Dagstuhl, Germany, Vol. 239. p. 10:1--10:22 22 p. 10. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 239).

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

    Open Access
    File
    4 Downloads (Pure)
  • A framework for substructural type systems

    Wood, J. & Atkey, R., 7 Apr 2022, (E-pub ahead of print) ESOP 2022 Proceedings. Cham, Switzerland: Springer, 27 p. (Lecture Notes in Computer Science).

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

  • A simplicial model for KB4n: epistemic logic with agents that may die

    Goubault, É., Ledent, J. & Rajsbaum, S., 18 Mar 2022, 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022). Berenbrink, P. & Monmege, B. (eds.). Dagstuhl, Germany, Vol. 219. p. 33:1--33:20 20 p. 33. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 219).

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

    Open Access
    File
    2 Downloads (Pure)
  • Succinct graph representations of µ-calculus formulas

    Kupke, C., Marti, J. & Venema, Y., 19 Feb 2022, 30th EACSL Annual Conference on Computer Science Logic, CSL 2022. Manea, F. & Simpson, A. (eds.). Dagstuhl, Germany, 18 p. 29. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 216).

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

    Open Access
    File
    1 Citation (Scopus)
    6 Downloads (Pure)
  • 2021

    Quantitative polynomial functors

    Nakov, G. & Forsberg, F. N., 3 Sep 2021, 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). Gadducci, F. & Silva, A. (eds.). Dagstuhl, Germany, p. 22:1-22:5 5 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 211).

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

    Open Access
    File
    7 Downloads (Pure)
  • Connecting constructive notions of ordinals in homotopy type theory

    Nordvall Forsberg, F., Xu, C. & Kraus, N., 27 Aug 2021, 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021). Wadern, Germany, Vol. 202. p. 42:1-42:16 16 p. 42

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

    Open Access
    File
    1 Citation (Scopus)
    9 Downloads (Pure)
  • Brief announcement: variants of approximate agreement on graphs and simplicial complexes

    Ledent, J., 26 Jul 2021, PODC 2021 - Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing. New York, NY., p. 427–430 4 p.

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

    Open Access
    File
    1 Citation (Scopus)
    2 Downloads (Pure)
  • Translating extensive form games to open games with agency

    Capucci, M., Ghani, N., Ledent, J. & Nordvall Forsberg, F., 12 Jul 2021, Applied Category Theory 2021. Cambridge, 13 p.

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

    Open Access
    File
    27 Downloads (Pure)
  • Expressivity of quantitative modal logics: categorical foundations via codensity and approximation

    Kormorida, Y., Katsumata, S., Kupke, C., Rot, J. & Hasup, I., 7 Jul 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Piscataway, NJ: IEEE, 14 p. (Proceedings - Symposium on Logic in Computer Science; vol. 2021-June).

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

    Open Access
    File
    2 Citations (Scopus)
    3 Downloads (Pure)
  • Fixed-points for quantitative equational logics

    Mardare, R., Panangaden, P. & Plotkin, G., 7 Jul 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Piscataway, NJ: IEEE, Vol. 1. p. 1-13 14 p. (Proceedings - Symposium on Logic in Computer Science; vol. 2021-June).

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

    Open Access
    File
    4 Citations (Scopus)
    3 Downloads (Pure)
  • Universal semantics for the stochastic λ-calculus

    de Amorim, P. H. A., Kozen, D., Mardare, R., Panangaden, P. & Roberts, M., 7 Jul 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. IEEE, 12 p. (Proceedings - Symposium on Logic in Computer Science; vol. 2021-June).

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

    Open Access
    File
    2 Citations (Scopus)
    5 Downloads (Pure)
  • Compositional modelling of network games

    Di Lavore, E., Hedges, J. & Sobociński, P., 13 Jan 2021, 29th EACSL Annual Conference on Computer Science Logic, CSL 2021. Baier, C. & Goubault-Larrecq, J. (eds.). Dagstuhl, Germany, 25 p. 30. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 183).

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

    Open Access
    File
    1 Citation (Scopus)
    8 Downloads (Pure)
  • 2020

    Learning weighted automata over principal ideal domains

    van Heerdt, G., Kupke, C., Rot, J. & Silva, A., 17 Apr 2020, Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. Goubault-Larrecq, J. & König, B. (eds.). Cham, Switzerland: Springer, p. 602-621 20 p. (Lecture Notes in Computer Science; vol. 12077).

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

    Open Access
    File
    4 Citations (Scopus)
    34 Downloads (Pure)
  • Three equivalent ordinal notation systems in cubical Agda

    Nordvall Forsberg, F., Xu, C. & Ghani, N., 24 Jan 2020, CPP 2020 : Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs. Blanchette, J. & Hritcu, C. (eds.). New York, p. 172–185 14 p.

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

    Open Access
    File
    5 Citations (Scopus)
    38 Downloads (Pure)
  • 2019

    Computing probabilistic bisimilarity distances for probabilistic automata

    Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 1 Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Dagstuhl, Germany, Vol. 140. 17 p. 9

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

    Open Access
    File
    6 Citations (Scopus)
    54 Downloads (Pure)
  • 2018

    A hemimetric extension of simulation for semi-markov decision processes

    Pedersen, M. R., Bacci, G., Larsen, K. G. & Mardare, R., 4 Sep 2018, Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Proceedings. McIver, A. & Horvath, A. (eds.). Cham: Springer-Verlag, p. 339-355 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11024 LNCS).

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

    Open Access
    File
    1 Citation (Scopus)
    2 Downloads (Pure)
  • Weighted branching systems: behavioural equivalence, behavioural distance, and their logical characterisations

    Jensen, M. C., Larsen, K. G. & Mardare, R., 26 Aug 2018, Formal Modeling and Analysis of Timed Systems - 16th International Conference, FORMATS 2018, Proceedings. Jansen, D. N. & Prabhakar, P. (eds.). Cham: Springer-Verlag, p. 145-161 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11022 LNCS).

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

    1 Citation (Scopus)
  • Optimization strategies for integration pattern compositions

    Ritter, D., May, N., Nordvall Forsberg, F. & Rinderle-Ma, S., 17 Apr 2018, (Accepted/In press) 12th ACM International Conference on Distributed and Event-based Systems (DEBS). New York: Association for Computing Machinery (ACM), 12 p.

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

    Open Access
    File
    7 Citations (Scopus)
    28 Downloads (Pure)
  • Quotient inductive-inductive types

    Altenkirch, T., Capriotti, P., Dijkstra, G., Kraus, N. & Nordvall Forsberg, F., 14 Apr 2018, Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Baier, C. & Dal Lago, U. (eds.). Cham, p. 293-310 18 p. (Lecture Notes in Computer Science; vol. 10803).

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

    Open Access
    File
    27 Citations (Scopus)
    16 Downloads (Pure)
  • Timed comparisons of semi-Markov processes

    Pedersen, M. R., Fijalkow, N., Bacci, G., Larsen, K. G. & Mardare, R., 8 Mar 2018, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings. Klein, S. T., Martín-Vide, C. & Shapira, D. (eds.). Cham: Springer-Verlag, p. 271-283 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10792 LNCS).

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

    1 Citation (Scopus)
  • Parity games and automata for game logic

    Hansen, H. H., Kupke, C., Marti, J. & Venema, Y., 3 Jan 2018, (E-pub ahead of print) Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. Madeira, A. & Benevides, M. (eds.). Cham: Springer, p. 115-132 18 p. (Lecture Notes in Computer Science; vol. 10669).

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

    Open Access
    File
    3 Citations (Scopus)
    46 Downloads (Pure)
  • 2017

    Variations on inductive-recursive definitions

    Ghani, N., McBride, C., Nordvall Forsberg, F. & Spahn, S., 30 Nov 2017, Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science. Germany, 13 p. 63. (Leibniz International Proceedings in Informatics ).

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

    Open Access
    File
    1 Citation (Scopus)
    34 Downloads (Pure)
  • Angluin learning via logic

    Barlocco, S. & Kupke, C., 28 Nov 2017, Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings. Artemov, S. & Nerode, A. (eds.). Cham: Springer, p. 72-90 19 p. (Lecture Notes in Computer Science; vol. 10703).

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

    Open Access
    File
    2 Citations (Scopus)
    50 Downloads (Pure)
  • Continuation passing style for effect handlers

    Hillerström, D., Lindley, S., Atkey, R. & Sivaramakrishnan, KC., 3 Sep 2017, 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017). Miller, D. (ed.). Germany, p. 18:1-18:19 19 p. 18. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 84).

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

    Open Access
    File
    24 Citations (Scopus)
    30 Downloads (Pure)
  • Riesz modal logic for Markov processes

    Mio, M., Furber, R. & Mardare, R., 8 Aug 2017, 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. 12 p. 8005091

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

    6 Citations (Scopus)
  • On the metric-based approximate minimization of Markov chains

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 1 Jul 2017, 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017. Muscholl, A., Indyk, P., Kuhn, F. & Chatzigiannakis, I. (eds.). Vol. 80. 14 p. 104

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

    Open Access
    File
    6 Citations (Scopus)
    3 Downloads (Pure)
  • Observed communication semantics for classical processes

    Atkey, R., 19 Mar 2017, (E-pub ahead of print) Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings. Yang, H. (ed.). Cham, Switzerland: Springer, p. 56-82 27 p. (Lecture Notes in Computer Science; vol. 10201).

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

    Open Access
    File
    11 Citations (Scopus)
    47 Downloads (Pure)
  • Type-and-scope safe programs and their proofs

    Allais, G., Chapman, J., McBride, C. & McKinna, J., 16 Jan 2017, CPP 2017 : Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs. Bertot, Y. & Vafeiadis, V. (eds.). New York, 13 p.

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

    Open Access
    File
    26 Citations (Scopus)
    87 Downloads (Pure)
  • Do Be Do Be Do

    Lindley, S., McBride, C. & McLaughlin, C., 15 Jan 2017, POPL'2017 : Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Gordon, A. (ed.). New York, p. 500-514 15 p.

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

    Open Access
    File
    45 Citations (Scopus)
    200 Downloads (Pure)
  • 2016

    Probabilistic mu-calculus: decidability and complete axiomatization

    Larsen, K. G., Mardare, R. & Xue, B., 1 Dec 2016, Proceedings 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016. Lal, A., Akshay, S., Saurabh, S., Sen, S. & Saurabh, S. (eds.). Vol. 65. p. 25.1-25.18 18 p.

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

    Open Access
    File
    5 Citations (Scopus)
    2 Downloads (Pure)
  • A complete approximation theory for weighted transition systems

    Hansen, M., Larsen, K. G., Mardare, R., Pedersen, M. R. & Xue, B., 6 Oct 2016, Dependable Software Engineering: Theories, Tools, and Applications - 2nd International Symposium, SETTA 2016, Proceedings. Franzle, M., Kapur, D. & Zhan, N. (eds.). Cham: Springer-Verlag, p. 213-228 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9984 LNCS).

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

    Open Access
    File
    2 Citations (Scopus)
    5 Downloads (Pure)
  • Games for topological fixpoint logic

    Bezhanishvili, N. & Kupke, C., 13 Sep 2016, Proceedings of the Seventh International Symposium on Games, Automata, Logics, and Formal Verification. Cantone, D. & Delzanno, G. (eds.). p. 46-60 15 p.

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

    Open Access
    File
    1 Citation (Scopus)
    24 Downloads (Pure)
  • Complete axiomatization for the bisimilarity distance on Markov chains

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 1 Aug 2016, 27th International Conference on Concurrency Theory, CONCUR 2016. Desharnais, J. & Jagadeesan, R. (eds.). Vol. 59. 14 p. 21

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

    Open Access
    File
    4 Citations (Scopus)
    3 Downloads (Pure)
  • Proof-relevant parametricity

    Ghani, N., Nordvall Forsberg, F. & Orsanigo, F., 25 Mar 2016, A List of Successes That Can Change the World. Lindley, S., McBride, C., Trinder, P. & Sannella, D. (eds.). Switzerland: Springer-Verlag, p. 109-131 23 p. (Lecture Notes in Computer Science; vol. 9600).

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

    Open Access
    File
    3 Citations (Scopus)
    18 Downloads (Pure)
  • 2015

    Weak completeness of coalgebraic dynamic logics

    Hansen, H. H. & Kupke, C., 9 Sep 2015, Proceedings Tenth International Workshop on Fixed Points in Computer Science . Matthes, R. & Mio, M. (eds.). Berlin, Vol. 191. p. 90-104 15 p.

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

    Open Access
    File
    6 Citations (Scopus)
    23 Downloads (Pure)
  • The parallel intensionally fully abstract games model of PCF

    Castellan, S., Clairambault, P. & Winskel, G., 31 Jul 2015, Proceedings - 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015. p. 232-243 12 p. 7174885. (Proceedings - Symposium on Logic in Computer Science; vol. 2015-July).

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

    18 Citations (Scopus)
  • Parametric polymorphism - universally

    Ghani, N., Nordvall Forsberg, F. & Orsanigo, F., 24 Jun 2015, Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings. de Paiva, V., de Queiroz, R., Moss, L. S., Leivant, D. & de Oliveira, A. G. (eds.). p. 81-92 12 p. (Lecture Notes in Computer Science; vol. 9160).

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

    Open Access
    File
    5 Citations (Scopus)
    148 Downloads (Pure)
  • Decidability and expressiveness of recursive weighted logic

    Larsen, K. G., Mardare, R. & Xue, B., 1 Jan 2015, Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, Revised Selected Papers. Virbitskaite, I., Voronkov, A. & Virbitskaite, I. (eds.). Springer-Verlag, p. 216-231 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8974).

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

    2 Citations (Scopus)
  • On the total variation distance of semi-markov chains

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 1 Jan 2015, Foundations of Software Science and Computation Structures: Proceedings 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. Pitts, A. (ed.). Berlin: Springer-Verlag, Vol. 9034. p. 185-199 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9034).

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

    Open Access
    File
    12 Citations (Scopus)
    6 Downloads (Pure)
  • Models for polymorphism over physical dimensions

    Atkey, R., Ghani, N., Nordvall Forsberg, F., Revell, T. & Staton, S., 2015, 13th International Conference on Typed Lambda Calculi and Applications (TLCA'15). Altenkirch, T. (ed.). Wadern, Germany , p. 999-1013 15 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

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

    Open Access
    File
    77 Downloads (Pure)
  • 2014

    A decidable recursive logic forweighted transition systems

    Larsen, K. G., Mardare, R. & Xue, B., 23 Sep 2014, Theoretical Aspects of Computing – ICTAC 2014: Proceedings of 11th International Colloquium Bucharest, Romania, September 17-19, 2014. Ciobanu, G. & Méry, D. (eds.). Cham: Springer, p. 460-476 17 p. (Lecture Notes in Computer Science; vol. 8687).

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

    3 Citations (Scopus)
  • Strong completeness for iteration-free coalgebraic dynamic logics

    Kupke, C., Hansen, H. H. & Leal, R. A., Sep 2014, Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014. Diaz, J., Lanese, I. & Sangiorgi, D. (eds.). Springer, Vol. 8705. p. 281-295 15 p. (Lecture Notes in Computer Science; vol. 8705).

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

    Open Access
    File
    9 Citations (Scopus)
    98 Downloads (Pure)
  • Bisimulation on Markov processes over arbitrary measurable spaces

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 21 May 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.). Cham: Springer-Verlag, p. 76-95 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8464 LNCS).

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

    3 Citations (Scopus)
  • Continuity properties of distances for Markov processes

    Jaeger, M., Mao, H., Guldstrand Larsen, K. & Mardare, R., 1 Jan 2014, Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Proceedings. Norman, G. & Sanders, W. (eds.). Cham: Springer-Verlag, Vol. 8657 . p. 297-312 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8657 LNCS).

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

    5 Citations (Scopus)
  • From parametricity to conservation laws, via Noether's Theorem

    Atkey, R., Jan 2014, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Sewell, P. (ed.). New York, p. 491-502 12 p.

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

    Open Access
    File
    2 Citations (Scopus)
    66 Downloads (Pure)
  • 2013

    Computing behavioral distances, compositionally

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 15 Oct 2013, Mathematical Foundations of Computer Science 2013. Chatterjee, K. & Sgall, J. (eds.). Berlin: Springer-Verlag, p. 74-85 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8087 LNCS).

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

    20 Citations (Scopus)
  • Strong completeness for Markovian logics

    Kozen, D., Mardare, R. & Panangaden, P., 15 Oct 2013, Mathematical Foundations of Computer Science 2013 . Chatterjee, K. & Sgall, J. (eds.). Berlin: Springer-Verlag, p. 655-666 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8087 LNCS).

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

    11 Citations (Scopus)
  • Productive coprogramming with guarded recursion

    Atkey, R. & McBride, C., Sep 2013, (Accepted/In press) Proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming . 12 p.

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

    35 Citations (Scopus)