GIOVANNI MAINETTO
- Type
- Persona (Classe)
- Label
- GIOVANNI MAINETTO (literal)
- GIOVANNI MAINETTO (literal)
- Partecipa a commessa
- Partecipazione a Commessa "Ubiquitous Internet" (ICT.P07.018) di DOTT. GIOVANNI MAINETTO nell'anno 2008 (Partecipazione a commessa)
- Partecipazione a Commessa "Ubiquitous Internet" (ICT.P07.018) di DOTT. GIOVANNI MAINETTO nell'anno 2006 (Partecipazione a commessa)
- Partecipazione a Commessa "Ubiquitous Internet" (ICT.P07.018) di DOTT. GIOVANNI MAINETTO nell'anno 2007 (Partecipazione a commessa)
- Persona in rapporto
- Rapporto con CNR di DOTT. GIOVANNI MAINETTO (Rapporto con CNR)
- Autore CNR di
- Analysis of Concurrent Transactions in a Functional Database Programming Language (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Static analysis of transactions: an experiment fo abstract Interpretation usage (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Sistemi di Voto Elettronico: l'Esperienza degli USA (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Se il computer conta i voti, tutti i voti contano? (Altre pubblicazioni) (Prodotto della ricerca)
- Data sharing analysis for a database programming language via abstract interpretation (Contributo in atti di convegno) (Prodotto della ricerca)
- Experimenting an indoor bluetooth-based positioning service (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Analisi informatica di frodi elettorali nei procedimenti di voto: il caso delle politiche in Italia del 2006 (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Coautore
- FOSCA GIANNOTTI (Unità di personale interno)
- MIEKE MASSINK (Unità di personale interno)
- ENRICO GREGORI (Unità di personale interno)
- MARCO CONTI (Unità di personale interno)
- GIUSEPPE AMATO (Persona)
- Nome
- GIOVANNI (literal)
- Cognome
- MAINETTO (literal)
- Afferisce a
- Istituto di informatica e telematica (IIT) (Istituto)
- Ha pubblicazioni con
- MARCO CONTI (Unità di personale interno)
- MIEKE MASSINK (Unità di personale interno)
- ENRICO GREGORI (Unità di personale interno)
Incoming links:
- Ha afferente
- Istituto di informatica e telematica (IIT) (Istituto)
- Partecipazione di
- Partecipazione a Commessa "Ubiquitous Internet" (ICT.P07.018) di DOTT. GIOVANNI MAINETTO nell'anno 2008 (Partecipazione a commessa)
- Partecipazione a Commessa "Ubiquitous Internet" (ICT.P07.018) di DOTT. GIOVANNI MAINETTO nell'anno 2007 (Partecipazione a commessa)
- Partecipazione a Commessa "Ubiquitous Internet" (ICT.P07.018) di DOTT. GIOVANNI MAINETTO nell'anno 2006 (Partecipazione a commessa)
- Coautore
- MIEKE MASSINK (Unità di personale interno)
- GIUSEPPE AMATO (Persona)
- MARCO CONTI (Unità di personale interno)
- FOSCA GIANNOTTI (Unità di personale interno)
- ENRICO GREGORI (Unità di personale interno)
- Ha pubblicazioni con
- MIEKE MASSINK (Unità di personale interno)
- MARCO CONTI (Unità di personale interno)
- ENRICO GREGORI (Unità di personale interno)
- Rapporto con persona
- Rapporto con CNR di DOTT. GIOVANNI MAINETTO (Rapporto con CNR)
- Autore CNR
- Experimenting an indoor bluetooth-based positioning service (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Sistemi di Voto Elettronico: l'Esperienza degli USA (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Analisi informatica di frodi elettorali nei procedimenti di voto: il caso delle politiche in Italia del 2006 (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
- Se il computer conta i voti, tutti i voti contano? (Altre pubblicazioni) (Prodotto della ricerca)
- Data sharing analysis for a database programming language via abstract interpretation (Contributo in atti di convegno) (Prodotto della ricerca)
- Static analysis of transactions: an experiment fo abstract Interpretation usage (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Analysis of Concurrent Transactions in a Functional Database Programming Language (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)