Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Luca Pazzi

dblp:13/2923 · DBLP profile ↗
← Back
5ranked-venue papers
3as first author
0since 2021 · last 2014
0000-0003-4112-6972ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 3 · 2 first-authorDatabases, data management, data science and information retrieval · 2 · 1 first-authorHuman-computer interaction and ubiquitous computing · 2 · 1 first-authorSoftware engineering, systems software and programming languages · 1 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Artificial intelligence
1 paper
Knowledge representation and reasoning · 100%
Software engineering, system software, and programming languages
1 paper
Programming languages and type systems · 100%

Topics — the 1 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Programming languages and type systems › language semantics › formal semantics
object-oriented language semantics
0.011995
Ontological foundations for state and identity within the object-oriented paradigm · Int. J. Hum. Comput. Stud. 1995

Methods — techniques the papers use, named apart from their topics

ontological analysis · 0.0
YearPublicationVenuePosition
2014 Modeling Systemic Behavior by State-Based Holonic Modular Units
Luca Pazzi
MoDELS1
2008 A State-Based Systemic View of Behavior for Safe Medical Computer Applications
abstract
The paper addresses safety issues involved in making ad hoc interconnections among medical devices in order to assemble more complex medical systems. The main problem is that the systemic view may be easily concealed by nowadays behavioral modeling tools. Missing such a systemic view does not allow to have a precise view of what is being modeled: we propose instead to adopt novel methodological guidelines in developing assembled medical systems, basically by showing how a a clear and unambiguous semantics may be given for any state of the system being modeled, from specification to test phases. Such a state semantics may then be checked against safety axioms by simply visiting the state diagram without the need of resorting to model checking techniques.
Luca Pazzi, Marco Pradelli
CBMS1
1999 Implicit versus Explicit Characterization of Complex Entities and Events
Luca Pazzi
Data Knowl. Eng.1
1996 Part-Whole Relations in Object-Centered Systems: An Overview
Alessandro Artale, Enrico Franconi, Nicola Guarino, Luca Pazzi
Data Knowl. Eng.4
1995 Ontological foundations for state and identity within the object-oriented paradigm
Flavio Bonfatti, Luca Pazzi
Int. J. Hum. Comput. Stud.2