MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Nazareno Aguirre" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 8 documents found, showing 1 through 8.
ATOM RSS
  • An equational calculus for Alloy  
  • by Marcelo F. Frias, Carlos G. López Pombo, Nazareno M. Aguirre — 2004 — In Proceedings of the Sixth International Conference on Formal Engineering Methods (ICFEM
  • …An Equational Calculus for Alloy Marcelo F. Frias ⋆,1 , Carlos G. López Pombo 2 , and Nazareno M…
  • Cited by 3 (2 self) – Add To MetaCart
  • unknown title  
  • by Taking Alloy, Movies Marcelo, F. Frias, Carlos G. L'opez Pombo, Gabriel A. Baum, Nazareno M. Aguirre, Tom Maibaum
  • …, Nazareno M. Aguirre??4, and Tom Maibaum5 1 Department of Computer Science, School of Exact and Natural…
  • Add To MetaCart
  • Universidad de Buenos Aires and  
  • by Marcelo F. Frias, Carlos G. Lopez Pombo, Juan P. Galeotti, Nazareno M. Aguirre, Río Cuarto
  • …. GALEOTTI Universidad de Buenos Aires and NAZARENO M. AGUIRRE Universidad Nacional de Río Cuarto Dyn…
  • Add To MetaCart
  • Towards Abstraction for DynAlloy Specifications  
  • by Nazareno M. Aguirre, Marcelof. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis
  • …Towards Abstraction for DynAlloy Specifications Nazareno M. Aguirre 1 ,MarceloF.Frias 2 , Pablo…
  • Add To MetaCart
  • DynAlloy: Upgrading Alloy with Actions ABSTRACT  
  • by Marcelo F. Frias, Juan P. Galeotti, Carlos G. López Pombo, Nazareno M. Aguirre
  • ….00. Nazareno M. Aguirre Department of Computer Science FCEFQyN - Universidad Nacional de Río Cuarto Argentina…
  • Add To MetaCart
Help! Showing 1 through 8.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB