Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
abstraction
Publications
Generating Custom Set Theories with Non-Set Structured Objects
Ciarán Dunne
,
Joe Wells
and
Fairouz Kamareddine
EasyChair Preprint 5663
Concurrency and Models of Abstraction: Past, Present and Future
Jeremy Martin
In
:
Proceedings of 2023 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference
Analysis of Real-Time Control Systems using First-Order Continuization
Maximilian Gaukler
In
:
ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis
Hadi Zaatiti
,
Lina Ye
,
Philippe Dague
and
Jean-Pierre Gallois
In
:
28th International Workshop on Principles of Diagnosis (DX'17)
Generic CDCL -- A Formalization of Modern Propositional Satisfiability Solvers
Steffen Hölldobler
,
Norbert Manthey
,
Tobias Philipp
and
Peter Steinke
In
:
POS-14. Fifth Pragmatics of SAT workshop
Copyright © 2012-2024 easychair.org. All rights reserved.