Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Casper Thule

Towards the Verification of Hybrid Co-Simulation Algorithms

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Related publications

A Simulation Tool for Real-Time Hybrid-Cooperative Positioning Algorithms

International Journal of Embedded and Real-Time Communication Systems
Computer Science
2012English

Formal Verification of Conflict Detection Algorithms

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Formal Verification of Hybrid Systems

2011English

Verification Techniques for Distributed Algorithms

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Towards Verification via Supercompilation

2005English

Testing and Verification of the LHCb Simulation

EPJ Web of Conferences
AstronomyPhysics
2019English

Comprehensive Survey of the Hybrid Evolutionary Algorithms

International Journal of Applied Evolutionary Computation
2013English

Formal Verification of IA-64 Division Algorithms

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Fusing Face-Verification Algorithms and Humans

IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics)
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy