📣 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.

CSV
publication icon
Çelik Y (2023) Intelligent Transportation Systems Applications: Safety and Transfer of Big Transport Data in TRANSBALTICA XIII: Transportation Science and Technology - Proceedings of the 13th International Conference TRANSBALTICA, September 15-16, 2022, Vilnius, Lithuania
publication icon
Möller B (2021) On Algebra of Program Correctness and Incorrectness in Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings
publication icon
Mahfoud Tara (2017) Progress in Brain Research Volume 233 Vital Models: The Making and Use of Models in the Brain Sciences Preface in VITAL MODELS: THE MAKING AND USE OF MODELS IN THE BRAIN SCIENCES
publication icon
Ye K (2021) Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving in Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings
publication icon
Asante M (2022) Prevention of IoT-Enabled Crime Using Home Routers (PITCHR) in Science and Technologies for Smart Cities - 7th EAI International Conference, SmartCity360°, Virtual Event, December 2-4, 2021, Proceedings
publication icon
Bateman IJ (2024) How to make land use policy decisions: Integrating science and economics to deliver connected climate, biodiversity, and food objectives. in Proceedings of the National Academy of Sciences of the United States of America
publication icon
Heunen C (2023) Duoidally Enriched Freyd Categories in Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings