Sfoglia per Autore
Mapping Coloured Stochastic Petrinets to stochastic process algebras
2003-01-01 Brodo, Linda; S., Gilmore; J., Hillston; MAPPING COLOURED STOCHASTIC PETRINETS TO STOCHASTIC PROCESS ALGEBRAS, AND C. P. R. I. A. M. I.
Performance evaluation for global computation
2003-01-01 Brodo, Linda; P., Degano; S., Gilmore; J., Hillston; C., Priami
Reflecting Mobile Ambient into the pi-calculus
2003-01-01 Brodo, Linda; P., Degano; C., Priami
Formal executable descriptions of biological systems
2005-01-01 Brodo, Linda; Curti, Michele; Degano, Pierpaolo; Prandi, Davide; Priami, Corrado; Quaglia, Paola
Formal Executable Descriptions of Biological Systems
2005-01-01 Curti, M; Degano, P; Prandi, D; Priami, C; Quaglia, P; Brodo, Linda
Comparing faces: a computational and perceptual study
2006-01-01 Brodo, Linda; Tistarelli, Massimo; Bicego, Manuele; Lagorio, Andrea; Grosso, Enrico; Brelstaff, Gavin
Comparing faces: a computational and perceptual study
2006-01-01 Brodo, Linda; Bicego, M; Brelstaff, G; Lagorio, Andrea; Grosso, Enrico; Tistarelli, Massimo
Face-pair scrutiny - subject-type classification
2006-01-01 Brelstaff, G. J.; Brodo, Linda; Bicego, M; Grosso, Enrico
A stochastic semantics for BioAmbients
2007-01-01 Brodo, Linda; Degano, P; Priami, C.
Detecting and preventing type flaws: a control flow analysis with tags
2007-01-01 Bodei, C; Degano, P; Gao, H; Brodo, Linda
Recognition of human faces: from biological to artificial vision
2007-01-01 Tistarelli, Massimo; Brodo, Linda; Lagorio, Andrea; M., Bicego
Deducing interactions in partially unspecified biological systems
2007-01-01 Baldan, P; Bracciali, A; Brodo, Linda; Bruni, R.
Statically detecting message confusions in a multi-protocol setting
2008-01-01 Brodo, Linda; Bodei, Chiara; Degano, Pierpaolo; Gao, Han
Statically Detecting Message Confusions in a Multi-Protocol Setting
2008-01-01 Bodei, C; Brodo, Linda; Degano, P; Gao, H.
On the quantitative estimation of short-term aging in human faces
2008-01-01 Brodo, Linda; Tistarelli, Massimo; Bicego, Manuele; Ortega Hortas, Marcos
Distinctiveness of faces: a computational approach
2008-01-01 Bicego, Manuele; Grosso, Enrico; Lagorio, Andrea; Brelstaff, Gavin; Brodo, Linda; Tistarelli, Massimo
Static Detection of Logic Flaws in Service-Oriented Applications
2009-01-01 Bodei, C; Brodo, Linda; Bruni, R.
On the Quantitative Estimation of Short-Term Aging in Human Faces
2009-01-01 Ortega, M; Brodo, Linda; Bicego, M; Tistarelli, Massimo
Measuring changes in face appearance through aging
2009-01-01 M., Ortega; Brodo, Linda; M., Bicego; Tistarelli, Massimo
The Multiscenario Multienvironment BioSecure Multimodal Database (BMDB)
2010-01-01 Tistarelli, Massimo; Brodo, Linda; Ortega-Garcia, Javier; Fierrez, Julian; Alonso-Fernandez, Fernando; Galbally, Javier; Freire, Manuel R.; Gonzalez-Rodriguez, Joaquin; Carmen García, Mateo; Alba Castro, José Luis; Gonzalez Agulla, Elisardo; Garcia-Salicetti, Sonia; Allano, Lorène; Ly-Van, Bao; Dorizzi, Bernadette; Kittler, Josef; Bourlai, Thirimachos; Poh, Norman; Farzin, Deravi; Ng, Ming W. R.; Fairhurst, Michael C.; Hennebert, Jean; Humm, Andreas; Richiardi, Jonas; Drygajlo, Andrzej; Ganster, Harald; Sukno, Federico M.; Pavani, Sri Kaushik; Frangi, Alejandro; Akarun, Lale; Savran, Arman; Otero Muras, Enrique
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Mapping Coloured Stochastic Petrinets to stochastic process algebras | 1-gen-2003 | Brodo, Linda; S., Gilmore; J., Hillston; MAPPING COLOURED STOCHASTIC PETRINETS TO STOCHASTIC PROCESS ALGEBRAS, AND C. P. R. I. A. M. I. | |
Performance evaluation for global computation | 1-gen-2003 | Brodo, Linda; P., Degano; S., Gilmore; J., Hillston; C., Priami | |
Reflecting Mobile Ambient into the pi-calculus | 1-gen-2003 | Brodo, Linda; P., Degano; C., Priami | |
Formal executable descriptions of biological systems | 1-gen-2005 | Brodo, Linda; Curti, Michele; Degano, Pierpaolo; Prandi, Davide; Priami, Corrado; Quaglia, Paola | |
Formal Executable Descriptions of Biological Systems | 1-gen-2005 | Curti, M; Degano, P; Prandi, D; Priami, C; Quaglia, P; Brodo, Linda | |
Comparing faces: a computational and perceptual study | 1-gen-2006 | Brodo, Linda; Tistarelli, Massimo; Bicego, Manuele; Lagorio, Andrea; Grosso, Enrico; Brelstaff, Gavin | |
Comparing faces: a computational and perceptual study | 1-gen-2006 | Brodo, Linda; Bicego, M; Brelstaff, G; Lagorio, Andrea; Grosso, Enrico; Tistarelli, Massimo | |
Face-pair scrutiny - subject-type classification | 1-gen-2006 | Brelstaff, G. J.; Brodo, Linda; Bicego, M; Grosso, Enrico | |
A stochastic semantics for BioAmbients | 1-gen-2007 | Brodo, Linda; Degano, P; Priami, C. | |
Detecting and preventing type flaws: a control flow analysis with tags | 1-gen-2007 | Bodei, C; Degano, P; Gao, H; Brodo, Linda | |
Recognition of human faces: from biological to artificial vision | 1-gen-2007 | Tistarelli, Massimo; Brodo, Linda; Lagorio, Andrea; M., Bicego | |
Deducing interactions in partially unspecified biological systems | 1-gen-2007 | Baldan, P; Bracciali, A; Brodo, Linda; Bruni, R. | |
Statically detecting message confusions in a multi-protocol setting | 1-gen-2008 | Brodo, Linda; Bodei, Chiara; Degano, Pierpaolo; Gao, Han | |
Statically Detecting Message Confusions in a Multi-Protocol Setting | 1-gen-2008 | Bodei, C; Brodo, Linda; Degano, P; Gao, H. | |
On the quantitative estimation of short-term aging in human faces | 1-gen-2008 | Brodo, Linda; Tistarelli, Massimo; Bicego, Manuele; Ortega Hortas, Marcos | |
Distinctiveness of faces: a computational approach | 1-gen-2008 | Bicego, Manuele; Grosso, Enrico; Lagorio, Andrea; Brelstaff, Gavin; Brodo, Linda; Tistarelli, Massimo | |
Static Detection of Logic Flaws in Service-Oriented Applications | 1-gen-2009 | Bodei, C; Brodo, Linda; Bruni, R. | |
On the Quantitative Estimation of Short-Term Aging in Human Faces | 1-gen-2009 | Ortega, M; Brodo, Linda; Bicego, M; Tistarelli, Massimo | |
Measuring changes in face appearance through aging | 1-gen-2009 | M., Ortega; Brodo, Linda; M., Bicego; Tistarelli, Massimo | |
The Multiscenario Multienvironment BioSecure Multimodal Database (BMDB) | 1-gen-2010 | Tistarelli, Massimo; Brodo, Linda; Ortega-Garcia, Javier; Fierrez, Julian; Alonso-Fernandez, Fernando; Galbally, Javier; Freire, Manuel R.; Gonzalez-Rodriguez, Joaquin; Carmen García, Mateo; Alba Castro, José Luis; Gonzalez Agulla, Elisardo; Garcia-Salicetti, Sonia; Allano, Lorène; Ly-Van, Bao; Dorizzi, Bernadette; Kittler, Josef; Bourlai, Thirimachos; Poh, Norman; Farzin, Deravi; Ng, Ming W. R.; Fairhurst, Michael C.; Hennebert, Jean; Humm, Andreas; Richiardi, Jonas; Drygajlo, Andrzej; Ganster, Harald; Sukno, Federico M.; Pavani, Sri Kaushik; Frangi, Alejandro; Akarun, Lale; Savran, Arman; Otero Muras, Enrique |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile