Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Converting Online Algorithms to Local Computation Algorithms

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Tracking in Urban Traffic Scenes From Background Subtraction and Object Detection

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

The TAMARIN Prover for the Symbolic Analysis of Security Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Rolex: Resilience-Oriented Language Extensions for Extreme-Scale Systems

Journal of Supercomputing
HardwareInformation SystemsTheoretical Computer ScienceArchitectureSoftware
2016English

ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Coalgebra Learning via Duality

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Service-Oriented Computing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Bringing Empathy Into Play: On the Effects of Empathy in Violent and Nonviolent Video Games

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Approximation of Δ-Timeliness

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy