Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Cryptanalysis of Certificateless Signcryption Schemes and an Efficient Construction Without Pairing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Value Proposition in Mobile Government

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Ensembles of Nested Dichotomies With Multiple Subset Evaluation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

User and System Cross-Learning of Gesture Commands on Pen-Based Devices

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Tasklettes – A Fine Grained Parallelism for Ada on Multicores

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Retroactive Subsumption-Based Tabled Evaluation of Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Focused Review and Initial Conceptual Design for Merging Exergame and Activity Monitoring Technologies

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

A Real-Time Medium Access Protocol Supporting Dynamic Spectrum Allocation in Industrial Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

On the Feasibility of a Unified Modelling and Programming Paradigm

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy