UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo

Items where Subject is "Area01 - 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: A | B | C | D | F | G | L | M | N | R | S | T
Number of items at this level: 40.

A

Augusto, Ciuffoletti and L., Merola and F., Palmieri and Sivio, Pardi and G., Russo (2010) Optimizing bulk data transfers using network measurements: a practical case. Journal of Physics - Conference series, 219 (6). ISSN 1742-6588

B

Baiardi, Fabrizio and Sgandurra, Daniele and Telmon, Claudio (2009) Hierarchical, model-based risk management of critical infrastructures. Reliability Engineering & System Safety, 94/200 (9). pp. 1403-1415. ISSN 0951-8320

Baldassarri, Monica and Mogorovich, Paolo and Salvatori, Enrica (2009) Database, WebGIS, storia ed archeologia: riflessioni metodologiche dietro un progetto sulla Lunigiana medievale. In: Geografie del popolamento: casi di studio, metodi e teorie. Università degli Studi di Siena, Siena. (In Press)

Barbuti, Roberto and Caravagna, Giulio and Maggiolo-Schettini, Andrea and Milazzo, Paolo (2008) An Intermediate Language for Stochastic Simulation of Biological Systems. Theoretical Computer Science . ISSN 0304-3975 (In Press)

Bartoloni, Leonardo and Canciani, Andrea and Cisternino, Antonio and Morelli, Davide (2013) Extending a probabilistic language based upon Sampling Functions to model correlation. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Battaglia, Giovanni and Grossi, Roberto and Cangelosi, Davide and Pisanti, Nadia (2009) Masking Patterns in Sequences: A New Class of Motif Discovery with Don't Cares. Theoretical Computer Science, 410 (43). pp. 4327-4340. ISSN 0304-3975

Bellia, Marco and Occhiuto, Maria Eugena (2013) Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types (Extended Version). Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bigi, Giancarlo and Passacantando, Mauro (2013) D-gap functions and descent techniques for solving quilibrium problems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bigi, Giancarlo and Passacantando, Mauro (2013) Twelve monotonicity conditions arising from algorithms for equilibrium problems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bucchioni, Cinzia (2005) Dentro gli openUrl resolver: magie e limiti. In: [Seminario Annuale del Caspur], 10-11 Nov 2005, Napoli, Italia. (Unpublished)

Bucchioni, Cinzia (2006) Lo standard Openurl: evoluzioni e applicazioni. In: Seminario monografico AIB-Lazio, 3 Marzo 2006, Roma, Italia. (Unpublished)

Buono, Daniele and De Matteis, Tiziano and Mencagli, Gabriele and Vanneschi, Marco (2013) Towards a Methodology for Parallel Data Stream Processing: application to Parallel Stream Join. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

C

Cacchiani, Valentina and Galli, Laura and Toth, Paolo (2013) A Tutorial on Train Timetabling and Train Platforming Problems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Calamoneri, Tiziana and Frangioni, Antonio and Sinaimeri, Blerina (2013) Pairwise Compatibility Graphs of Caterpillars. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cappanera, Paola and Scutellà, Maria Grazia (2013) Joint assignment, scheduling and routing models to Home Care optimization: a pattern based approach. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cioni, Lorenzo (2013) An iterative procedure for the Paretian ranking of competing projects. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cioni, Lorenzo (2013) A multicriteria method for a pluarality of deciders. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ciuffoletti, Augusto (2009) Collision avoidance for Delay_Req messages in broadcast media. In: International IEEE Symposium on Precision Clock Synchronization, 12-16 ottobre 2009, Brescia, Italia.

Ciuffoletti, Augusto (2014) A simple and generic interface for a Cloud Monitoring System. In: CLOSER 2014 - 4th International Conference on Cloud Computing and Services Science, April 2-5 2014, Barcelona.

Ciuffoletti, Augusto (2009) The wandering token: Congestion avoidance of a shared resource. Future Generation Computer Systems . ISSN 0167-739X (In Press)

Ciuffoletti, Augusto (2010) The wandering token: Congestion avoidance of a shared resource. Future Generation Computer Systems, 2010 (26). pp. 473-478. ISSN 0167-739X

Ciuffoletti, Augusto and Alari, Gianluigi (1997) Implementing a probabilistic clock synchronization algorithm. Real-Time Systems, 13 (1). pp. 25-46. ISSN 0922-6443

Ciuffoletti, Augusto and Asim, Ali (2009) Scalable concurrency control in a dynamic membership. In: Grid and Services Evolution. Springer, pp. 205-214. ISBN 978-0-387-85965-1

Ciuffoletti, Augusto and Bustos-Jimenez, Javier and Bersano, Nicolas and Schaeffer, Satu Elisa and Piquer, Jose Miguel and Iosup, Alexandru (2008) Estimating The Size Of Peer-To-Peer Networks Using Lambert’s W Function. In: Grid Computing - Achievements and Prospects. Springer, pp. 61-72. ISBN 978-0-387-09456-4

Ciuffoletti, Augusto and Polychronakis, Michalis (2007) Architecture of a Network Monitoring Element. In: Euro-Par 2006 Workshops: Parallel Processing - Selected papers. Springer, pp. 5-14. ISBN 978-3-540-72226-7

Colazzo, Dario and Ghelli, Giorgio and Sartiani, Carlo (2008) Efficient inclusion for a class of XML types with interleaving and counting. Information Systems, Availa (Availa). ISSN 0306-4379 (In Press)

D

De Francesco, Nicoletta and Lettieri, Giuseppe and Vaglini, Gigliola and Martini, Luca (2010) Partial model checking via abstract interpretation. Information Processing Letters, 110 (3). pp. 99-103. ISSN 0020-0190

Denard, Hugh and Salvatori, Enrica and Simi, Maria (2011) Learning by Building in SL: A Reflection on an Interdisciplinary and International Experience. In: Multi-User Virtual Environments for the Classroom: Practical Approaches to Teaching in Virtual Worlds. IGI Global, Hershey PA, pp. 134-158. ISBN 978-1-60960-545-2

F

Federico, Maria and Pisanti, Nadia (2009) Suffix tree characterization of maximal motifs in biological sequences. Theoretical Computer Science, 410 (43). pp. 4391-4410. ISSN 0304-3975

Frangioni, Antonio and Galli, Laura and Scutellà, Maria Grazia (2013) Delay-Constrained Shortest Paths: Approximation Algorithms and Second-Order Cone Models. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

G

Galli, Laura and Letchford, Adam N. (2013) A Compact Variant of the QCR Method for 0-1 Quadratically Constrained Quadratic Programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

L

Lùperi, Patrizia and Gullà, Valentina (2010) Integrated library services within the web 2.0 context: from the development of tools for e-learning to open access repositories. In: International Tecnology, Education and Development Conference, INTED 2010, 8-10 marzo 2010, Valencia, Spagna.

M

Monreale, Anna and Nanni, Mirco and Grossi, Valerio and Trasarti, Roberto and Pedreschi, Dino (2013) Privacy in Distributed Monitoring. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

N

Nanni, Mirco and Trasarti, Roberto and Monreale, Anna and Grossi, Valerio and Pedreschi, Dino (2013) Distributed monitoring of cluster quality for car insurance customer segmentation. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

R

Ruggieri, Salvatore (2013) Learning from Polyhedral Sets. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

S

Salvatori, Enrica (2009) Hardcore history: ovvero la storia in podcast. Analisi del podcasting dedicato ad argomenti storici in lingua inglese, francese, italiana e spagnola. Memoria e Ricerca, 30/200 (1). pp. 171-187. ISSN 1127-0195

Salvatori, Enrica (2010) La trasmissione della memoria da Guccini ad Avatar: un ritorno al futuro. In: 2060: WHAT WILL BE THE SOURCES FOR THE HISTORY OF OUR TIMES? A coming together of techniques, practices and the social sciences, 8-9 aprile 2010, Torino, Italia. (In Press)

Serban, Tudor and Coppola, Massimo (2013) Data parallel patterns on CPU/GPU mix. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Sgandurra, Daniele and Maggiari, Dario and Tamberi, Francesco and Baiardi, Fabrizio (2009) Transparent Process Monitoring in a Virtual Environment. Electronic Notes in Theoretical Computer Science, Volume (2). pp. 85-100.

T

Tahanan, Milad and van Ackooij, Wim and Frangioni, Antonio and Lacalandra, Fabrizio (2014) Large-scale Unit Commitment under uncertainty: a literature survey. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

This list was generated on Fri Oct 31 00:00:48 2014 CET.