Fijalkow N
(2016)
Trace Refinement in Labelled Markov Decision Processes
in Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Castellan S
(2019)
Causality in Linear Logic
in Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Castellan S
(2019)
Causality in Linear Logic
in Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Dräger K
(2016)
The Invariance Problem for Matrix Semigroups
in Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Alvarez-Picallo M
(2019)
Change Actions: Models of Generalised Differentiation
in Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Abdulla P
(2016)
Qualitative Analysis of VASS-Induced MDPs
in Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Lazic R
(2016)
Contextual Approximation and Higher-Order Procedures
in Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Castellan S
(2019)
Causality in Linear Logic
in Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Ghani N
(2016)
Comprehensive Parametric Polymorphism: Categorical Models and Type Theory
in Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Barlocco S
(2019)
Coalgebra Learning via Duality
in Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Evans J
(2015)
A Global Health Diagnostic for Personalized Medicine in Resource-Constrained World Settings: A Simple PCR-RFLP Method for Genotyping CYP2B6 g.15582C>T and Science and Policy Relevance for Optimal Use of Antiretroviral Drug Efavirenz.
in Omics : a journal of integrative biology
Ghanbari B
(2017)
A mechanistic study on unexpected and solvent-based pH-tuneable role of benzylic pendant side-arm on N 2 O 2 -donor naphthodiaza-crown macrocyclic ligand as a sensitive fluorogenic chemosensor for Al 3+ in aqueous solution: X-ray, NMR, photophysical, and computational studies
in Journal of Luminescence
Jaber G
(2015)
Operational Nominal Game Semantics
in Foundations of Software Science and Computation Structures - 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Altenkirch T
(2017)
Partiality, Revisited
in Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Ho H
(2015)
The Cyclic-Routing UAV Problem is PSPACE-Complete
in Foundations of Software Science and Computation Structures - 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Kappé T
(2020)
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness
in 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
Fiore M
(2020)
Constructing Infinitary Quotient-Inductive Types
in 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
Lange J
(2017)
On the Undecidability of Asynchronous Session Subtyping
in Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Lange J
(2017)
On the Undecidability of Asynchronous Session Subtyping
in Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Laird J
(2020)
A Curry-style Semantics of Interaction: From Untyped to Second-Order Lazy $$\lambda \mu $$-Calculus
in 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
Boisseau G
(2022)
Graphical Piecewise-Linear Algebra
in Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings