Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Atom Mapping With Constraint Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Inductive Verification of Hybrid Automata With Strongest Postcondition Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

QoS Multi-Tree Based Routing Protocol for Inter-Mesh Infrastructure Communications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Multi-Level Virtual Machine Debugging Using the Java Platform Debugger Architecture

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Using Syntactic and Semantic Features for Classifying Modal Values in the Portuguese Language

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Building Blocks for Volume-Oriented Changeability in Personnel Cost Structure of Manufacturing Companies

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Trees in Partial Higher Dimensional Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

GOAL for Games, Omega-Automata, and Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Predicting Stock Returns in the Capital Asset Pricing Model Using Quantile Regression and Belief Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Influence of Graph Construction on Semi-Supervised Learning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy