Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michel A. Reniers
A Rule Format for Unit Elements
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Networks of Timed Automata Using mCRL2
2008 IEEE International Symposium on Parallel and Distributed Processing
Related publications
Modularity in the Rule Interchange Format
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automating Genomic Data Mining via a Sequence-Based Matrix Format and Associative Rule Set
BMC Bioinformatics
Biochemistry
Applied Mathematics
Computer Science Applications
Structural Biology
Molecular Biology
Elements That Rule the World: Impending REE Metal Crisis
Journal of the Geological Society of India
Geology
Format for a Graphical Communication Protocol
Diffused Matrix Format: A New Storage and Processing Format for Airborne Hyperspectral Sensor Images
Sensors
Instrumentation
Information Systems
Electronic Engineering
Biochemistry
Analytical Chemistry
Molecular Physics,
Electrical
Atomic
Medicine
Optics
HTML Format for RFCs
A General Encryption Algorithm for Different Format Videos
International Journal of Security and its Applications
Computer Science
A Square Block Format for Symmetric Band Matrices
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Designing a Trace Format for Heap Allocation Events