GIANLUCA TRENTANNI
- Type
- Persona (Classe)
- Label
- GIANLUCA TRENTANNI (literal)
- GIANLUCA TRENTANNI (literal)
- Http://www.w3.org/2002/07/owl#sameAs
- GIANLUCA TRENTANNI (Persona)
- Persona in rapporto
- Employment relationship with CNR of DOTT. GIANLUCA TRENTANNI (Rapporto con CNR)
- Autore CNR di
- Cartelle sanitarie e di rischio: un'esperienza di certificazione (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- TOCAI.it - MIUR Tecnologie Orientate alla Conoscenza per Aggregazioni di Imprese in Internet (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- TOCAI.it - MIUR (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Certificazione di Apparecchi Misuratori Fiscali: passato, presente e futuro (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- The HAL-online Tool (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Assisting the design of a groupware system - model checking usability aspects of thinkteam (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- An experience in using a tool for evaluating a large set of natural language requirements (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- An approach to ambiguity analysis in safety-related standards (Contributo in atti di convegno) (Prodotto della ricerca)
- QuARS Express: A Tool for Evaluating Natural Language Requirements (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Assisting the design of an industrial groupware system by model checking (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- Evaluating web site quality: a statistical approach (Contributo in atti di convegno) (Prodotto della ricerca)
- QuARS Express - User Manual (Note interne, manuali e guide) (Prodotto della ricerca)
- SEFM 2010 - Poster and Tool Demo Session Proceedings (Curatela) (Prodotto della ricerca)
- QuARS Express - A Tool Demonstration (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- Assisting the design of an industrial groupware system by model checking (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session (Curatela) (Prodotto della ricerca)
- Evaluation of natural language requirements in the MODCONTROL project (Articolo in rivista) (Prodotto della ricerca)
- QuARS Express - User Manual (version 0.1) (Note interne, manuali e guide) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1722)
- Thinkteam with replicated data repositories: stochastic model checking in industry (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Addressing Readability in NL Requirements Analysis (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- WCS: a Witness and Counterexample Server (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Assisting the design of a groupware system - Model checking usability aspects of thinkteam (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- QuARS versus QuARS Express (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- E-COMWEB: a quality Model for e-commerce Web sites (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Coautore
- MAURICE HENRI TER BEEK (Unità di personale interno)
- GIUSEPPE LAMI (Persona)
- STEFANIA GNESI (Persona)
- ANTONIO BUCCHIARONE (Persona)
- ALESSANDRO COCO (Unità di personale interno)
- MIEKE MASSINK (Persona)
- DIEGO LATELLA (Persona)
- FRANCO MAZZANTI (Unità di personale interno)
- MARIO FUSANI (Unità di personale interno)
- FABRIZIO FABBRINI (Unità di personale interno)
- ALESSANDRO FANTECHI (Unità di personale esterno)
- ISABELLA BISCOGLIO (Persona)
- FOSCA GIANNOTTI (Unità di personale interno)
- Nome
- GIANLUCA (literal)
- Cognome
- TRENTANNI (literal)
- Afferisce a
- Ha pubblicazioni con
- MIEKE MASSINK (Persona)
- DIEGO LATELLA (Persona)
- ALESSANDRO FANTECHI (Unità di personale esterno)
- MAURICE HENRI TER BEEK (Unità di personale interno)
- GIUSEPPE LAMI (Persona)
- STEFANIA GNESI (Persona)
- ANTONIO BUCCHIARONE (Persona)
Incoming links:
- Coautore
- FRANCO MAZZANTI (Unità di personale interno)
- MIEKE MASSINK (Persona)
- DIEGO LATELLA (Persona)
- GIUSEPPE LAMI (Persona)
- FOSCA GIANNOTTI (Unità di personale interno)
- STEFANIA GNESI (Persona)
- MAURICE HENRI TER BEEK (Unità di personale interno)
- FABRIZIO FABBRINI (Unità di personale interno)
- MARIO FUSANI (Unità di personale interno)
- ISABELLA BISCOGLIO (Persona)
- ANTONIO BUCCHIARONE (Persona)
- ALESSANDRO FANTECHI (Unità di personale esterno)
- ALESSANDRO COCO (Unità di personale interno)
- Ha pubblicazioni con
- MIEKE MASSINK (Persona)
- DIEGO LATELLA (Persona)
- GIUSEPPE LAMI (Persona)
- STEFANIA GNESI (Persona)
- MAURICE HENRI TER BEEK (Unità di personale interno)
- ANTONIO BUCCHIARONE (Persona)
- ALESSANDRO FANTECHI (Unità di personale esterno)
- Ha afferente
- Rapporto con persona
- Employment relationship with CNR of DOTT. GIANLUCA TRENTANNI (Rapporto con CNR)
- Autore CNR
- Assisting the design of an industrial groupware system by model checking (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Evaluation of natural language requirements in the MODCONTROL project (Articolo in rivista) (Prodotto della ricerca)
- Assisting the design of a groupware system - Model checking usability aspects of thinkteam (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Evaluating web site quality: a statistical approach (Contributo in atti di convegno) (Prodotto della ricerca)
- An approach to ambiguity analysis in safety-related standards (Contributo in atti di convegno) (Prodotto della ricerca)
- An experience in using a tool for evaluating a large set of natural language requirements (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- QuARS Express - A Tool Demonstration (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- TOCAI.it - MIUR (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- TOCAI.it - MIUR Tecnologie Orientate alla Conoscenza per Aggregazioni di Imprese in Internet (Progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1725)
- Thinkteam with replicated data repositories: stochastic model checking in industry (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- SEFM 2010 - Poster and Tool Demo Session Proceedings (Curatela) (Prodotto della ricerca)
- Assisting the design of a groupware system - model checking usability aspects of thinkteam (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
- E-COMWEB: a quality Model for e-commerce Web sites (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- QuARS versus QuARS Express (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Addressing Readability in NL Requirements Analysis (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- WCS: a Witness and Counterexample Server (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Cartelle sanitarie e di rischio: un'esperienza di certificazione (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- The HAL-online Tool (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Certificazione di Apparecchi Misuratori Fiscali: passato, presente e futuro (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- QuARS Express: A Tool for Evaluating Natural Language Requirements (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- QuARS Express - User Manual (Note interne, manuali e guide) (Prodotto della ricerca)
- iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session (Curatela) (Prodotto della ricerca)
- Assisting the design of an industrial groupware system by model checking (Altre pubblicazioni) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1717)
- QuARS Express - User Manual (version 0.1) (Note interne, manuali e guide) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1722)