Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Using Backward Induction Techniques in (Timed) Security Protocols Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Adding DL-Lite TBoxes to Proper Knowledge Bases

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Tracking Down the Origins of Ambiguity in Context-Free Grammars

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Utility-Based Analytical Model for Representing User QoE

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Analysis of the Kupyna-256 Hash Function

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-On-Chip

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Higher Reasoning With Level-2 Fuzzy Regions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Mutational Genomics for Cancer Pathway Discovery

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Erratum To: Secure IoT Framework and 2D Architecture for End-To-End Security

Journal of Supercomputing
HardwareInformation SystemsTheoretical Computer ScienceArchitectureSoftware
2016English

Recognition of Sequences of Graphical Patterns

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy