Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

A Width Parameter Useful for Chordal and Co-Comparability Graphs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Synthesis Method of Finite State Machines Based on State Minimization for Low Power Design

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Recovery of a Humanoid Robot From a Destabilising Impact

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Efficient Random Network Coding for Distributed Storage Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Temporal Analysis of Social Media Response to Live Events: The Milano Fashion Week

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

BESDUI: A Benchmark for End-User Structured Data User Interfaces

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

PrologCheck – Property-Based Testing in Prolog

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Super-Perfect Zero-Knowledge Proofs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2020English

Obligations and Prohibitions in Talmudic Deontic Logic

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