Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Efficient Model Construction for Horn Logic With VLog

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Trustworthy Software Development

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Fairness in Concurrent Signatures Revisited

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Introducing Dynamic Identity and Access Management in Organizations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Efficient Batch Zero-Knowledge Arguments for Low Degree Polynomials

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Don’t Look at Me, I’m Talking to You: Investigating Input and Output Modalities for In-Vehicle Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

An Online Kernel-Based Clustering Approach for Value Function Approximation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

On Solving Nominal Fixpoint Equations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Artificial Intelligence Model of an Smartphone-Based Virtual Companion

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Leader Election for Replicated Services Using Application Scores

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy