Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

VerifyThis – Verification Competition With a Human Factor

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

A Formal Analysis of the Norwegian E-Voting Protocol

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Building Subjectivity Lexicon(s) From Scratch for Essay Data

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Software Development Process Simulation: Multi Agent-Based Simulation Versus System Dynamics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

IT-Enabled Resilient, Seamless and Secure Global Supply Chains: Introduction, Overview and Research Topics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Looking for “The Big Picture” on a Small Screen: A Note on Overview Support in Cooperative Work

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Recognition of Long-Term Behaviors by Parsing Sequences of Short-Term Actions With a Stochastic Regular Grammar

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Structural Writing, a Design Principle for Interactive Drama

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Parallel Implementation of GC-Based MPC Protocols in the Semi-Honest Setting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Social Continual Planning in Open Multiagent Systems: A First Study

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy