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
Dal Lago U
(2020)
Decomposing Probabilistic Lambda-Calculi
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
Bonchi F
(2020)
Contextual Equivalence for Signal Flow Graphs
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
Labbaf F
(2023)
Compositional Learning for Interleaving Parallel Automata
in Foundations of Software Science and Computation Structures - 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Caltais G
(2022)
DyNetKAT: An Algebra of Dynamic Networks
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
Livermore R
(2012)
Hubble Space Telescope Ha imaging of star-forming galaxies at z ? 1-1.5: evolution in the size and luminosity of giant H ii regions Evolution in the properties of giant H ii regions
in Monthly Notices of the Royal Astronomical Society
Livermore R
(2012)
Hubble Space Telescope Ha imaging of star-forming galaxies at z ? 1-1.5: evolution in the size and luminosity of giant H ii regions Evolution in the properties of giant H ii regions
in Monthly Notices of the Royal Astronomical Society
Livermore R
(2012)
Hubble Space Telescope Ha imaging of star-forming galaxies at z ? 1-1.5: evolution in the size and luminosity of giant H ii regions Evolution in the properties of giant H ii regions
in Monthly Notices of the Royal Astronomical Society
Livermore R
(2012)
Hubble Space Telescope Ha imaging of star-forming galaxies at z ? 1-1.5: evolution in the size and luminosity of giant H ii regions Evolution in the properties of giant H ii regions
in Monthly Notices of the Royal Astronomical Society
Livermore R
(2012)
Hubble Space Telescope Ha imaging of star-forming galaxies at z ? 1-1.5: evolution in the size and luminosity of giant H ii regions Evolution in the properties of giant H ii regions
in Monthly Notices of the Royal Astronomical Society
Livermore R
(2012)
Hubble Space Telescope Ha imaging of star-forming galaxies at z ? 1-1.5: evolution in the size and luminosity of giant H ii regions Evolution in the properties of giant H ii regions
in Monthly Notices of the Royal Astronomical Society
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
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
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
Taub L . C.
(2010)
Translating the Phainomena across genre, language and culture
in Translating the Phainomena across genre, language and culture, in Annette Imhausen, Tanja Pommerening (ed.), Writings of Early Scholars in the Ancient Near East, Egypt, Rome, and Greece: Translating Ancient Scientific Texts. Beitr?ge zur Altertumskunde, B
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
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
Schmiedel, I.
Gardens on Canvas and Paper. Cataloguing Botanical Abundance in Late Medici Tuscany
in 'Gardens on Canvas and Paper. Cataloguing Botanical Abundance in Late Medici Tuscany', in H. Fischer, Volker Remmert, Joachim Wolschke-Bulmahn, eds, Congress Papers. Gardening and Knowledge. Landscape Design and the Sciences in the Early Modern Period
Kusukawa, S., Egmond, F.
Circulation of images and graphic practices in Renaissance natural history: the example of Conrad Gessner
in 'Circulation of images and graphic practices in Renaissance natural history: the example of Conrad Gessner', in Luana Giurgevich, Teresa Nobre de Carvalho and Henrique Leitão, eds, The Scientific Book closely read (15th-18th cent.)
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