Concepedia

Alessandro Giacalone

AG

3

Publications

373

Citations

3

H-Index

1988

Active since

Affiliations

Stony Brook University(Current)

State University of New York

Alessandro Giacalone is an author at Stony Brook University specializing in formal verification, engineering, and computer science.

Top concepts

EngineeringComputer ScienceFormal VerificationDesignCompilersFormal MethodsSoftware DesignSystem SoftwareProgram AnalysisSoftware Systems

Publications per year

1988–1990

3

Publications

3

Algebraic Reasoning for Probabilistic Concurrent Systems.

Alessandro Giacalone, Chi-Chang Jou, Scott A. Smolka · 1990 · 229 citations

Facile: A symmetric integration of concurrent and functional programming

Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad · International Journal of Parallel Programming · 1989 · 126 citations

Engineering, Program Analysis, Concurrent Programming +6

Integrated environments for formally well-founded design and simulation of concurrent systems

Alessandro Giacalone, Scott A. Smolka · IEEE Transactions on Software Engineering · 1988 · 18 citations

Clara Environment, Engineering, Software Systems +25

Rows per page

1–3 of 3