Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

An Algebraic Verification of a Mobile Network

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
1992English

Introduction: Special Issue on Parallel and Distributed Evolutionary Algorithms, Part I

Genetic Programming and Evolvable Machines
HardwareComputer Science ApplicationsTheoretical Computer ScienceArchitectureSoftware
2009English

Semantic Heterogeneity in Multidatabase Systems

Journal of Database Management
HardwareInformation SystemsArchitectureSoftware
2004English

Program Verification With Interacting Analysis Plugins

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2007English

A Compositional Logic for Proving Security Properties of Protocols*

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2003English

Bayesian Propagation for Perceiving Moving Objects

International Journal of Pattern Recognition and Artificial Intelligence
Computer VisionPattern RecognitionArtificial IntelligenceSoftware
2006English

Predicate Transformers for Recursive Procedures With Local Variables

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
1999English

Modeling the Latency on Production Grids With Respect to the Execution Context

Parallel Computing
Computer GraphicsComputer NetworksHardwareCommunicationsComputer-Aided DesignArchitectureTheoretical Computer ScienceArtificial IntelligenceSoftware
2009English

Deriving Non-Zeno Behaviour Models From Goal Models Using ILP

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2009English

A Secure Compiler for Session Abstractions

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy