Patrizia Asirelli
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"(IT)
Publications by Year
Research Areas
Semantic Web and Ontologies, Advanced Database Systems and Queries, Logic, Reasoning, and Knowledge, Advanced Software Engineering Methodologies, Service-Oriented Architecture and Web Services
Most-Cited Works
- → Formal Description of Variability in Product Families(2011)92 cited
- → A Logical Framework to Deal with Variability(2010)49 cited
- → Integrity constraints in logic databases(1985)43 cited
- → A Model-Checking Tool for Families of Services(2011)27 cited
- Deontic Logics for Modeling Behavioural Variability.(2009)
- → A Compositional Framework to Derive Product Line Behavioural Descriptions(2012)19 cited
- A deontic logical framework for modelling product families(2010)
- → Design and validation of variability in product lines(2011)14 cited