📣 Try out the NEW Gateway to Research and let us know what you think.

We're looking for users to test the new service during August and September and share their feedback. Express your interest by completing this short form.

|< 2 3 4 5 6 >|
CSV
publication icon
Raad A (2024) Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency in Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
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
Stefanesco L (2024) Specifying and Verifying Persistent Libraries in Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
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
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
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
Raad A (2024) Intel PMDK Transactions: Specification, Validation and Concurrency in Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
publication icon
Raad A (2024) Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency in Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
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
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
Hughes J (2024) Program Synthesis from Graded Types in Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
publication icon
Giunti M (2025) Iso-Recursive Multiparty Sessions and their Automated Verification in Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
publication icon
Giunti M (2025) Iso-Recursive Multiparty Sessions and their Automated Verification in Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
publication icon
Giunti M (2025) Iso-Recursive Multiparty Sessions and their Automated Verification in Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
publication icon
Giunti M (2025) Iso-Recursive Multiparty Sessions and their Automated Verification in Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
publication icon
Raad A (2024) Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency in Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
publication icon
Raad A (2024) Intel PMDK Transactions: Specification, Validation and Concurrency in Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
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
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
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
Le Brun M (2025) Multiparty Session Types with a Bang! in Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
publication icon
Le Brun M (2025) Multiparty Session Types with a Bang! in Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
publication icon
Cordeiro L (2025) Neural Network Verification is a Programming Language Challenge in Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
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
publication icon
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
publication icon
Imai K (2017) Session-ocaml: A Session-Based Library with Polarities and Lenses in Coordination Models and Languages - 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, 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
publication icon
Coventry L (2014) SCENE: A Structured Means for Creating and Evaluating Behavioral Nudges in a Cyber Security Environment in Design, User Experience, and Usability. Theories, Methods, and Tools for Designing the User Experience - Third International Conference, DUXU 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part I
publication icon
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