Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computational Theory

On the Topological Aspects of the Theory of Represented Spaces

Computability
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsArtificial IntelligenceMathematics
2016English

Erratum To: Extension of a Decision Procedure for a Fragment of Hybrid Logic With Binders

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2015English

Upper and Lower Bounds for Deterministic Broadcast in Powerline Communication Networks

Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureComputational TheoryMathematicsTheoretical Computer Science
2016English

A Goal-Directed Decision Procedure for Hybrid PDL

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2013English

Erratum To: Conflict Resolution: A First-Order Resolution Calculus With Decision Literals and Conflict-Driven Clause Learning

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2017English

Reconciling Fault-Tolerant Distributed Computing and Systems-On-Chip

Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureComputational TheoryMathematicsTheoretical Computer Science
2011English

Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2017English

Computer-Aided Tools in Negotiation: Negotiable Issues, Counterfactual Thinking, and Satisfaction

Journal of Organizational Computing and Electronic Commerce
Computational TheoryComputer Science ApplicationsInformation SystemsMathematics
2014English

Adapting a Plant Tissue Model to Animal Development: Introducing Cell Sliding Into VirtualLeaf

Bulletin of Mathematical Biology
GeneticsPharmacologyMolecular BiologyEnvironmental ScienceBiochemistryBiological SciencesMathematicsImmunologyComputational TheoryAgriculturalNeuroscience
2019English

PARATUCK Semi-Blind Receivers for Relaying Multi-Hop MIMO Systems

Digital Signal Processing: A Review Journal
Electronic EngineeringStatisticsPattern RecognitionProbabilityApplied MathematicsUncertaintySignal ProcessingComputer VisionElectricalMathematicsComputational TheoryArtificial Intelligence
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy