Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marco Pistore
A Parametric Communication Model for the Verification of BPEL4WS Compositions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Generalized Model for Aerobic Granule-Based Sequencing Batch ReactorsII. Parametric Sensitivity and Model Verification
Metaphorical Parametric Model for Brand Mark Design: Towards a Universal Model of Computational Visual Communication Design
Parametric Verification of Address Space Separation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Parametric Model for the Yellow Sea Thermal Variability
Journal of Geophysical Research
Geochemistry
Space
Planetary Sciences
Oceanography
Paleontology
Petrology
Soil Science
Forestry
Atmospheric Science
Ecology
Geophysics
Aquatic Science
Earth
Earth-Surface Processes
Planetary Science
Technology
Water Science
Parametric Analysis of Statistical Communication Nets
Quarterly of Applied Mathematics
Applied Mathematics
Verification of Communication Characteristics for Utilization of Radio Communication Device in Undersea Exploration Equipment
Journal of the Robotics Society of Japan
Formal Verification of Functional Requirements for Smart Contract Compositions in Supply Chain Management Systems
A Decision Theoretic Model for Determining Verification Requirements
Journal of Conflict Resolution
Sociology
International Relations
Business
Management
Political Science
Accounting
