Maura Cerioli

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Egidio Astesiano

> Home > Persons > Maura Cerioli

Publications

2002
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/rissef/AstesianoCR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rissef/AstesianoCR02
Egidio Astesiano, Maura Cerioli, Gianna Reggio:
Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case). RISSEF 2002: 1-15
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/unu/AstesianoRC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/AstesianoRC02
Egidio Astesiano, Gianna Reggio, Maura Cerioli:
From Formal Techniques to Well-Founded Software Development Methods. 10th Anniversary Colloquium of UNU/IIST 2002: 132-150
2001
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/AstesianoCR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/AstesianoCR01
Egidio Astesiano, Maura Cerioli, Gianna Reggio:
From ADT to UML-Like Modelling. Ershov Memorial Conference 2001: 246
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/fase/ReggioCA01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ReggioCA01
Gianna Reggio, Maura Cerioli, Egidio Astesiano:
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. FASE 2001: 171-186
2000
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/AstesianoCR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/AstesianoCR00
Egidio Astesiano, Maura Cerioli, Gianna Reggio:
Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML. AMAST 2000: 273-292
1996
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/AstesianoC96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/AstesianoC96
Egidio Astesiano, Maura Cerioli:
Non-Strict Don't Care Algebras and Specifications. Math. Struct. Comput. Sci. 6(1): 85-125 (1996)
1995
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AstesianoC95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AstesianoC95
Egidio Astesiano, Maura Cerioli:
Free Objects and Equational Deduction for Partial Conditional Specifications. Theor. Comput. Sci. 152(1): 91-138 (1995)
1993
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/sosl/AstesianoC93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosl/AstesianoC93
Egidio Astesiano, Maura Cerioli:
Multiparadigm Specification Languages: A First Attempt at Foundations. Semantics of Specification Languages 1993: 168-185
1992
[j1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/AstesianoC92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/AstesianoC92
Egidio Astesiano, Maura Cerioli:
Partial higher-order specifications. Fundam. Informaticae 16(1): 101-126 (1992)
1991
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/compass/AstesianoC91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compass/AstesianoC91
Egidio Astesiano, Maura Cerioli:
Relationships between Logical Frameworks. COMPASS/ADT 1991: 126-143
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/AstesianoC91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/AstesianoC91
Egidio Astesiano, Maura Cerioli:
Partial Higher-Order Specifications. MFCS 1991: 74-83
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/AstesianoC91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/AstesianoC91
Egidio Astesiano, Maura Cerioli:
Non-Strict Don't Care Algebras and Specifications. TAPSOFT, Vol.1 1991: 121-142
1989
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/AstesianoC89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/AstesianoC89
Egidio Astesiano, Maura Cerioli:
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications. TAPSOFT, Vol.1 1989: 74-88
1988
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/adt/AstesianoC88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/AstesianoC88
Egidio Astesiano, Maura Cerioli:
Models and Logical Deduction in Partial Higher-Order Conditional Specifications. ADT 1988

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.