Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computational Theory

Logics for Modelling Collective Attitudes

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2018English

Reclaiming the Energy of a Schedule: Models and Algorithms

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2012English

Approximating Algebraic Tomography Methods by Filtered Backprojection: A Local Filter Approach

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2014English

A Domain View of Timed Behaviors

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2014English

Definability and Canonicity for Boolean Logic With a Binary Relation

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2014English

A Process-Oriented Architecture for Complex System Modelling

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2010English

A Step Towards Refining and Translating B Control Annotations to Handel-C

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2010English

Dynamic Web Worker Pool Management for Highly Parallel Javascript Web Applications

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2015English

Explicit Constructive Logic ECL: A New Representation of Construction and Selection of Logical Information by an Epistemic Agent

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2015English

Checking Consistency of an ABox w.r.t. Global Assumptions in PDL

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy