BU Gewu : Fiabilité, sécurité et vie privée dans les WBAN.
2018
BADREDDINE Wafa : Protocoles de communication dans les réseaux de capteurs corporels sans fil.
2017
DEL POZZO Antonella : Stockage Distribué et Tolérant aux Comportements Byzantins.
2015
MILLET Laure : Vérification et synthèse d'algorithmes de robots.
2013
BOUZID Zohir : Modèles et algorithmes pour les réseaux émergents.
2011
DUBOIS Swan : Tolérer les fautes transitoires, permanentes et intermittentes.
2010
BERNARD Samuel : Algorithmique répartie : vaincre les contraintes des réseaux modernes.
Publications 2000-2024
2024
G. Fontes Rebello, G. Franco Camilo, L. Castro de Souza, M. Gradinariu Potop‑Butucaru, M. Dias De Amorim, M. Campista, L. Maciel Kosmalski Costa : “A Survey on Blockchain Scalability: From Hardware to Layer-Two Protocols”, Communications Surveys and Tutorials, IEEE Communications Society, vol. 26 (4), pp. 2411-2458, (Institute of Electrical and Electronics Engineers) (2024)
B. Chan Yip Hon, B. Zaghdoudi, M. Potop‑Butucaru, S. Tixeuil, S. Fdida : “Challenger: Blockchain-based Massively Multiplayer Online Game Architecture”, International Conference on Networked Systems (NETYS), vol. 14783, Lecture Notes in Computer Science, Rabat (MOROCCO), Morocco, pp. 50-66, (Springer Nature Switzerland) (2024)
A. Pham, M. Potop‑Butucaru, S. Tixeuil, S. Fdida : “Comment Saboter l’Apprentissage Collectif par Commérage”, AlgoTel 2024 – 26es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Saint-Briac-sur-Mer, France (2024)
A. Pham, M. Potop‑Butucaru, S. Tixeuil, S. Fdida : “Data Poisoning Attacks in Gossip Learning”, Advanced Information Networking and Applications, vol. 200, Lecture Notes on Data Engineering and Communications Technologies, Kitakyūshū, Japan, pp. 213-224, (Springer Nature Switzerland), (ISBN: 978-3-031-57853-3) (2024)
J. Villacis‑Llobet, B.‑M. Bui‑Xuan, M. Potop‑Butucaru : “Marche sans escale dans un graphe temporel”, AlgoTel 2023 - 25es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Cargese, France (2023)
P. Civit, M. Potop‑Butucaru : “Dynamic Probabilistic Input Output Automata”, 36th International Symposium on Distributed Computing (DISC 2022), vol. 246, Leibniz International Proceedings in Informatics (LIPIcs), Augusta, GA, United States, pp. 15:1-15:18, (Schloss Dagstuhl -- Leibniz-Zentrum für Informatik), (ISBN: 978-3-95977-255-6) (2022)
G. Franco Camilo, G. Fontes Rebello, L. Castro de Souza, M. Gradinariu Potop‑Butucaru, M. Dias De Amorim, M. Campista, L. Maciel Kosmalski Costa : “Análise da Evolução Topológica da Rede Lightning de Canais de Pagamento”, XXII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg), Santa Maria, Brazil (2022)
P. Civit, M. Potop‑Butucaru : “Brief Announcement: Composable Dynamic Secure Emulation”, Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA '22, Philadelphia, PA, United States, pp. 103-105, (Association for Computing Machinery), (ISBN: 9781450391467) (2022)
J. Villacis‑Llobet, B.‑M. Bui‑Xuan, M. Potop‑Butucaru : “Foremost non-stop journey arrival in linear time”, 29th International Colloquium on Structural Information and Communication Complexity, vol. 13298, Lecture Notes in Computer Science, Paderborn, Germany, pp. 283-301, (Springer) (2022)
G. Franco Camilo, G. Fontes Rebello, L. Castro de Souza, G. Araújo Thomaz, M. Gradinariu Potop‑Butucaru, M. Dias De Amorim, M. Campista, L. Maciel Kosmalski Costa : “Redes de Canais de Pagamento: Provendo Escalabilidade para Pagamentos em Criptomoedas”, chapter in Minicursos do XL Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC) (2022)
L. LYS, A. Micoulet, M. Potop‑Butucaru : “R-SWAP: Relay Based Atomic Cross-Chain Swap Protocol”, ALGOCLOUD 2021: 6th International Symposium on Algorithmic Aspects of Cloud Computing, vol. 13084, Lecture Notes in Computer Science, Lisbonne, Portugal, pp. 18-37, (Springer International Publishing), (ISBN: 978-3-030-93043-1) (2021)
E. Anceaume, A. Anta, Ch. Georgiou, N. Nicolaou, M. Potop‑Butucaru : “Formalization of Blockchain Properties”, chapter in Principles of Blockchain Systems (2021)
Y. Amoussou‑Guenou, A. Pozzo, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “On Fairness in Committee-Based Blockchains”, 2th International Conference on Blockchain Economics, Security and Protocols, Tokenomics, vol. 82, Open Access Series in Informatics (OASIcs), Toulouse, France, pp. 4:1-4:15, (Schloss Dagstuhl--Leibniz-Zentrum fur Informatik), (ISBN: 978-3-95977-157-3) (2021)
Y. Amoussou‑Guenou, B. Biais, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Rational Behaviors in Committee-Based Blockchains”, 24th International Conference on Principles of Distributed Systems (OPODIS 2020), vol. 184, Leibniz International Proceedings in Informatics (LIPIcs), Strassbourg, France, pp. 12:1-12:16, (Schloss Dagstuhl--Leibniz-Zentrum für Informatik), (ISBN: 978-3-95977-176-4) (2021)
M. Potop‑Butucaru : “Blockchains and the commons”, Proceedings of the 8th International Conference on NETworked sYStems, NETYS 2020, vol. 12129, Lecture Notes in Computer Science, Marakech, Morocco, pp. 28-44, (Springer International Publishing), (ISBN: 978-3-030-67087-0) (2021)
Y. Amoussou‑Guenou, S. Baarir, M. Potop‑Butucaru, N. Sznajder, L. Tible, S. Tixeuil : “On the Encoding and Solving of Partial Information Games”, Networked Systems, vol. 12129, Lecture Notes in Computer Science, Marrakech, Morocco, pp. 60-76, (Springer International Publishing), (ISBN: 978-3-030-67087-0) (2021)
G. Bu, M. Potop‑Butucaru, M. Rabie : “Wireless Broadcast with Short Labels”, 8th International Conference on Networked Systems, NETYS 2020, vol. 12129, Lecture Notes in Computer Science, Marakech, Morocco, pp. 146-169, (Springer International Publishing), (ISBN: 978-3-030-67087-0) (2021)
M. Belotti, S. Moretti, M. Potop‑Butucaru, S. Secci : “Game Theoretical Analysis of Atomic Cross-Chain Swaps”, 40th IEEE International Conference on Distributed Computing Systems (ICDCS2020), Singapore, Singapore (2020)
P. Zappalà, M. Belotti, M. Potop‑Butucaru, S. Secci : “Game Theoretical Framework for Analyzing Blockchains Robustness”, 35th International Symposium on Distributed Computing (DISC 2021), vol. 209, Leibniz International Proceedings in Informatics (LIPIcs), Freiburg, Germany, pp. 42:1-42:18, (Schloss Dagstuhl) (2020)
Y. Amoussou‑Guenou, B. Biais, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Consensus en Présence de Participants Rationnels et Byzantins”, ALGOTEL 2020 – 22es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Lyon, France (2020)
G. Bu, W. Hana, M. Potop‑Butucaru : “E-IOTA: an efficient and fast metamorphism for IOTA”, 2020 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), Paris, France, pp. 9-16, (IEEE), (ISBN: 978-1-7281-7091-6) (2020)
G. Bu, R. Haouara, Th. Nguyen, M. Potop‑Butucaru : “Cross hyperledger fabric transactions”, Proceedings of the 3rd Workshop on Cryptocurrencies and Blockchains for Distributed Systems, CryBlock '20, London, United Kingdom, pp. 35-40, (Association for Computing Machinery), (ISBN: 9781450380799) (2020)
L. LYS, A. Micoulet, M. Potop‑Butucaru : “Atomic cross chain swaps via relays and adapters”, Proceedings of the 3rd Workshop on Cryptocurrencies and Blockchains for Distributed Systems, London, United Kingdom, pp. 59-64, (Association for Computing Machinery), (ISBN: 9781450380799) (2020)
Y. Amoussou‑Guenou, B. Biais, M. Potop‑Butucaru, S. Tucci Piergiovanni : “Rational vs Byzantine Players in Consensus-based Blockchains”, 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2020, Auckland, New Zealand, (ISBN: 978-1-4503-7518-4) (2020)
B. Baynat, G. Bu, M. Potop‑Butucaru : “Markovian Model for Broadcast in Wireless Body Area Networks”, The 17th ACM International Symposium on Mobility Management and Wireless Access (MobiWAC 2019), Miami, United States, pp. 63-70, (ACM) (2019)
L. LYS, A. Micoulet, M. Potop‑Butucaru : “Atomic Swapping Bitcoins and Ethers”, SRDS 2019 - 38th International Symposium on Reliable Distributed Systems, Lyon, France (2019)
G. Bu, Th. NGUYEN, M. Potop Butucaru, K. Thai : “HyperPubSub: Blockchain Based Publish/Subscribe”, 2019 38th Symposium on Reliable Distributed Systems (SRDS), Lyon, France, pp. 366-3662, (IEEE), (ISBN: 978-1-7281-4222-7) (2019)
Y. Amoussou‑Guenou, A. Del Pozzo, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Blockchains basées sur du Consensus Répété”, ALGOTEL 2019 - 21es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Saint Laurent de la Cabrerisse, France (2019)
E. Anceaume, A. Del Pozzo, R. Ludinard, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Blockchain abstract data type”, SPAA 2019 - 31st ACM Symposium on Parallelism in Algorithms and Architectures, Phoenix, Arizona, United States, pp. 349-358, (ACM) (2019)
E. Anceaume, A. Del Pozzo, R. Ludinard, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Blockchain abstract data type”, 1-30 pages (2019)
A. Ranchal‑Pedrosa, M. Potop‑Butucaru, S. Tucci Piergiovanni : “Scalable lightning factories for Bitcoin”, SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, Limassol, Cyprus, pp. 302-309, (ACM), (ISBN: 9781450359337) (2019)
E. Anceaume, A. Del Pozzo, R. Ludinard, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Poster : Blockchain abstract data type”, PPoPP 2019 - 24th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, Washington DC, United States, pp. 1-2, (ACM) (2019)
X. Défago, M. Potop‑Butucaru, S. Tixeuil : “Fault-Tolerant Mobile Robots”, chapter in Distributed Computing by Mobile Entities, vol. 11340, Lecture Notes in Computer Science, pp. 234-251, (Springer) (2019)
M. Potop‑Butucaru, N. Sznajder, S. Tixeuil, X. Urbain : “Formal Methods for Mobile Robots”, chapter in Distributed Computing by Mobile Entities,Current Research in Moving and Computing n°11340, Theoretical Computer Science and General Issues, pp. 278-313, (Springer International Publishing), (ISBN: 978-3-030-11071-0) (2019)
E. Bampas, L. Blin, J. Czyzowicz, D. Ilcinkas, A. Labourel, M. Potop‑Butucaru, S. Tixeuil : “On asynchronous rendezvous in general graphs”, Theoretical Computer Science, vol. 753, pp. 80-90, (Elsevier) (2019)
2018
Y. Amoussou‑Guenou, A. Del Pozzo, M. Potop‑Butucaru, S. Tucci‑Pergiovanni : “Correctness of Tendermint-Core Blockchains”, 22nd International Conference on Principles of Distributed Systems (OPODIS 2018), vol. 125, Leibniz International Proceedings in Informatics (LIPIcs), Hong Kong, China, pp. 16:1-16:16, (Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik) (2018)
Y. Amoussou‑Guenou, A. Del Pozzo, M. Potop‑Butucaru, S. Tucci‑Piergiovanni : “Dissecting Tendermint”, Networked Systems - 7th International Conference, NETYS 2019, vol. 11704, Lecture Notes in Computer Science, Marrakech, Morocco, pp. 166–182, (Springer, Cham), (ISBN: 978-3-030-31277-0) (2018)
E. Anceaume, R. Ludinard, M. Potop‑Butucaru, F. Tronel : “Bitcoin a Distributed Shared Register”, Proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, vol. 10616, Lecture Notes in Computer Science, Boston, MA, United States, pp. 456-468, (Springer) (2017)
G. Bu, M. Potop‑Butucaru : “Total Order Reliable Convergecast in WBAN”, ICDCN 2017 - 18th International Conference on Distributed Computing and Networking, Hyderabad, India, (ACM) (2017)
M. Othmani‑Guibourg, A. El Fallah‑Seghrouchni, J.‑L. Farges, M. Potop‑Butucaru : “Multi-agent patrolling in dynamic environments”, International Conference on Agents, Beijing, China, (IEEE digital library) (2017)
B. Bérard, P. Lafourcade, L. Millet, M. Potop‑Butucaru, Y. Thierry‑Mieg, S. Tixeuil : “Formal verification of mobile robot protocols”, Distributed Computing, vol. 29 (6), pp. 459-487, (Springer Verlag) (2016)
F. Bonnet, X. Défago, Th. Nguyen, M. Potop‑Butucaru : “Tight bound on mobile Byzantine Agreement”, Theoretical Computer Science, vol. 609 (2), pp. 361-373, (Elsevier) (2016)
W. Badreddine, C. Chaudet, F. Petruzzi, M. Potop‑Butucaru : “Broadcast strategies in Wireless Body Area Networks”, 18th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM), Cancun, Mexico, pp. 83-90, (ACM) (2015)
S. Bonomi, M. Potop‑Butucaru, S. Tixeuil : “Stabilizing Byzantine-Fault Tolerant Storage”, IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2015, Hyderabad, India, pp. 894-903 (2015)
C. Chaudet, P. Federico, M. Potop‑Butucaru : “Analyzing various broadcast strategies in WBAN”, International Workshop on Green Solutions for Body Area Networks (GreenBAN 2014), Paris, France (2014)
L. Millet, M. Potop‑Butucaru, N. Sznajder, S. Tixeuil : “On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering”, SSS 2014 - 16th International Symposium on Stabilization, Safety and Security of Distributed Systems, vol. 8756, Lecture Notes in Computer Science, Paderborn, Germany, pp. 237-251, (Springer) (2014)
B. Bérard, L. Millet, M. Gradinariu Potop‑Butucaru, Y. Thierry‑Mieg, S. Tixeuil : “Vérification formelle et robots mobiles”, 15es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), Pornic, France, pp. 1-4, (Nisse, Nicolas et Rousseau, Franck et Busnel, Yann) (2013)
Sh. Dolev, S. Dubois, M. Potop‑Butucaru, S. Tixeuil : “Crash Resilient and Pseudo-Stabilizing Atomic Registers”, OPODIS 2012 - 16th International Conference on Principles of Distributed Systems, vol. 7702, Lecture Notes in Computer Science, Rome, Italy, pp. 135-150, (Springer) (2012)
S. Dubois, M. Potop‑Butucaru, M. Nesterenko, S. Tixeuil : “Self-stabilizing byzantine asynchronous unison”, Journal of Parallel and Distributed Computing, vol. 72 (7), pp. 917-923, (Elsevier) (2012)
M. Valero, L. Arantes, M. Gradinariu Potop‑Butucaru, P. Sens : “Enhancing Fault Tolerance of Distributed R-Tree”, 5th Latin-American Symposium on Dependable Computing, Sao Jose dos Campos, Brazil, pp. 25-34, (IEEE) (2011)
F. Bonnet, A. Milani, M. Potop‑Butucaru, S. Tixeuil : “Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction”, OPODIS 2011 - 15th International Conference on Principles of Distributed Systems, vol. 7109, Lecture Notes in Computer Science, Toulouse, France, pp. 251-265, (Springer) (2011)
N. Alon, H. Attiya, Sh. Dolev, S. Dubois, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “Pragmatic Self-Stabilization of Atomic Memory in Message-Passing Systems”, SSS 2011 - 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, vol. 6976, Lecture Notes in Computer Science, Grenoble, France, pp. 19-31, (Springer) (2011)
T. Izumi, M. Potop‑Butucaru, M. Valero : “Physical expander in Virtual Tree Overlay”, DISC 2011 - 25th International Symposium on Distributed Computing, vol. 6950, Lecture Notes in Computer Science, Rome, Italy, pp. 82-96, (Springer) (2011)
Z. Bouzid, Sh. Dolev, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “Robocast: Asynchronous Communication in Robot Networks”, Proceedings of OPODIS 2010, Tozeur, Tunisia, pp. 16-31, (Springer Berlin / Heidelberg) (2010)
S. Bernard, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “A Framework for Secure and Private P2P Publish/Subscribe”, 12th International Symposium Stabilization, Safety, and Security of Distributed Systems, SSS, vol. 6366, Lecture Notes in Computer Science, New York, NY, United States, pp. 531-545, (Springer) (2010)
N. Alon, H. Attiya, Sh. Dolev, S. Dubois, M. Gradinariu, S. Tixeuil : “Brief Announcement: Sharing Memory in a Self-stabilizing Manner”, 24th International Symposium Distributed Computing DISC, vol. 6343, Lecture Notes in Computer Science, Cambridge, MA, United States, pp. 525-527, (Springer) (2010)
M. Valero, L. Arantes, M. Gradinariu, P. Sens : “Dynamically Reconfigurable Filtering Architectures”, 12th International Symposium Stabilization, Safety, and Security of Distributed Systems, SSS, vol. 6366, Lecture Notes in Computer Science, New York, NY, United States, pp. 504-518, (Springer) (2010)
S. Bianchi, P. Felber, M. Gradinariu Potop‑Butucaru : “Stabilizing Distributed R-Trees for Peer-to-Peer Content Routing”, IEEE Transactions on Parallel and Distributed Systems, vol. 21 (8), pp. 1175-1187, (Institute of Electrical and Electronics Engineers) (2010)
S. Bernard, S. Devismes, K. Paroux, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks”, 11th International Conference on Distributed Computing and Networking, ICDCN 2010, vol. 5935, Lecture Notes in Computer Science, Kolkata, India, pp. 167-177, (Springer) (2010)
S. Dubois, M. Gradinariu Potop‑Butucaru, M. Nesterenko, S. Tixeuil : “Self-stabilizing Byzantine Asynchronous Unison”, OPODIS 2010 - 14th International Conference On Principles Of DIstributed Systems, vol. 6490, Lecture Notes in Computer Science, Tozeur, Tunisia, pp. 83-86, (Springer) (2010)
L. Blin, M. Gradinariu Potop‑Butucaru, S. Rovedakis, S. Tixeuil : “Loop-Free Super-Stabilizing Spanning Tree Construction”, 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2010), vol. 6366, Lecture Notes in Computer Science, New York, NY, United States, pp. 50-64 (2010)
L. Blin, A. Milani, M. Potop‑Butucaru, S. Tixeuil : “Exclusive Perpetual Ring Exploration without Chirality”, DISC 2010 - 24th International Symposium Distributed Computing, vol. 6343, Lecture Notes in Computer Science, Cambridge, MA, United States, pp. 312-327, (Springer) (2010)
L. Blin, Sh. Dolev, M. Potop‑Butucaru, S. Rovedakis : “Fast Self-Stabilizing Minimum Spanning Tree Construction”, DISC 2010 - 24th International Symposium on Distributed Computing, vol. 6343, Lecture Notes in Computer Science, Cambridge, MA, United States, pp. 480-494, (Springer) (2010)
A. Lamani, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots”, 17th International Colloquium Structural Information and Communication Complexity, SIROCCO, vol. 6058, Lecture Notes in Computer Science, Şirince, Türkiye, pp. 183-196, (Springer) (2010)
L. Blin, M. Gradinariu Potop‑Butucaru, S. Rovedakis : “A Superstabilizing $\log(n)$-Approximation Algorithm for Dynamic Steiner Trees”, 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), vol. 5873, Lecture Notes in Computer Science, Lyon, France, pp. 133-148, (Springer) (2009)
A. Datta, M. Gradinariu Potop‑Butucaru, R. Patel, A. Yamazaki : “Self* Minimum Connected Covers of Query Regions in Sensor Networks”, 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), vol. 4838, Lecture Notes in Computer Science, Paris, France, pp. 204-218, (Springer) (2007)
D. Canepa, M. Gradinariu Potop‑Butucaru : “Stabilizing Flocking Via Leader Election in Robot Networks”, 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), vol. 4838, Lecture Notes in Computer Science, Paris, France, pp. 52-66, (Springer) (2007)
S. Bianchi, P. Felber, M. Gradinariu : “Content-based Publish/Subscribe using Distributed R-trees”, International Conference on Parallel and Distributed Computing (Euro-Par '07), vol. 4641, Lecture Notes in Computer Science, Rennes, France, pp. 537-548, (Springer) (2007)
S. Bianchi, A. Datta, P. Felber, M. Gradinariu : “Stabilizing Peer-to-Peer Spatial Filters”, International Conference on Distributed Computing Systems (ICDCS 2007), Toronto, ON, Canada, pp. 27, (IEEE) (2007)
L. Blin, M. Gradinariu Potop‑Butucaru, S. Tixeuil : “On the Self-stabilization of Mobile Robots in Graphs”, OPODIS 2007 - 11th International Conference on Principles of Distributed Systems, vol. 4878, Lecture Notes in Computer Science, Guadeloupe, France, pp. 301-314, (Springer) (2007)
V. Drabkin, R. Friedman, M. Gradinariu : “Self-Stabilizing Wireless Connected Overlays”, 10th International Conference on Principle of Distributed Computing (OPODIS), vol. 4305, Lecture Notes in Computer Science, Bordeaux, France, pp. 425-439, (Springer) (2006)
X. Défago, M. Gradinariu, S. Messika, Ph. Raipin‑Parvedy : “Fault-Tolerant and Self-Stabilizing Mobile Robots Gathering”, 20th International Symposium on Distributed Computing (DISC), vol. 4167, Lecture Notes in Computer Science, Stockolm, Sweden, pp. 46-60, (Springer) (2006)