Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

DART: Directed Automated Random Testing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Information Theoretic Criteria for Community Detection

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Rules, Tables and Decisions: A Family History Tale

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Human-Aware Navigation for Autonomous Mobile Robots for Intra-Factory Logistics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

When Is a Container a Comonad?

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Free-Breathing Whole-Heart Coronary MRA: Motion Compensation Integrated Into 3D Cartesian Compressed Sensing Reconstruction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Towards Interactional Symbiosis: Epistemic Balance and Co-Presence in a Quantified Self Experiment

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Co-Exploring Actuator Antagonism and Bio-Inspired Control in a Printable Robot Arm

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Efficient Fail-Stop Signatures From the Factoring Assumption

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy