Searching for authors named "Maura Cerioli" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
Very Abstract Specifications: A Formalism Independent Approach
- …: cerioli, reggio @(email omitted); Very Abstract Specifications: A Formalism Independent Approach…
- Cited by 1 (0 self) – Add To MetaCart
-
May I Borrow Your Logic? (Transporting Logical Structures along Maps)
- …May I Borrow Your Logic? (Transporting Logical Structures along Maps) Maura Cerioli 1 DISI…
- Add To MetaCart
-
Plugging Data Constructs into Paradigm-Specific Languages: towards an Application to UML
- … Astesiano, Maura Cerioli and Gianna Reggio DISI--Dipartimento di Informatica e Scienze dell…
- Cited by 13 (2 self) – Add To MetaCart
-
Extending Casl by Late Binding
- …Extending Casl by Late Binding ? Davide Ancona, Maura Cerioli, and Elena Zucca DISI - Universit…
- Cited by 5 (0 self) – Add To MetaCart
-
From Total Equational to Partial First Order Logic
- …3 From Total Equational to Partial First Order Logic ? Maura Cerioli 1 , Till Mossakowski 2…
- Cited by 17 (7 self) – Add To MetaCart
-
A Formal Framework with Late Binding
- …A Formal Framework with Late Binding ? Davide Ancona, Maura Cerioli, and Elena Zucca DISI…
- Cited by 6 (1 self) – Add To MetaCart
-
Gesper: Support to Capitalize on Experience in a Network of SMEs ⋆
- …Gesper: Support to Capitalize on Experience in a Network of SMEs ⋆ Maura Cerioli 1 , Giovanni…
- Add To MetaCart
-
Permissive Subsorted Partial Logic in CASL
- …Permissive Subsorted Partial Logic in CASL Maura Cerioli 1 , Anne Haxthausen 2 , Bernd Krieg…
- Cited by 13 (8 self) – Add To MetaCart
-
Implementation of Derived Programs (Almost) for Free
- …Implementation of Derived Programs (Almost) for Free ? Maura Cerioli and Elena Zucca DISI…
- Add To MetaCart
-
Subsorting in CASL - CoFI Language Design Study Note
- …Subsorting in CASL CoFI Language Design Study Note Maura Cerioli Till Mossakowski Bernd Krieg…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
