Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computational Theory

Backdoor Sets of Quantified Boolean Formulas

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2008English

A Model and Temporal Proof System for Networks of Processes

Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureComputational TheoryMathematicsTheoretical Computer Science
1986English

Solo-Valency and the Cost of Coordination

Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureComputational TheoryMathematicsTheoretical Computer Science
2007English

Reasoning About Object-Based Calculi in (Co)Inductive Type Theory and the Theory of Contexts

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2007English

Efficient Reliable Communication Over Partially Authenticated Networks

Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureComputational TheoryMathematicsTheoretical Computer Science
2005English

Hybrid Models Using Unsupervised Clustering for Prediction of Customer Churn

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

Bounds on Maximal Families of Sets Not Containing Three Sets With a ∩ B ⊂ C, a ⊄ B

Order
AlgebraGeometryNumber TheoryComputational TheoryMathematicsTopology
2008English

Data Complexity of Query Answering in Expressive Description Logics via Tableaux

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2008English

Failure Detection and Consensus in the Crash-Recovery Model

Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureComputational TheoryMathematicsTheoretical Computer Science
2000English

Failure Detectors as Type Boosters

Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureComputational TheoryMathematicsTheoretical Computer Science
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy