MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Pietro Cenciarelli" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 9 documents found, showing 1 through 9.
ATOM RSS
  • An algebraic view of program composition  
  • by Pietro Cenciarelli — 1998 — Algebraic Methodology and Software Technology, number 1548 in Lect. Notes Comp. Sci
  • …An algebraic view of program composition Pietro Cenciarelli Ludwig–Maximilians–Universität München…
  • Cited by 1 (0 self) – Add To MetaCart
  • Synchronising Graphs  
  • by Pietro Cenciarelli, Ro Tiberi — 2004
  • …Context-free Synchronising Graphs Pietro Cenciarelli and Alessandro Tiberi University of Rome, “La…
  • Cited by 1 (1 self) – Add To MetaCart
  • A Syntactic Approach to Modularity in Denotational Semantics  
  • by Pietro Cenciarelli Dept, Pietro Cenciarelli, Eugenio Moggi — 1993 — In Proceedings of the Conference on Category Theory and Computer Science
  • …A Syntactic Approach to Modularity in Denotational Semantics Pietro Cenciarelli Dept. of Comp. Sci…
  • Add To MetaCart
  • Ambient Graph Rewriting  
  • by Pietro Cenciarelli, Ivano Talamo, Ro Tiberi — 2004 — Proceedings of WRLA’04. To appear in Elsevier ENTCS
  • ….elsevier.com/locate/entcs Ambient Graph Rewriting Pietro Cenciarelli, Ivano Talamo, and Alessandro Tiberi Dipartimento di…
  • Cited by 1 (1 self) – Add To MetaCart
  • Verifying a Compiler Optimization for Multi-Threaded Java  
  • by Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing, Ludwig--maximilians--universitat Munchen — 1998 — Sel. Papers 12 th Int. Wsh. Recent Trends in Algebraic Development Techniques, volume 1376 of Lect. Notes Comp. Sci
  • …Verifying a Compiler Optimization for Multi-Threaded Java Bernhard Reus, Alexander Knapp, Pietro…
  • Cited by 1 (1 self) – Add To MetaCart
Help! Showing 1 through 9.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB