Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

RATSY – A New Requirements Analysis Tool With Synthesis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

From Probabilistic Counterexamples via Causality to Fault Trees

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Partial Derivative Automata Formalized in Coq

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Portunes: Representing Attack Scenarios Spanning Through the Physical, Digital and Social Domain

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Finding Objects Faster in Dense Environments Using a Projection Augmented Robotic Arm

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Generic Model for Experimenting and Using a Family of Classifiers Systems: Description and Basic Applications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Bayesian Inverse Reinforcement Learning for Modeling Conversational Agents in a Virtual Environment

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Modelling Non-Linear Crowd Dynamics in Bio-Pepa

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

BarterCell: An Agent-Based Bartering Service for Users of Pocket Computing Devices

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Semantically Inactive Multiplicatives and Words as Types

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy