The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Maura Cerioli: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Egidio Astesiano, Maura Cerioli
    Models and Logical Deduction in Partial Higher-Order Conditional Specifications. [Citation Graph (0, 0)][DBLP]
    ADT, 1988, pp:- [Conf]
  2. Maura Cerioli, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner, Till Mossakowski
    Permissive Subsorted Partial Logic in CASL. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:91-107 [Conf]
  3. Egidio Astesiano, Maura Cerioli, Gianna Reggio
    Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:273-292 [Conf]
  4. Maura Cerioli, Gianna Reggio
    Algebraic-Oriented Institutions. [Citation Graph (0, 0)][DBLP]
    AMAST, 1993, pp:201-208 [Conf]
  5. Matteo Dell'Amico, Maura Cerioli
    DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:96-110 [Conf]
  6. Egidio Astesiano, Maura Cerioli
    Relationships between Logical Frameworks. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1991, pp:126-143 [Conf]
  7. Maura Cerioli
    A Lazy Approach to Partial Algebras. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1994, pp:188-202 [Conf]
  8. Maura Cerioli, Gianna Reggio
    Institutions for Very Abstract Specifications. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1992, pp:113-127 [Conf]
  9. Martin Gogolla, Maura Cerioli
    What is an Abstract Data Type, after all? [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1994, pp:499-523 [Conf]
  10. Maura Cerioli, Matteo Dell'Amico
    Injecting Distribution in CASL. [Citation Graph (0, 0)][DBLP]
    Foundations of Global Computing, 2005, pp:- [Conf]
  11. Egidio Astesiano, Maura Cerioli, Gianna Reggio
    From ADT to UML-Like Modelling. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:246- [Conf]
  12. Davide Ancona, Maura Cerioli, Elena Zucca
    A Formal Framework with Late Binding. [Citation Graph (0, 0)][DBLP]
    FASE, 1999, pp:30-44 [Conf]
  13. Gianna Reggio, Maura Cerioli, Egidio Astesiano
    Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:171-186 [Conf]
  14. Egidio Astesiano, Maura Cerioli
    Partial Higher-Order Specifications. [Citation Graph (0, 0)][DBLP]
    MFCS, 1991, pp:74-83 [Conf]
  15. Maura Cerioli, José Meseguer
    May I Borrow Your Logic? [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:342-351 [Conf]
  16. Egidio Astesiano, Maura Cerioli, Gianna Reggio
    Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case). [Citation Graph (0, 0)][DBLP]
    RISSEF, 2002, pp:1-15 [Conf]
  17. Egidio Astesiano, Maura Cerioli
    Multiparadigm Specification Languages: A First Attempt at Foundations. [Citation Graph (0, 0)][DBLP]
    Semantics of Specification Languages, 1993, pp:168-185 [Conf]
  18. Egidio Astesiano, Maura Cerioli
    On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1989, pp:74-88 [Conf]
  19. Egidio Astesiano, Maura Cerioli
    Non-Strict Don't Care Algebras and Specifications. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1991, pp:121-142 [Conf]
  20. Egidio Astesiano, Gianna Reggio, Maura Cerioli
    From Formal Techniques to Well-Founded Software Development Methods. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:132-150 [Conf]
  21. Davide Ancona, Maura Cerioli, Elena Zucca
    Extending Casl by Late Binding. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:53-72 [Conf]
  22. Maura Cerioli, Elena Zucca
    Implementation of derived programs (almost) for free. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:141-155 [Conf]
  23. Egidio Astesiano, Maura Cerioli
    Partial higher-order specifications. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1992, v:16, n:1, pp:101-126 [Journal]
  24. Maura Cerioli, Gianna Reggio
    Very Abstract Specifications: A Formalism Independent Approach. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1998, v:8, n:1, pp:17-66 [Journal]
  25. Egidio Astesiano, Maura Cerioli
    Non-Strict Don't Care Algebras and Specifications. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1996, v:6, n:1, pp:85-125 [Journal]
  26. Egidio Astesiano, Maura Cerioli
    Free Objects and Equational Deduction for Partial Conditional Specifications. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:152, n:1, pp:91-138 [Journal]
  27. Maura Cerioli, José Meseguer
    May I Borrow Your Logic? (Transporting Logical Structures Along Maps). [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:173, n:2, pp:311-347 [Journal]
  28. Maura Cerioli, Tiziana Margaria, Michel Wermelinger
    Foreword. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:376, n:3, pp:137-138 [Journal]

  29. Great Is the Enemy of Good: Is Perfecting Specific Courses Harmful to Global Curricula Performances? [Citation Graph (, )][DBLP]


  30. Gesper: Support to Capitalize on Experience in a Network of SMEs. [Citation Graph (, )][DBLP]


Search in 0.021secs, Finished in 0.023secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002