Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Architecture

Turning an Action Formalism Into a Planner—a Case Study

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1994English

Near-Term Memory in Programming: A Simulation-Based Analysis

International Journal of Human Computer Studies
Human-Computer InteractionHuman FactorsHardwareEngineeringErgonomicsArchitectureEducationSoftware
2001English

Hypersequent Calculi for Godel Logics -- A Survey

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2003English

Checking Sequences for Distributed Test Architectures

Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureComputational TheoryMathematicsTheoretical Computer Science
2008English

Supporting Deliberative Real-Time AI Systems: A Fixed Priority Scheduling Approach

Proceedings - Euromicro Conference on Real-Time Systems
HardwareArchitectureSoftware
2007English

The Heard-Of Model: Computing in Distributed Systems With Benign Faults

Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureComputational TheoryMathematicsTheoretical Computer Science
2009English

Fast Computation by Population Protocols With a Leader

Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureComputational TheoryMathematicsTheoretical Computer Science
2008English

Early Consensus in an Asynchronous System With a Weak Failure Detector

Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureComputational TheoryMathematicsTheoretical Computer Science
1997English

On the Weakest Failure Detector Ever

Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureComputational TheoryMathematicsTheoretical Computer Science
2009English

The Inhibition Spectrum and the Achievement of Causal Consistency

Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureComputational TheoryMathematicsTheoretical Computer Science
1996English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy