Concepedia

Stefano Crespi-Reghizzi

SC

13

Publications

570

Citations

12

H-Index

1970

Active since

Affiliations

Politecnico di Milano(Current)

Ingegneria dei Sistemi (Italy)

University of California, Los Angeles

Stefano Crespi-Reghizzi is an author at Politecnico di Milano specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceLanguageManagementLinguisticsData ModelingData IntegrationSoftware Engineering

Publications per year

1970–1990

13

Publications

13

Integrating object-oriented data modelling with a rule-based programming paradigm

Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi et al. · 1990 · 131 citations · Full text

Engineering, Object-oriented Modeling, Software Engineering +21

Integrating object-oriented data modelling with a rule-based programming paradigm

Filippo Cacace, S. Ceri, Stefano Crespi-Reghizzi et al. · ACM SIGMOD Record · 1990 · 111 citations

Engineering, Object-oriented Modeling, Software Engineering +22

A decidability theorem for a class of vector-addition systems

Stefano Crespi-Reghizzi, Dino Mandrioli · Information Processing Letters · 1975 · 56 citations

Engineering, Automated Reasoning, Decidability Theorem +5

The use of grammatical inference for designing programming languages

Stefano Crespi-Reghizzi, Michel A. Melkanoff, Larry Lichten · Communications of the ACM · 1973 · 49 citations · Full text

Context-free Grammars, Engineering, Semantics +17

Petri nets and szilard languages

Stefano Crespi-Reghizzi, Dino Mandrioli · Information and Control · 1977 · 43 citations

Petri Net, Language Documentation, Automated Reasoning +6

Rows per page

1–5 of 13