Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Towards a Proof Theory of Gödel Modal Logics

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2011English

On the Relation of Interaction Semantics to Continuations and Defunctionalization

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Admissibility in Finitely Generated Quasivarieties

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Efficient Threshold Password-Authenticated Secret Sharing Protocols for Cloud Computing

Journal of Parallel and Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureTheoretical Computer ScienceArtificial IntelligenceSoftware
2019English

Editorial Special Issue on Data Analytics for Engineering, Science and Society

Computing (Vienna/New York)
Numerical AnalysisComputational TheoryComputer Science ApplicationsComputational MathematicsMathematicsTheoretical Computer ScienceSoftware
2020English

Aspect-Oriented Linearizability Proofs

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

moocRP: Enabling Open Learning Analytics With an Open Source Platform for Data Distribution, Analysis, and Visualization

Technology, Knowledge and Learning
Human-Computer InteractionEngineeringComputer Science ApplicationsMathematicsComputational TheoryEducationTheoretical Computer Science
2016English

Flow Updating: Fault-Tolerant Aggregation for Dynamic Networks

Journal of Parallel and Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureTheoretical Computer ScienceArtificial IntelligenceSoftware
2015English

Comparisons of Air Traffic Control Implementations on an Associative Processor With a MIMD and Consequences for Parallel Computing

Journal of Parallel and Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureTheoretical Computer ScienceArtificial IntelligenceSoftware
2013English

Using Models to Model-Check Recursive Schemes

Logical Methods 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