|< 3 4 5 6 7 >|
CSV
publication icon
Jardine, N (2012) Kepler's 'lightly woven cosmography': on the sources, identity and significance of Kepler-Ms 18, 238v-241r, Russian Academy of Sciences, St Petersburg in Kepler's 'lightly woven cosmography': on the sources, identity and significance of Kepler-Ms 18, 238v-241r, Russian Academy of Sciences, St Petersburg, in C. Noirot and N. Ordine, eds, Omnia in uno: Hommage à Alain-Philippe Segonds
publication icon
Graulund C (2021) Adjoint Reactive GUI Programming in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
publication icon
Mayr R (2021) Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
publication icon
Mayr R (2021) Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
publication icon
Mayr R (2021) Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
publication icon
Ahmad M (2020) Towards a Multimodal Measure for Physiological Behaviours to Estimate Cognitive Load in Engineering Psychology and Cognitive Ergonomics. Mental Workload, Human Physiology, and Human Energy - 17th International Conference, EPCE 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I
publication icon
Van Heerdt G (2021) Learning Pomset Automata in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
publication icon
Kamnitsas K (2016) DeepMedic for Brain Tumor Segmentation in Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries - Second International Workshop, BrainLes 2016, with the Challenges on BRATS, ISLES and mTOP 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers
publication icon
Altenkirch T (2021) Constructing a universe for the setoid model in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
publication icon
Piedeleu R (2021) A String Diagrammatic Axiomatisation of Finite-State Automata in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
publication icon
Gheorghiu A (2021) Focused Proof-search in the Logic of Bunched Implications in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
publication icon
Jacobs B (2019) Causal Inference by String Diagram Surgery 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
publication icon
Crafa S (2012) Event Structure Semantics of Parallel Extrusion in the Pi-Calculus in Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings