dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Nicolás D'Ippolito Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDario Fischbein, Nicolás D'Ippolito, Greg Brunet, Marsha Chechik, Sebastián Uchitel: Weak Alphabet Merging of Partial Behavior Models. ACM Trans. Softw. Eng. Methodol. 21(2): 9 (2012)
2011
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel: Synthesis of live behaviour models for fallible domains. ICSE 2011: 211-220
2010
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolás D'Ippolito, Marcelo F. Frias, Juan P. Galeotti, Esteban Lanzarotti, Sergio Mera: Alloy+HotCore: A Fast Approximation to Unsat Core. ASM 2010: 160-173
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel: Synthesis of live behaviour models. SIGSOFT FSE 2010: 77-86
2008
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolás D'Ippolito, Dario Fischbein, Marsha Chechik, Sebastián Uchitel: MTSA: The Modal Transition System Analyser. ASE 2008: 475-476
2007
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolás D'Ippolito, Dario Fischbein, Howard Foster, Sebastián Uchitel: MTSA: Eclipse support for modal transition systems construction, analysis and elaboration. ETX 2007: 6-10

Coauthor Index

1Víctor A. Braberman [3] [5]
2Greg Brunet [6]
3Marsha Chechik [2] [6]
4Dario Fischbein [1] [2] [6]
5Howard Foster [1]
6Marcelo F. Frias (Marcelo Fabiùn Frias) [4]
7Juan P. Galeotti [4]
8Esteban Lanzarotti [4]
9Sergio Mera [4]
10Nir Piterman [3] [5]
11Sebastián Uchitel [1] [2] [3] [5] [6]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page