Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Computer Science
Robotics Education for Children at Secondary School Level and Above
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On the Development of a Harmonized, User-Centered Terminology for Current and Upcoming ICT Devices, Services and Applications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Confluence Analysis for Distributed Programs: A Model-Theoretic Approach
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Bv2epr: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas Into EPR
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Process Network Model for Reactive Streaming Software With Deterministic Task Parallelism
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Robust Wide Baseline Scene Alignment Based on 3D Viewpoint Normalization
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Short Paper: Making Contactless EMV Robust Against Rogue Readers Colluding With Relay Attackers
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A SysML Profile for Fault Trees—Linking Safety Models to System Design
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Transversal Alignment Between Measurements and Enterprise Architecture for Early Verification of Telecom Service Design
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
‹
386
387
388
389
390
391
392
›
