Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Computer Science
The Matrix Reproved (Verification Pearl)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Contextual Factors Influencing Health Information Systems Implementation in Public Sector – Investigating the Explanatory Power of Critical Success Factors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Drawing Graphs on a Smartphone
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Improved Three-Way Split Formulas for Binary Polynomial Multiplication
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Ranking Vertices for Active Module Recovery Problem
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Converting Online Algorithms to Local Computation Algorithms
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Tracking in Urban Traffic Scenes From Background Subtraction and Object Detection
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The TAMARIN Prover for the Symbolic Analysis of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
‹
648
649
650
651
652
653
654
›
