Francesco Parisi Presicce

Publications

Citations

H-Index

2002

Active since

Affiliations

Francesco Parisi Presicce is an author at Technische Universität Berlin specializing in engineering, computer engineering, and electromagnetic compatibility.

Top concepts

EngineeringSemantic WebVerificationFormal MethodsSoftware DesignComputer ScienceMicroelectronicsProgram AnalysisSoftware AnalysisAutomated Reasoning

Publications per year

2002–2005

Publications

Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems

Martin Große–Rhode, Francesco Parisi Presicce, Marta Simeoni · Journal of Computer and System Sciences · 2002 · 22 citations

Specification Language, Formal Specification, Engineering +15

High-level replacement units and their termination properties

Paolo Bottoni, Kathrin Hoffmann, Francesco Parisi Presicce et al. · Journal of Visual Languages & Computing · 2005 · 18 citations

Electrical Engineering, Reliability Engineering, Engineering +8

Rows per page

1–2 of 2