![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Patrizia Asirelli
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2012
- [c27]Patrizia Asirelli, Maurice H. ter Beek
, Alessandro Fantechi, Stefania Gnesi
:
A Compositional Framework to Derive Product Line Behavioural Descriptions. ISoLA (1) 2012: 146-161 - 2011
- [c26]Patrizia Asirelli, Maurice H. ter Beek
, Alessandro Fantechi, Stefania Gnesi
:
A Model-Checking Tool for Families of Services. FMOODS/FORTE 2011: 44-58 - [c25]Patrizia Asirelli, Maurice H. ter Beek
, Alessandro Fantechi, Stefania Gnesi
, Franco Mazzanti
:
Design and validation of variability in product lines. PLEASE@ICSE 2011: 25-30 - [c24]Patrizia Asirelli, Maurice H. ter Beek
, Stefania Gnesi
, Alessandro Fantechi:
Formal Description of Variability in Product Families. SPLC 2011: 130-139 - 2010
- [c23]Patrizia Asirelli, Maurice H. ter Beek
, Alessandro Fantechi, Stefania Gnesi
:
A Logical Framework to Deal with Variability. IFM 2010: 43-58 - [c22]Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi:
A Deontic Logical Framework for Modelling Product Families. VaMoS 2010: 37-44
2000 – 2009
- 2009
- [c21]Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi:
Deontic Logics for Modeling Behavioural Variability. VaMoS 2009: 71-76 - 2006
- [c20]Patrizia Asirelli, Suzanne Little, Massimo Martinelli, Ovidio Salvetti:
MultiMedia Metadata Management: a Proposal for an Infrastructure. SWAP 2006 - 2000
- [j4]Domenico Aquilino, Patrizia Asirelli, A. Formuso, Chiara Renso
, Franco Turini:
Using MedLan to Integrate Geographical Data. J. Log. Program. 43(1): 3-14 (2000)
1990 – 1999
- 1999
- [c19]Patrizia Asirelli, Fabrizio Fabbrini:
Firewall Policies Definition Tools: An Implementation Idea. IICIS 1999: 99-110 - 1998
- [c18]Patrizia Asirelli, Chiara Renso, Franco Turini:
The Constraint Operator of MedLan: Its Efficient Implementation and Use. IICIS 1998: 41-55 - 1997
- [j3]Domenico Aquilino, Patrizia Asirelli, Chiara Renso, Franco Turini:
Applying Restriction Constraints to Deductive Databases. Ann. Math. Artif. Intell. 19(1-2): 3-25 (1997) - [c17]Patrizia Asirelli:
View Constraints: An Interpretation of Integrity Constraints for Security. IICIS 1997: 237-252 - 1996
- [c16]Patrizia Asirelli, Stephen C. Cook, Keith G. Jeffery:
A Logical Database for Validating System Models. DDLP 1996: 119-134 - [c15]Patrizia Asirelli, Paola Inverardi, Giuseppe Plagenza:
Integrity Constraints as Views in Deductice Databases. FMLDO 1996: 133-140 - [c14]Patrizia Asirelli, Chiara Renso
, Franco Turini:
Language Extensions for Semantic Integration of Deductive Databases. Logic in Databases 1996: 415-434 - [c13]Patrizia Asirelli, Stefania Gnesi, Maria Cristina Rossi:
A Deductive Database Support to the Specification of Concurrent Systems. SOFSEM 1996: 309-316 - 1995
- [c12]Domenico Aquilino, D. Apuzzo, Patrizia Asirelli:
A Declarative Approach to the Design and Realization of Graphic Interfaces. GULP-PRODE 1995: 332-346 - [c11]Domenico Aquilino, Patrizia Asirelli, Chiara Renso, Franco Turini:
An Operator for Composing Deductive Databases with Theories of Constraints. LPNMR 1995: 57-70 - 1994
- [j2]Patrizia Asirelli, D. Di Grande, Paola Inverardi, F. Nicodemi:
Graphics by a Logic Database Management System. J. Vis. Lang. Comput. 5(4): 365-388 (1994) - [c10]Domenico Aquilino, Patrizia Asirelli, Paola Inverardi:
Gedblog: a Multi-Theories Deductive Environment to Specify Graphical Interfaces. GULP-PRODE (2) 1994: 440-441 - 1992
- [c9]Domenico Aquilino, Patrizia Asirelli, Paola Inverardi:
Prototyping in the GEDBLOG System. SEKE 1992: 194-199 - 1991
- [c8]Domenico Aquilino, Patrizia Asirelli, Paola Inverardi, P. Malara:
Supporting Reuse and Configuration: A Port Based SCM Model. SCM 1991: 62-67
1980 – 1989
- 1989
- [c7]Patrizia Asirelli, C. Billi, Paola Inverardi:
Selective Refutation of Integrity Constraints in Deductive Databases. MFDBS 1989: 1-11 - 1988
- [c6]Patrizia Asirelli, Paola Inverardi, A. Mustaro:
Improving Integrity Constraint Checking in Deductive Databases. ICDT 1988: 72-86 - [c5]Patrizia Asirelli, Paola Inverardi:
Using Logic Databases in Software Development Environments. PLILP 1988: 292-299 - [c4]Patrizia Asirelli, Paola Inverardi:
EDBLOG: A Kernel for Configuration Environments. SCM 1988: 422-425 - 1987
- [c3]Patrizia Asirelli, Paola Inverardi:
Enhancing Configuration Facilities in Software Development: A Logic Approach. ESEC 1987: 55-63 - 1985
- [j1]Patrizia Asirelli, Michele de Santis, Maurizio Martelli:
Integrity Constraints for Logic Databases. J. Log. Program. 2(3): 221-232 (1985) - 1983
- [c2]Patrizia Asirelli:
Some Aspects of the Static Semantics of Logic Programs with Monadic Functions. Logic Programming Workshop 1983: 485-505
1970 – 1979
- 1979
- [c1]Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini:
A Flexible Environment for Program Development Based on a Symbolic Interpreter. ICSE 1979: 251-264
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint