Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Automating Deductive Verification for Weak-Memory Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Man-In-The-Middle Secure Authentication Schemes From LPN and Weak PRFs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Quantum Probabilistic Description of Dealing With Risk and Ambiguity in Foraging Decisions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Semantically Meaningful Cohorts Enable Specialized Knowledge Sharing in a Collaborative MOOC

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Quantum Lattice Enumeration and Tweaking Discrete Pruning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Applying Atomicity and Model Decomposition to a Space Craft System in Event-B

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Risk Assessment in a Parallel Production System With the Use of FMEA Method and Linguistic Variables

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Exercise Support System for Elderly: Multi-Sensor Physiological State Detection and Usability Testing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Building an Online Environment for Usefulness Evaluation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Does Adding More Agents Make a Difference? A Case Study of Cover Time for the Rotor-Router

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