Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

An Improved Scheme in the Two Query Adaptive Bitprobe Model

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Generic Constructions for Verifiable Signcryption

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A Note on Quantum Security for Post-Quantum Cryptography

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Integration of Application Business Logic and Business Rules With DSL and AOP

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

An MDE Approach for Modelling and Reasoning About Multi-Agent Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

A Novel Metric for Information Retrieval in Semantic Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Voronoi-Based Geometry Estimator for 3D Digital Surfaces

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Various Detection Techniques and Platforms for Monitoring Interference Condition in a Wireless Testbed

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Construction and SAT-Based Verification of Contextual Unfoldings

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Actor-Based Parallel Dataflow Analysis

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