The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Carlo Montangero: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Carlo Montangero, Giuliano Pacini, Maria Simi, Franco Turini
    Information Management in Context Trees. [Citation Graph (1, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:85-94 [Journal]
  2. Xiaojun Chen, Paola Inverardi, Carlo Montangero
    ESP-MC: An Experiment in the Use of Verification Tools. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1995, pp:396-410 [Conf]
  3. Amjad Hudaib, Carlo Montangero
    A UML Profile to Support the Formal Presentation of Software Architecture. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:217-223 [Conf]
  4. Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini
    Mobile Agents Coordination in Mobadtl. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2000, pp:232-248 [Conf]
  5. Carlo Montangero, Laura Semini
    A Logical View of Choreography. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2006, pp:179-193 [Conf]
  6. Carlo Montangero, Laura Semini
    Composing Specifications for Coordination. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1999, pp:118-133 [Conf]
  7. Carlo Montangero, Laura Semini, Simone Semprini
    Logic Based Coordination for Event-Driven Self-healing Distributed Systems. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2004, pp:248-263 [Conf]
  8. Giuseppe Attardi, Carlo Montangero, Gianfranco Prini
    A High Level Machine for Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
    AISB (ECAI), 1976, pp:26-37 [Conf]
  9. X. J. Chen, Carlo Montangero
    Compositional Refinements in Multiple Blackboard Systems. [Citation Graph (0, 0)][DBLP]
    ESOP, 1992, pp:93-109 [Conf]
  10. Wolfgang Emmerich, Anthony Finkelstein, Alfonso Fuggetta, Carlo Montangero, Jean-Claude Derniame
    Software Process - Standards, Assessments and Improvement. [Citation Graph (0, 0)][DBLP]
    Software Process: Principles, Methodology, Technology, 1999, pp:15-26 [Conf]
  11. Vincenzo Ambriola, Giovanni A. Cignoni, Carlo Montangero
    The Oikos Services for Object Management in the Software Process. [Citation Graph (0, 0)][DBLP]
    EWSPT, 1994, pp:2-14 [Conf]
  12. Vincenzo Ambriola, Carlo Montangero
    OIKOS at the Age of Three. [Citation Graph (0, 0)][DBLP]
    EWSPT, 1992, pp:84-93 [Conf]
  13. Carlo Montangero
    Open Issues in the Design of PM Languages. [Citation Graph (0, 0)][DBLP]
    EWSPT, 1995, pp:93- [Conf]
  14. Carlo Montangero
    In Favour of a Coherent Process Coding Language. [Citation Graph (0, 0)][DBLP]
    EWSPT, 1995, pp:94-97 [Conf]
  15. Carlo Montangero, Jean-Claude Derniame, Badara Ali Kaba, Brian Warboys
    The Software Process: Modelling and Technology. [Citation Graph (0, 0)][DBLP]
    Software Process: Principles, Methodology, Technology, 1999, pp:1-14 [Conf]
  16. David Graham Wastell, Selma Arbaoui, Jacques Lonchamp, Carlo Montangero
    The Human Dimension of the Software Process. [Citation Graph (0, 0)][DBLP]
    Software Process: Principles, Methodology, Technology, 1999, pp:165-200 [Conf]
  17. Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero
    End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. [Citation Graph (0, 0)][DBLP]
    FM, 2005, pp:286-301 [Conf]
  18. Mikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini
    For-LySa: UML for Authentication Analysis. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2004, pp:93-106 [Conf]
  19. Giuliano Pacini, Carlo Montangero, Franco Turini
    Graph Representation and Computation Rules for Typeless Recursive Languages. [Citation Graph (0, 0)][DBLP]
    ICALP, 1974, pp:157-169 [Conf]
  20. Carlo Montangero, Giuliano Pacini, Franco Turini
    MAGMA-LISP: A "Machine Language" For Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1975, pp:556-561 [Conf]
  21. Vincenzo Ambriola, Carlo Montangero
    Hierarchical specification of software processes in Oikos. [Citation Graph (0, 0)][DBLP]
    ISPW, 1991, pp:34-36 [Conf]
  22. Vincenzo Ambriola, Paolo Ciancarini, Carlo Montangero
    Software processes as a hierarchy. [Citation Graph (0, 0)][DBLP]
    ISPW, 1990, pp:57-60 [Conf]
  23. Carlo Montangero
    The "process in the tool syndrome": is it becoming worse? [Citation Graph (0, 0)][DBLP]
    ISPW, 1994, pp:53-56 [Conf]
  24. Vincenzo Ambriola, Paolo Ciancarini, Carlo Montangero
    The Logic Language ESP and its Programming Environment. [Citation Graph (0, 0)][DBLP]
    LPE, 1990, pp:12-15 [Conf]
  25. Carlo Montangero, Giuliano Pacini, Franco Turini
    A model for structured parallel processing in block-structured programming languages. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1974, pp:350-361 [Conf]
  26. Paola Inverardi, Simone Martini, Carlo Montangero
    Is Type Checking Practical for System Configuration? [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1989, pp:257-271 [Conf]
  27. Carlo Montangero, Laura Semini
    istributed States Logic. [Citation Graph (0, 0)][DBLP]
    TIME, 2002, pp:55-57 [Conf]
  28. X. J. Chen, Carlo Montangero
    Compositional Refinements in Multiple Blackboard Systems [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1995, v:32, n:5, pp:415-458 [Journal]
  29. Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini
    Mark, a Reasoning Kit for Mobility. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2002, v:9, n:2, pp:137-150 [Journal]
  30. Carlo Montangero, Giuliano Pacini, Franco Turini
    Two-Level Control Structure for Nondeterministic Programming. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1977, v:20, n:10, pp:725-730 [Journal]
  31. Carlo Montangero, Laura Semini
    Distributed States Temporal Logic [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  32. Vincenzo Ambriola, Carlo Montangero
    Automatic generation of execution tools in a GANDALF environment. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1985, v:5, n:2, pp:155-171 [Journal]
  33. Laura Semini, Carlo Montangero
    A Refinement Calculus for Tuple Spaces. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1999, v:34, n:2, pp:79-140 [Journal]
  34. Wolfgang Emmerich, Anthony Finkelstein, Carlo Montangero, Stefano Antonelli, Stephen Armitage, Richard Stevens
    Managing Standards Compliance. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1999, v:25, n:6, pp:826-851 [Journal]
  35. Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini
    Logic-Based Detection of Conflicts in AppelPolicies. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:257-271 [Conf]

  36. Dynamically Evolvable Dependable Software: From Oxymoron to Reality. [Citation Graph (, )][DBLP]


  37. StPowla: SOA, Policies and Workflows. [Citation Graph (, )][DBLP]


  38. Barbed Model-Driven Software Development: A Case Study. [Citation Graph (, )][DBLP]


Search in 0.125secs, Finished in 0.128secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002