default search action
Alberto Montresor
Person information
- affiliation: University of Trento, Italy
- affiliation (PhD 2000): University of Bologna, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j33]Quintino Francesco Lotito, Alberto Montresor, Federico Battiston:
Multiplex measures for higher-order networks. Appl. Netw. Sci. 9(1): 55 (2024) - [j32]Quintino Francesco Lotito, Federico Musciotto, Alberto Montresor, Federico Battiston:
Hyperlink communities in higher-order networks. J. Complex Networks 12(2) (2024) - [j31]Quintino Francesco Lotito, Federico Musciotto, Federico Battiston, Alberto Montresor:
Exact and sampling methods for mining higher-order motifs in large hypergraphs. Computing 106(2): 475-494 (2024) - [c87]Francesca Fiore, Alberto Montresor:
Inclusive Coding Perspectives: Youth Insights from Trento. EDUCON 2024: 1-10 - [c86]Luca Cavalcanti, Cristian Consonni, Martin Brugnara, David Laniado, Alberto Montresor:
Comparing Personalized Relevance Algorithms for Directed Graphs. ICDE 2024: 5401-5404 - [c85]Giulia Paludo, Alberto Montresor:
Collaborative Approaches for Effective and Sustainable Integration of Computational Thinking Educational Strategies. WiPSCE 2024: 33:1-33:2 - [i17]Quintino Francesco Lotito, Alberto Montresor, Federico Battiston:
Multiplex measures for higher-order networks. CoRR abs/2402.16782 (2024) - [i16]Luca Cavalcanti, Cristian Consonni, Martin Brugnara, David Laniado, Alberto Montresor:
Comparing Personalized Relevance Algorithms for Directed Graphs. CoRR abs/2405.02261 (2024) - [i15]Quintino Francesco Lotito, Alberto Vendramini, Alberto Montresor, Federico Battiston:
The microscale organization of directed hypergraphs. CoRR abs/2410.16258 (2024) - 2023
- [j30]Simi Surendran, Maneesha Vinodini Ramesh, Alberto Montresor, Martin J. Montag:
Link Characterization and Edge-Centric Predictive Modeling in an Ocean Network. IEEE Access 11: 5031-5046 (2023) - [j29]Quintino Francesco Lotito, Martina Contisciani, Caterina De Bacco, Leonardo Di Gaetano, Luca Gallo, Alberto Montresor, Federico Musciotto, Nicolò Ruggeri, Federico Battiston:
Hypergraphx: a library for higher-order network analysis. J. Complex Networks 11(3) (2023) - [c84]Francesca Fiore, Alberto Montresor:
The Design Process of the ApeLab: A Fablab on Wheels. FIE 2023: 1-5 - [c83]Matilde Gugole, Francesca Fiore, Tommaso Rosi, Giuliano Zendri, Alberto Montresor:
Stem-Kit: An interdisciplinary approach to learning physics and computer science. FIE 2023: 1-8 - [i14]Quintino Francesco Lotito, Federico Musciotto, Alberto Montresor, Federico Battiston:
Hyperlink communities in higher-order networks. CoRR abs/2303.01385 (2023) - [i13]Quintino Francesco Lotito, Martina Contisciani, Caterina De Bacco, Leonardo Di Gaetano, Luca Gallo, Alberto Montresor, Federico Musciotto, Nicolò Ruggeri, Federico Battiston:
Hypergraphx: a library for higher-order network analysis. CoRR abs/2303.15356 (2023) - 2022
- [c82]Simi Surendran, Alberto Montresor, Maneesha Vinodini Ramesh, Paolo Casari:
Reinforcement Learning-Based Connectivity Restoration in an Ocean Network of Fishing Vessels. ANTS 2022: 1-6 - [i12]Quintino Francesco Lotito, Federico Musciotto, Federico Battiston, Alberto Montresor:
Exact and Sampling Methods for Mining Higher-Order Motifs in Large Hypergraphs. CoRR abs/2209.10241 (2022) - 2021
- [c81]Francesca Fiore, Alberto Montresor, Maurizio Marchese:
A Maker Approach For The Future Of Learning. FabLearn/MakeEd 2021: 11:1-11:4 - [c80]Simi Surendran, Maneesha Vinodini Ramesh, Alberto Montresor:
Predictive Analytics Integrated Multi-level Optimization of Offshore Connectivity in Ocean Network. LCN 2021: 621-628 - [c79]Zekarias T. Kefato, Sarunas Girdzijauskas, Nasrullah Sheikh, Alberto Montresor:
Dynamic Embeddings for Interaction Prediction. WWW 2021: 1609-1618 - [i11]Quintino Francesco Lotito, Federico Musciotto, Alberto Montresor, Federico Battiston:
Higher-order motif analysis in hypergraphs. CoRR abs/2108.03192 (2021) - 2020
- [j28]Simi Surendran, Maneesha Vinodini Ramesh, Martin J. Montag, Alberto Montresor:
Modelling communication capability and node reorientation in offshore communication network. Comput. Electr. Eng. 87: 106781 (2020) - [j27]Leonardo Maccari, Lorenzo Ghiro, Alessio Guerrieri, Alberto Montresor, Renato Lo Cigno:
Exact Distributed Load Centrality Computation: Algorithms, Convergence, and Applications to Distance Vector Routing. IEEE Trans. Parallel Distributed Syst. 31(7): 1693-1706 (2020) - [c78]Massimiliano Luca, Alberto Montresor, Carlo Caprini, Daniele Miorandi:
An Architecture-independent Data Model for Managing Information Generated by Human-chatbot Interactions. MODELSWARD 2020: 344-351 - [i10]Zekarias T. Kefato, Nasrullah Sheikh, Alberto Montresor:
Which way? Direction-Aware Attributed Graph Embedding. CoRR abs/2001.11297 (2020) - [i9]Quintino Francesco Lotito, Alberto Montresor:
Efficient Algorithms to Mine Maximal Span-Trusses From Temporal Graphs. CoRR abs/2009.01928 (2020) - [i8]Giovanni De Toni, Cristian Consonni, Alberto Montresor:
A general method for estimating the prevalence of Influenza-Like-Symptoms with Wikipedia data. CoRR abs/2010.14903 (2020) - [i7]Zekarias T. Kefato, Sarunas Girdzijauskas, Nasrullah Sheikh, Alberto Montresor:
Dynamic Embeddings for Interaction Prediction. CoRR abs/2011.05208 (2020)
2010 – 2019
- 2019
- [j26]Nasrullah Sheikh, Zekarias T. Kefato, Alberto Montresor:
gat2vec: representation learning for attributed graphs. Computing 101(3): 187-209 (2019) - [j25]Giuliano Mega, Alberto Montresor, Gian Pietro Picco:
Social Overlays Meet the Cloud: A Hybrid Architecture for Profile Dissemination in Decentralized Social Networks. IEEE Trans. Netw. Sci. Eng. 6(4): 613-627 (2019) - [c77]Nasrullah Sheikh, Zekarias T. Kefato, Alberto Montresor:
A Simple Approach to Attributed Graph Embedding via Enhanced Autoencoder. COMPLEX NETWORKS (1) 2019: 797-809 - [c76]Cristian Consonni, Paolo Sottovia, Alberto Montresor, Yannis Velegrakis:
Discovering Order Dependencies through Order Compatibility. EDBT 2019: 409-420 - [c75]Lorenzo Angeli, Francesca Fiore, Alberto Montresor, Maurizio Marchese:
Designing a Hands-on Learning Space for the New Generation. FabLearn Europe 2019: 5:1-5:3 - [c74]Pedro García López, Alberto Montresor, Anwitaman Datta:
Please, do not Decentralize the Internet with (Permissionless) Blockchains! ICDCS 2019: 1901-1911 - [c73]Andrea Zanotto, Nicola Conci, Alberto Montresor:
Blockchain-grade privacy protection in surveillance systems. ICDSC 2019: 30:1-30:2 - [c72]Cristian Consonni, David Laniado, Alberto Montresor:
WikiLinkGraphs: A Complete, Longitudinal and Multi-Language Dataset of the Wikipedia Link Networks. ICWSM 2019: 598-607 - [i6]Cristian Consonni, David Laniado, Alberto Montresor:
WikiLinkGraphs: A complete, longitudinal and multi-language dataset of the Wikipedia link networks. CoRR abs/1902.04298 (2019) - [i5]Pedro García López, Alberto Montresor, Anwitaman Datta:
Please, do not decentralize the Internet with (permissionless) blockchains! CoRR abs/1904.13093 (2019) - 2018
- [c71]Leonardo Maccari, Lorenzo Ghiro, Alessio Guerrieri, Alberto Montresor, Renato Lo Cigno:
On the Distributed Computation of Load Centrality and its Application to DV Routing. INFOCOM 2018: 2582-2590 - [c70]Luca Forlizzi, Michael Lodi, Violetta Lonati, Claudio Mirolo, Mattia Monga, Alberto Montresor, Anna Morpurgo, Enrico Nardelli:
A Core Informatics Curriculum for Italian Compulsory Education. ISSEP 2018: 141-153 - [c69]Zekarias T. Kefato, Nasrullah Sheikh, Alberto Montresor:
REFINE: Representation Learning from Diffusion Events. LOD 2018: 141-153 - [c68]Zekarias T. Kefato, Nasrullah Sheikh, Leila Bahri, Amira Soliman, Alberto Montresor, Sarunas Girdzijauskas:
CAS2VEC: Network-Agnostic Cascade Prediction in Online Social Networks. SNAMS 2018: 72-79 - [c67]Nasrullah Sheikh, Zekarias T. Kefato, Alberto Montresor:
Semi-Supervised Heterogeneous Information Network Embedding for Node Classification Using 1D-CNN. SNAMS 2018: 177-181 - 2017
- [j24]Sabeur Aridhi, Alberto Montresor, Yannis Velegrakis:
BLADYG: A Graph Processing Framework for Large Dynamic Graphs. Big Data Res. 9: 9-17 (2017) - [c66]Zekarias T. Kefato, Nasrullah Sheikh, Alberto Montresor:
Mineral: Multi-modal Network Representation Learning. MOD 2017: 286-298 - [i4]Sabeur Aridhi, Alberto Montresor, Yannis Velegrakis:
BLADYG: A Graph Processing Framework for Large Dynamic Graphs. CoRR abs/1701.00546 (2017) - 2016
- [j23]Weverton Luis da Costa Cordeiro, Flavio Roberto Santos, Marinho P. Barcellos, Luciano Paschoal Gaspary, Hanna Kavalionak, Alessio Guerrieri, Alberto Montresor:
Making puzzles green and useful for adaptive identity management in large-scale distributed systems. Comput. Networks 95: 97-114 (2016) - [c65]Pedro García López, Raúl Gracia Tinedo, Alberto Montresor:
Towards Data-driven Software-defined Infrastructures. Cloud Forward 2016: 144-147 - [c64]Sabeur Aridhi, Martin Brugnara, Alberto Montresor, Yannis Velegrakis:
Distributed k-core decomposition and maintenance in large dynamic graphs. DEBS 2016: 161-168 - [c63]Sabeur Aridhi, Alberto Montresor, Yannis Velegrakis:
BLADYG: A Novel Block-Centric Framework for the Analysis of Large Dynamic Graphs. HPGP@HPDC 2016: 39-42 - [c62]Alberto Montresor:
Reflecting on the Past, Preparing for the Future: From Peer-to-Peer to Edge-Centric Computing. ICDCS 2016: 22-23 - [c61]Alessio Guerrieri, Fatemeh Rahimian, Sarunas Girdzijauskas, Alberto Montresor:
Tovel: Distributed Graph Clustering for Word Sense Disambiguation. ICDM Workshops 2016: 623-630 - [c60]Chayma Sakouhi, Sabeur Aridhi, Alessio Guerrieri, Salma Sassi, Alberto Montresor:
DynamicDFEP: A Distributed Edge Partitioning Approach for Large Dynamic Graphs. IDEAS 2016: 142-147 - [c59]Hanna Kavalionak, Amir Hossein Payberah, Alberto Montresor, Jim Dowling:
NATCloud: cloud-assisted NAT-traversal service. SAC 2016: 508-513 - [c58]Alessio Guerrieri, Alberto Montresor, Simone Centellegher:
ETSCH: Partition-Centric Graph Processing. UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld 2016: 706-713 - 2015
- [j22]Pedro García López, Alberto Montresor, Dick H. J. Epema, Anwitaman Datta, Teruo Higashino, Adriana Iamnitchi, Marinho P. Barcellos, Pascal Felber, Etienne Rivière:
Edge-centric Computing: Vision and Challenges. Comput. Commun. Rev. 45(5): 37-42 (2015) - [j21]Hanna Kavalionak, Emanuele Carlini, Laura Ricci, Alberto Montresor, Massimo Coppola:
Integrating peer-to-peer and cloud computing for massively multiuser online games. Peer-to-Peer Netw. Appl. 8(2): 301-319 (2015) - [c57]Alessio Guerrieri, Alberto Montresor:
DFEP: Distributed Funding-Based Edge Partitioning. Euro-Par 2015: 346-358 - 2014
- [c56]Alessio Guerrieri, Alberto Montresor, Yannis Velegrakis:
Top-k Item Identification on Dynamic and Distributed Datasets. Euro-Par 2014: 270-281 - [c55]Giovanni Simoni, Roberto Roverso, Alberto Montresor:
RankSlicing: A decentralized protocol for supernode selection. P2P 2014: 1-10 - [i3]Alessio Guerrieri, Alberto Montresor:
Distributed Edge Partitioning for Graph Processing. CoRR abs/1403.6270 (2014) - 2013
- [j20]Jan Sacha, Alberto Montresor:
Identifying frequent items in distributed data sets. Computing 95(4): 289-307 (2013) - [j19]Marco Biazzini, Alberto Montresor:
p2poem: Function optimization in P2P networks. Peer-to-Peer Netw. Appl. 6(2): 213-232 (2013) - [j18]Alberto Montresor, Francesco De Pellegrini, Daniele Miorandi:
Distributed k-Core Decomposition. IEEE Trans. Parallel Distributed Syst. 24(2): 288-300 (2013) - [c54]Benedikt Elser, Alberto Montresor:
An evaluation study of BigData frameworks for graph processing. IEEE BigData 2013: 60-67 - [c53]Amir Hossein Payberah, Hanna Kavalionak, Alberto Montresor, Jim Dowling, Seif Haridi:
Lightweight gossip-based distribution estimation. ICC 2013: 3439-3443 - [c52]Giuliano Mega, Alberto Montresor, Gian Pietro Picco:
Cloud-assisted dissemination in social overlays. P2P 2013: 1-5 - 2012
- [j17]Alberto Montresor, Guszti Eiben, Maarten van Steen:
Extreme distributed systems: from large scale to complexity. Computing 94(8-10): 619-620 (2012) - [c51]Alessio Guerrieri, Alberto Montresor:
DS-Means: Distributed Data Stream Clustering. Euro-Par 2012: 260-271 - [c50]Alberto Montresor, Evaggelia Pitoura, Anwitaman Datta, Spyros Voulgaris:
Topic 7: Peer to Peer Computing. Euro-Par 2012: 363 - [c49]Hanna Kavalionak, Alberto Montresor:
P2P and Cloud: A Marriage of Convenience for Replica Management. IWSOS 2012: 60-71 - [c48]Amir Hossein Payberah, Hanna Kavalionak, Vimalkumar Kumaresan, Alberto Montresor, Seif Haridi:
CLive: Cloud-assisted P2P live streaming. P2P 2012: 79-90 - [c47]Giuliano Mega, Alberto Montresor, Gian Pietro Picco:
On churn and communication delays in social overlays. P2P 2012: 214-224 - [c46]Alberto Montresor:
Designing extreme distributed systems: challenges and opportunities. QoSA 2012: 1-2 - 2011
- [j16]Gabriela Gheorghe, Renato Lo Cigno, Alberto Montresor:
Security and privacy issues in P2P streaming systems: A survey. Peer-to-Peer Netw. Appl. 4(2): 75-91 (2011) - [c45]Amitabha Bagchi, Olivier Beaumont, Pascal Felber, Alberto Montresor:
Introduction. Euro-Par (1) 2011: 514-515 - [c44]Alberto Montresor, Luca Abeni:
Cloudy weather for P2P, with a chance of gossip. Peer-to-Peer Computing 2011: 250-259 - [c43]Giuliano Mega, Alberto Montresor, Gian Pietro Picco:
Efficient dissemination in decentralized social networks. Peer-to-Peer Computing 2011: 338-347 - [c42]Alberto Montresor, Francesco De Pellegrini, Daniele Miorandi:
Distributed k-core decomposition. PODC 2011: 207-208 - [i2]Alberto Montresor, Francesco De Pellegrini, Daniele Miorandi:
Distributed k-Core Decomposition. CoRR abs/1103.5320 (2011) - 2010
- [j15]Gian Paolo Jesi, Alberto Montresor, Maarten van Steen:
Secure peer sampling. Comput. Networks 54(12): 2086-2098 (2010) - [j14]Alessio Guerrieri, Iacopo Carreras, Francesco De Pellegrini, Daniele Miorandi, Alberto Montresor:
Distributed estimation of global parameters in delay-tolerant networks. Comput. Commun. 33(13): 1472-1482 (2010) - [c41]Marco Ajelli, Renato Lo Cigno, Alberto Montresor:
Modeling Botnets and Epidemic Malware. ICC 2010: 1-5 - [c40]Marco Biazzini, Alberto Montresor:
Gossiping Differential Evolution: A Decentralized Heuristic for Function Optimization in P2P Networks. ICPADS 2010: 468-475
2000 – 2009
- 2009
- [j13]Márk Jelasity, Alberto Montresor, Özalp Babaoglu:
T-Man: Gossip-based fast overlay topology construction. Comput. Networks 53(13): 2321-2339 (2009) - [c39]Hein Meling, Alberto Montresor:
Type-safe dynamic protocol composition in Jgroup/ARM. MAI@DisCoTec 2009: 1-6 - [c38]Balázs Bánhelyi, Marco Biazzini, Alberto Montresor, Márk Jelasity:
Peer-to-Peer Optimization in Large Unreliable Networks with Branch-and-Bound and Particle Swarms. EvoWorkshops 2009: 87-92 - [c37]Marco Biazzini, Balázs Bánhelyi, Alberto Montresor, Márk Jelasity:
Distributed hyper-heuristics for real parameter optimization. GECCO 2009: 1339-1346 - [c36]Luca Abeni, Alberto Montresor:
Scheduling in P2P Streaming: From Algorithms to Protocols. IWSOS 2009: 201-206 - [c35]Alberto Montresor, Márk Jelasity:
PeerSim: A Scalable P2P Simulator. Peer-to-Peer Computing 2009: 99-100 - [c34]Alberto Montresor, Ali Ghodsi:
Towards Robust Peer Counting. Peer-to-Peer Computing 2009: 143-146 - [c33]Gian Paolo Jesi, Alberto Montresor:
Secure Peer Sampling Service: The Mosquito Attack. WETICE 2009: 134-139 - [c32]Alessio Guerrieri, Alberto Montresor, Iacopo Carreras, Francesco De Pellegrini, Daniele Miorandi:
Distributed estimation of global parameters in delay-tolerant networks. WOWMOM 2009: 1-7 - 2008
- [j12]Hein Meling, Alberto Montresor, Bjarne E. Helvik, Özalp Babaoglu:
Jgroup/ARM: a distributed object group platform with autonomous replication management. Softw. Pract. Exp. 38(9): 885-923 (2008) - [c31]Dick H. J. Epema, Márk Jelasity, Josep Jorba, Alberto Montresor:
Topic 7: Peer-to-Peer Computing. Euro-Par 2008: 599-600 - [c30]Alberto Montresor:
Intelligent Gossip. IDC 2008: 3-10 - [c29]Marco Biazzini, Mauro Brunato, Alberto Montresor:
Towards a decentralized architecture for optimization. IPDPS 2008: 1-11 - [c28]Alberto Montresor, Roberto Zandonati:
Absolute Slicing in Peer-to-peer Systems. IPDPS 2008: 1-8 - [c27]Mark C. Little, Greg Pavlik, Alberto Montresor:
DOA 2008 PC Co-chairs' Message. OTM Conferences (1) 2008: 495-496 - [c26]Alberto Montresor, Márk Jelasity, Özalp Babaoglu:
Decentralized Ranking in Large-Scale Overlay Networks. SASO Workshops 2008: 208-213 - [c25]Alberto Montresor:
Decentralized Network Analysis: A Proposal. WETICE 2008: 111-114 - 2007
- [j11]Paolo Costa, Vincent Gramoli, Márk Jelasity, Gian Paolo Jesi, Erwan Le Merrer, Alberto Montresor, Leonardo Querzoni:
Exploring the interdisciplinary connections of gossip-based systems. ACM SIGOPS Oper. Syst. Rev. 41(5): 51-60 (2007) - [j10]Gian Paolo Jesi, Alberto Montresor, Özalp Babaoglu:
Proximity-Aware Superpeer Overlay Topologies. IEEE Trans. Netw. Serv. Manag. 4(2): 74-83 (2007) - [c24]Alberto Montresor, Fabrice Le Fessant, Dick H. J. Epema, Spyros Voulgaris:
Topic 7 Peer-to-Peer Computing. Euro-Par 2007: 477-478 - [c23]Özalp Babaoglu, Toni Binci, Márk Jelasity, Alberto Montresor:
Firefly-inspired Heartbeat Synchronization in Overlay Networks. SASO 2007: 77-86 - [e4]Manfred Hauswirth, Adam Wierzbicki, Klaus Wehrle, Alberto Montresor, Nahid Shahmehri:
Seventh IEEE International Conference on Peer-to-Peer Computing (P2P 2007), September 2-5, 2007, Galway, Ireland. IEEE Computer Society 2007, ISBN 0-7695-2986-0 [contents] - 2006
- [j9]Özalp Babaoglu, Márk Jelasity, Anne-Marie Kermarrec, Alberto Montresor, Maarten van Steen:
Managing clouds: a case for a fresh look at large unreliable dynamic networks. ACM SIGOPS Oper. Syst. Rev. 40(3): 9-13 (2006) - [j8]Özalp Babaoglu, Geoffrey Canright, Andreas Deutsch, Gianni Di Caro, Frederick Ducatelle, Luca Maria Gambardella, Niloy Ganguly, Márk Jelasity, Roberto Montemanni, Alberto Montresor, Tore Urnes:
Design patterns from biology for distributed computing. ACM Trans. Auton. Adapt. Syst. 1(1): 26-66 (2006) - [c22]Márk Jelasity, Alberto Montresor, Özalp Babaoglu:
The Bootstrapping Service. ICDCS Workshops 2006: 11 - [c21]Anurag Garg, Alberto Montresor, Roberto Battiti:
Reputation Lending for Virtual Communities. ICDE Workshops 2006: 22 - [c20]Gian Paolo Jesi, Alberto Montresor, Özalp Babaoglu:
Proximity-Aware Superpeer Overlay Topologies. SelfMan 2006: 43-57 - [e3]Frank Eliassen, Alberto Montresor:
Distributed Applications and Interoperable Systems, 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006, Proceedings. Lecture Notes in Computer Science 4025, Springer 2006, ISBN 3-540-35126-4 [contents] - [e2]Alberto Montresor, Adam Wierzbicki, Nahid Shahmehri:
Sixth IEEE International Conference on Peer-to-Peer Computing (P2P 2006), 2-4 October 2006, Cambridge, United Kingdom. IEEE Computer Society 2006, ISBN 0-7695-2679-9 [contents] - 2005
- [j7]Márk Jelasity, Alberto Montresor, Özalp Babaoglu:
Gossip-based aggregation in large dynamic networks. ACM Trans. Comput. Syst. 23(3): 219-252 (2005) - [c19]Özalp Babaoglu, Márk Jelasity, Alberto Montresor, Christof Fetzer, Stefano Leonardi, Aad P. A. van Moorsel:
The Self-Star Vision. Self-star Properties in Complex Information Systems 2005: 1-20 - [c18]Bjarne E. Helvik, Hein Meling, Alberto Montresor:
An Approach to Experimentally Obtain Service Dependability Characteristics of the Jgroup/ARM System. EDCC 2005: 179-198 - [c17]Alberto Montresor, Márk Jelasity, Özalp Babaoglu:
Chord on Demand. Peer-to-Peer Computing 2005: 87-94 - [e1]Özalp Babaoglu, Márk Jelasity, Alberto Montresor, Christof Fetzer, Stefano Leonardi, Aad P. A. van Moorsel, Maarten van Steen:
Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004]. Lecture Notes in Computer Science 3460, Springer 2005, ISBN 3-540-26009-9 [contents] - [i1]Özalp Babaoglu, Márk Jelasity,