titoli, abstracts, parole chiave >>>
Items where Discipline is "Area 01 - Scienze matematiche e informatiche > INF/01 Informatica"
Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Creators | Item Type
Jump to: B | C | D | L | O | T
Number of items at this level: 21.


Baldan, Paolo and Bracciali, Andrea and Brodo, Linda and Bruni, Roberto (2007) Deducing interactions in partially unspecified biological systems. In: Algebraic Biology: 2nd International Conference, AB 2007: proceedings, 2-4 July 2007, Hagenberg, Austria. Berlin - New York, Springer. p. 262-276. (Lecture Notes in Computer Science, 4545/2007). ISBN 978-3-540-73432-1. Conference or Workshop Item.

Bampas, Evangelos and Bilò, Davide and Drovandi, Guido and Klasing, Ralf and Proietti, Guido and Gualà, Luciano (2015) Network verification via routing table queries. Journal of Computer and System Sciences, Vol. 81 (1), p. 234-248. ISSN 0022-0000. eISSN 1090-2724. Article.

Bilò, Davide and Gualà, Luciano and Leucci, Stefano and Proietti, Guido (2015) Specializations and generalizations of the Stackelberg minimum spanning tree game. Theoretical computer science, Vol. 562 , p. 643-657. ISSN 0304-3975. eISSN 1879-2294. Article.

Bilò, Davide and Gualà, Luciano and Proietti, Guido (2013) A Faster computation of all the best swap edges of a shortest paths tree. In: 21. Annual European Symposium on Algorithms: ESA 2013; proceedings, September 2-4, 2013, Sophia Antipolis, France. Heidelberg [etc.], Springer. p. 157-168. (Lecture notes in computer science, 8125/2013). ISSN 0302-9743. eISBN 978-3-642-40450-4. Conference or Workshop Item.

Bodei, Chiara and Brodo, Linda and Chiarugi, Davide (2012) Control flow analysis of generalised Boolean networks. Electronic Notes in Theoretical Computer Science, Vol. 284 , p. 3-22. eISSN 1571-0661. Article.

Bodei, Chiara and Brodo, Linda and Degano, Pierpaolo and Gao, Han (2010) Detecting and preventing type flaws at static time. Journal of Computer Security, Vol. 18 (2), p. 229-264. eISSN 1875-8924. Article.

Bodei, Chiara and Brodo, Linda and Degano, Pierpaolo and Gao, Han (2008) Statically detecting message confusions in a multi-protocol setting. In: Proceedings of the International Workshop on Issues in the Theory of Security (WITS'08), 2008, Pittsburgh (PA), USA. [1-18]. Conference or Workshop Item.

Bodei, Chiara and Degano, Pierpaolo and Gao, Han and Brodo, Linda (2007) Detecting and preventing type flaws: a control flow analysis with tags. Electronic Notes in Theoretical Computer Science, Vol. 194 (1), p. 3-22. ISSN 1571-0661. Article.

Brelstaff, Gavin J. and Brodo, Linda and Bicego, Manuele and Grosso, Enrico (2006) Face-pair scrutiny-subject-type classification. Perception, Vol. 35 (Suppl.), p. 209. eISSN 1468-4233. Article.

Brodo, Linda and Bicego, Manuele and Brelstaff, Gavin and Lagorio, Andrea and Tistarelli, Massimo and Grosso, Enrico (2006) Comparing faces: a computational and perceptual study. In: Proceedings of International Conference on Computer Vision Theory and Application (VISAPP06), 25-28 February 2006, Setúbal, Portugal. p. 188-191. Conference or Workshop Item.

Brodo, Linda and Degano, Pierpaolo and Priami, Corrado (2007) A Stochastic semantics for bioambients. In: Parallel Computing Technologies: 9th International Conference, PaCT 2007: proceedings, 3-7 September 2007, Pereslavl-Zalessky, Russia. Berlin - New York, Springer. p. 22-34. (Lecture Notes in Computer Science, 4671/2007). ISBN 978-3-540-73939-5. Conference or Workshop Item.


Curti, Michele and Degano, Pierpaolo and Prandi, Davide and Priami, Corrado and Quaglia, Paola and Brodo, Linda (2005) Formal executable descriptions of biological systems. In: 2nd International Conference on the Quantitative Evaluation of Systems: Proceedings, 19-22 September 2005, Torino, Italy. Los Alamitos (CA), IEEE Computer Society. p. 2-11. ISBN 0-7695-2427-3. Conference or Workshop Item.


Deroma, Antonio (2003) Anton Parragues de Castillejo e la circolazione di un enigma umanistico nella Sardegna del '500. Sandalion, Vol. 23-25 (2000-2002 pubbl. 2003), p. 123-145. Article.

Deroma, Antonio (2000) Barisone d'Arborea, Giovanni Arca e un'inedita storia di Sardegna. In: Multas per gentes: studi in memoria di Enzo Cadoni, Sassari, EDES Editrice Democratica Sarda (stampa Tipografia TAS). p. 133-146. Book Section.

Deroma, Antonio (2009) [Recensione a] Le Filippiche di Cicerone, edizione critica a cura di Giuseppina Magnaldi. Sandalion, Vol. 31 (2008 pubbl. 2009), p. 303-306. Article.

Deroma, Antonio (2004) Un'Inedita testimonianza dell'enigma di Aelia Laelia o della pietra di Bologna (CIL, XI, 88*). In: Epigrafia di confine, confine dell'epigrafia: atti del Colloquio AIEGL-Borghesi 2003, 10-12 ottobre 2003, Bertinoro, Italia. Faenza, Fratelli Lega Editori. p. 415-426. (Epigrafia e antichità, 21). ISBN 88-7594-023-1. Conference or Workshop Item.


Lorusso, Ludovica and Brelstaff, Gavin James and Brodo, Linda and Lagorio, Andrea and Grosso, Enrico (2011) Visual judgments of kinship: an alternative perspective. Perception, Vol. 40 (11), p. 1282-1289. eISSN 1468-4233. Article.


Ortega Hortas, Marcos and Brodo, Linda and Bicego, Manuele and Tistarelli, Massimo (2009) Measuring changes in face appearance through aging. In: IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops : CVPR Workshops, 2009, 20-25 June 2009, Miami (FL), USA. Piscataway, IEEE. p. 107-113. ISBN 978-1-4244-3994-2. eISBN 978-1-4244-3993-5. Conference or Workshop Item.

Ortega Hortas, Marcos and Brodo, Linda and Bicego, Manuele and Tistarelli, Massimo (2009) On the quantitative estimation of short-term aging in human faces. In: Image Analysis and Processing, ICIAP 2009: Proceedings of the 15th International Conference on Image Analysis and Processing, 8-11 September 2009, Vietri sul Mare, Italy. Berlin - Heidelberg, Springer. p. 575-584. (Lecture Notes in Computer Science, 5716/2009). ISBN 978-3-642-04145-7. Conference or Workshop Item.

Ortega-Garcia, Javier and Fierrez, Julian and Alonso-Fernandez, Fernando and Galbally, Javier and Freire, Manuel R. and Gonzalez-Rodriguez, Joaquin and Carmen García, Mateo and Alba Castro, José Luis and Gonzalez Agulla, Elisardo and Otero Muras, Enrique and Garcia-Salicetti, Sonia and Allano, Lorène and Ly-Van, Bao and Dorizzi, Bernadette and Kittler, Josef and Bourlai, Thirimachos and Poh, Norman and Farzin, Deravi and Ng, Ming W. R. and Fairhurst, Michael C. and Hennebert, Jean and Humm, Andreas and Tistarelli, Massimo and Brodo, Linda and Richiardi, Jonas and Drygajlo, Andrzej and Ganster, Harald and Sukno, Federico M. and Pavani, Sri Kaushik and Frangi, Alejandro and Akarun, Lale and Savran, Arman (2010) The Multiscenario Multienvironment BioSecure Multimodal Database (BMDB). IEEE Transactions on Pattern Analysis and Machine Intelligence, Vol. 32 (6), p. 1097-1111. ISSN 0162-8828. Article.


Tistarelli, Massimo and Brodo, Linda and Lagorio, Andrea and Bicego, Manuele (2007) Recognition of human faces: from biological to artificial vision. In: Advances in Brain, Vision, and Artificial Intelligence: 2nd International Symposium, BVAI: proceedings, 10-12 October 2007, Naples, Italy. Berlin - New York, Springer. p. 191-213. (Lecture Notes in Computer Science, 4729/2007). eISSN 1611-3349. ISBN 978-3-540-75554-8. Conference or Workshop Item.

This list was generated on Tue Apr 20 16:29:44 2021 CEST.