Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Daniel Weller
System Description: The Proof Transformation System CERES
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
GrooveNet: A Hybrid Simulator for Vehicle-To-Vehicle Networks
Related publications
RACER System Description
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The RANTANPLAN Planner: System Description
Knowledge Engineering Review
Artificial Intelligence
Software
COSMIC System Description
Terrestrial, Atmospheric and Oceanic Sciences
Earth
Atmospheric Science
Planetary Sciences
Oceanography
A Tool for Health System Description. Diagnosing the Polish System
Zdrowie Publiczne i Zarządzanie
Automatic Identification System (AIS) Collection and Reach-Back System: System Description
A Unified Proof System for QBF Preprocessing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Biomathematical System of the Nucleic Acids Description
Computer Research and Modeling
Computational Theory
Simulation
Computer Science Applications
Modeling
Mathematics
Stryvihor River System Structure Transformation
PROBLEMS OF GEOMORPHOLOGY AND PALEOGEOGRAPHY OF THE UKRANIAN CARPATHIANS AND ADJACENT AREAS
Novette Pulse Power System Description
Nuclear Technology - Fusion
