HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:software tools

Publications
ARCH-COMP25 Category Report: Stochastic Models
Alessandro Abate, Omid Akbarzadeh, Henk A.P. Blom, Sofie Haesaert, Sina Hassani, Abolfazl Lavaei, Frederik Baymler Mathiesen, Rahul Misra, Amy Nejati, Mathis Niehage, Fie Ørum, Anne Remke, Behrad Samari, Ruohan Wang, Rafal Wisniewski, Ben Wooding and Mahdieh Zaker
In:Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
Development of Open-Source Software Tools for Digital Archaeological Fieldwork
Favour Olaoye, Chris Bell and Peter Broklyn
EasyChair Preprint 14249
Ideas and Innovation in Intelligence Learning
Himanshu Sharma and Shubham Singh
EasyChair Preprint 4115
Copyright © 2012-2025 easychair.org. All rights reserved.