Concepedia

N. Sabadini

NS

13

Publications

371

Citations

12

H-Index

1981

Active since

Affiliations

University of Milan(Current)

The University of Sydney

N. Sabadini is an author at University of Milan specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationDiscrete MathematicsLanguageLinguisticsComputational ComplexityGrammar

Publications per year

1981–2010

13

Publications

13

Bicategories of processes

Piergiulio Katis, N. Sabadini, R. F. C. Walters · Journal of Pure and Applied Algebra · 1997 · 72 citations

Engineering, Industrial Engineering, Process Control +5

Generic commutative separable algebras and cospans of graphs

Robert Rosebrugh, N. Sabadini, R. F. C. Walters · Theory and applications of categories · 2005 · 58 citations · Full text

The complexity of computing the number of strings of given length in context-free languages

Alberto Bertoni, Massimiliano Goldwurm, N. Sabadini · Theoretical Computer Science · 1991 · 46 citations

Combinatorics On Word, Engineering, String-searching Algorithm +12

Membership problems for regular and context-free trace languages

Alberto Bertoni, Giancarlo Mauri, N. Sabadini · Information and Computation · 1989 · 38 citations

Engineering, Automated Reasoning, Abstract Interpretation +5

Feedback, trace and fixed-point semantics

Piergiulio Katis, N. Sabadini, R. F. C. Walters · RAIRO - Theoretical Informatics and Applications · 2002 · 33 citations · Full text

Engineering, Semantics, Software Analysis +16

Rows per page

1–5 of 13