Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

A Unifying Framework for Spatial and Temporal Diffusion in Diffusion MRI

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Checkpoint/Rollback vs Causally-Consistent Reversibility

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Training a Carbon-Nanotube/Liquid Crystal Data Classifier Using Evolutionary Algorithms

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Tracking Interacting Objects Optimally Using Integer Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Coalgebraic Methods in Computer Science

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

ASPIC-END: Structured Argumentation With Explanations and Natural Deduction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Canonical Duality Theory and Algorithm for Solving Challenging Problems in Network Optimisation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Making Random Judgments: Automatically Generating Well-Typed Terms From the Definition of a Type-System

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Measuring a LoRa Network: Performance, Possibilities and Limitations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Runtime Verification of Stochastic, Faulty Systems

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