Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Bialgebraic Semantics for Logic Programming

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Deployment of an Aerial Platform System for Rapid Restoration of Communications Links After a Disaster: A Machine Learning Approach

Computing (Vienna/New York)
Numerical AnalysisComputational TheoryComputer Science ApplicationsComputational MathematicsMathematicsTheoretical Computer ScienceSoftware
2019English

Ephemeral Networks With Random Availability of Links: The Case of Fast Networks

Journal of Parallel and Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureTheoretical Computer ScienceArtificial IntelligenceSoftware
2016English

A Hardware Accelerated System for High Throughput Cellular Image Analysis

Journal of Parallel and Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureTheoretical Computer ScienceArtificial IntelligenceSoftware
2018English

Counting CTL

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Products of Effective Topological Spaces and a Uniformly Computable Tychonoff Theorem

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Full Abstraction for Fair Testing in CCS (Expanded Version)

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Timed Parity Games: Complexity and Robustness

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Advanced Hashing Schemes for Packet Forwarding Using Set Associative Memory Architectures

Journal of Parallel and Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureTheoretical Computer ScienceArtificial IntelligenceSoftware
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy