Seif Haridi

Proceedings of the Distributed Applications and Interoperable Systems, 2014

2013

JA-BE-JA: A Distributed Algorithm for Balanced Graph Partitioning.

[BibT_eX]

[DOI]

Márk Jelasity

Proceedings of the 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2013

Efficient Linearizable Write Operations Using Bounded Global Time Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the IEEE 12th International Symposium on Parallel and Distributed Computing, 2013

Lightweight gossip-based distribution estimation.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2013

CATS: a linearizable and self-organizing key-value store.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Cloud Computing, SOCC '13, 2013

2012

Infrastructures for Online Social Networking Services [Guest editorial].

[BibT_eX]

[DOI]

IEEE Internet Comput., 2012

Distributed optimization of P2P live streaming overlays.

[BibT_eX]

[DOI]

Computing, 2012

Efficient simulation of view synchrony.

[BibT_eX]

[DOI]

Frej Drejhammar

Proceedings of the Winter Simulation Conference, 2012

Brief Announcement: Atomic Consistency and Partition Tolerance in Scalable Key-Value Stores.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing - 26th International Symposium, 2012

Dealing with Bootstrapping, Maintenance, and Network Partitions and Mergers in Structured Overlay Networks.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2012

Peer2View: A peer-to-peer HTTP-live streaming platform.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Peer-to-Peer Computing, 2012

CLive: Cloud-assisted P2P live streaming.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Peer-to-Peer Computing, 2012

SmoothCache: HTTP-Live Streaming Goes Peer-to-Peer.

[BibT_eX]

[DOI]

Proceedings of the NETWORKING 2012, 2012

Message-Passing Concurrency for Scalable, Stateful, Reconfigurable Middleware.

[BibT_eX]

[DOI]

Proceedings of the Middleware 2012, 2012

DTL: Dynamic Transport Library for Peer-to-Peer Applications.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking - 13th International Conference, 2012

ID-Replication for Structured Peer-to-Peer Systems.

[BibT_eX]

[DOI]

Bilal Ahmad

Proceedings of the Euro-Par 2012 Parallel Processing - 18th International Conference, 2012

2011

Accurate and efficient simulation of bandwidth dynamics for peer-to-peer overlay networks.

[BibT_eX]

[DOI]

Alexandros Gkogkas

Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, 2011

Mesmerizer: a effective tool for a complete peer-to-peer software development life-cycle.

[BibT_eX]

[DOI]

Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques, 2011

GLive: The Gradient Overlay as a Market Maker for Mesh-Based P2P Live Streaming.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Parallel and Distributed Computing, 2011

Vitis: A Gossip-based Hybrid Overlay for Internet-scale Publish/Subscribe Enabling Rendezvous Routing in Unstructured Overlay Networks.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

<i>Gozar</i>: NAT-Friendly Peer Sampling with One-Hop Distributed NAT Traversal.

[BibT_eX]

[DOI]

Proceedings of the Distributed Applications and Interoperable Systems, 2011

On the feasibility of centrally-coordinated Peer-to-Peer live streaming.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE Consumer Communications and Networking Conference, 2011

2010

Self-Distributing Software Updates through Epidemic Dissemination.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

Sepidar: Incentivized Market-Based P2P Live-Streaming on the Gradient Overlay Network.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Symposium on Multimedia, 2010

<i>gradienTv</i>: Market-Based P2P Live Media Streaming on the Gradient Overlay.

[BibT_eX]

[DOI]

Proceedings of the Distributed Applications and Interoperable Systems, 2010

Enhanced Paxos Commit for Transactions on DHTs.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE/ACM International Conference on Cluster, 2010

2009

Dealing with network partitions in structured overlay networks.

[BibT_eX]

[DOI]

Peer-to-Peer Netw. Appl., 2009

Building and Evaluating P2P Systems using the Kompics Component Framework.

[BibT_eX]

[DOI]

Proceedings of the Proceedings P2P 2009, 2009

NATCracker: NAT Combinations Matter.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Computer Communications and Networks, 2009

A Scalable, Transactional Data Store for Future Internet Services.

[BibT_eX]

[DOI]

Proceedings of the Towards the Future Internet - A European Research Perspective, 2009

A Design Methodology for Self-Management in Distributed Environments.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

Developing, simulating, and deploying peer-to-peer systems using the Kompics component model.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2009), 2009

2008

An analytical study of a structured overlay in the presence of dynamic membership.

[BibT_eX]

[DOI]

Supriya Krishnamurthy

IEEE/ACM Trans. Netw., 2008

Developing a Distributed Electronic Health-Record Store for India.

[BibT_eX]

[DOI]

ERCIM News, 2008

MyP2PWorld: Highly Reproducible Application-Level Emulation of P2P Systems.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Using Global Information for Load Balancing in DHTs.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Practical Protocol Composition, Encapsulation and Sharing in Kompics.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Comparing Maintenance Strategies for Overlays.

[BibT_eX]

[DOI]

Supriya Krishnamurthy

Proceedings of the 16th Euromicro International Conference on Parallel, 2008

A Practical Approach to Network Size Estimation for Structured Overlays.

[BibT_eX]

[DOI]

Proceedings of the Self-Organizing Systems, Third International Workshop, 2008

Key-based consistency and availability in structured overlay networks.

[BibT_eX]

[DOI]

Proceedings of the 3rd International ICST Conference on Scalable Information Systems, 2008

Implementing Dynamic Querying Search in k-ary DHT-based Overlays.

[BibT_eX]

[DOI]

Proceedings of the Grid Computing, 2008

On Consistency Of Data In Structured Overlay Networks.

[BibT_eX]

[DOI]

Proceedings of the Grid Computing, 2008

2007

Exploiting the synergy between gossiping and structured overlays.

[BibT_eX]

[DOI]

Hakim Weatherspoon

ACM SIGOPS Oper. Syst. Rev., 2007

Peer-to-Peer resource discovery in Grids: Models and systems.

[BibT_eX]

[DOI]

Paolo Trunfio

Domenico Talia

Harris Papadakis

Paraskevi Fragopoulou

Future Gener. Comput. Syst., 2007

Improving ICE Service Selection in a P2P System using the Gradient Topology.

[BibT_eX]

[DOI]

Jan Sacha

Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007

Handling Network Partitions and Mergers in Structured Overlay Networks.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Peer-to-Peer Computing (P2P 2007), 2007

Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

DKS: Distributed K-Ary System. A Middleware for Building Large Scale Dynamic Distributed Applications.

[BibT_eX]

[DOI]

Proceedings of the Making Grids Work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, 2007

Atomic Commitment in Transactional DHTs.

[BibT_eX]

[DOI]

Monika Moser

Proceedings of the Towards Next Generation Grids, 2007

2006

A Scalable Autonomous Replica Management Framework for Grids.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE John Vincent Atanasoff International Symposium on Modern Computing (JVA2006), 2006

DOH: A Content Delivery Peer-to-Peer Network.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28, 2006

2005

An efficient incremental marshaling framework for distributed systems.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2005

A Physics-Inspired Performance Evaluation of a Structured Peer-to-Peer Overlay Network.

[BibT_eX]

Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2005

The Essence of P2P: A Reference Architecture for Overlay Networks.

[BibT_eX]

[DOI]

Karl Aberer

Manfred Hauswirth

Proceedings of the Fifth IEEE International Conference on Peer-to-Peer Computing (P2P 2005), 31 August, 2005

A Statistical Theory of Chord Under Churn.

[BibT_eX]

[DOI]

Supriya Krishnamurthy

Proceedings of the Peer-to-Peer Systems IV, 4th International Workshop, 2005

Low-Bandwidth Topology Maintenance for Robustness in Structured Overlay Networks.

[BibT_eX]

[DOI]

Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

Symmetric Replication for Structured Peer-to-Peer Systems.

[BibT_eX]

[DOI]

Proceedings of the Databases, 2005

An Overview of Structured P2P Overlay Networks.

[BibT_eX]

[DOI]

Proceedings of the Handbook on Theoretical and Algorithmic Aspects of Sensor, 2005

2004

What makes a Web site popular?

[BibT_eX]

[DOI]

Commun. ACM, 2004

Thread-Based Mobility in Oz.

[BibT_eX]

[DOI]

Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

The DSS, a Middleware Library for Ef.cient and Transparent Distribution of Language Entities.

[BibT_eX]

[DOI]

Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004

A Framework for Structured Peer-to-Peer Overlay Networks.

[BibT_eX]

[DOI]

Proceedings of the Global Computing, IST/FET International Workshop, 2004

Topic 18: Peer-to-Peer and Web Computing.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2004 Parallel Processing, 2004

Concepts, Techniques, and Models of Computer Programming

[BibT_eX]

[DOI]

Peter Van Roy

MIT Press, ISBN: 0-262-22069-5, 2004

2003

Logic programming in the context of multiparadigm programming: the Oz experience.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2003

Parallel Agent-Based Simulation On A Cluster Of Workstations.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2003

An Efficient Marshaling Framework for Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing Technologies, 2003

Multicast in DKS(N, k, f) Overlay Networks.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Peer-to-Peer Computing (P2P 2003), 2003

A Peer-to-Peer Approach to Enhance Middleware Connectivity.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems, 7th International Conference, 2003

Multicast in DKS(N, k, f) Overlay Networks.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems, 7th International Conference, 2003

Efficient Broadcast in Structured P2P Networks.

[BibT_eX]

[DOI]

Proceedings of the Peer-to-Peer Systems II, Second International Workshop, 2003

Flow Java: Declarative Concurrency for Java.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 19th International Conference, 2003

Parallel Distributed Algorithms of the beta-Model of the Small World Graphs.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2003. Parallel Processing, 2003

DKS (N, k, f): A Family of Low Communication, Scalable and Fault-Tolerant Infrastructures for P2P Applications.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2003), 2003

The Design and Evaluation of a Middleware Library for Distribution of Language Entities.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing Science, 2003

2002

NetProber: A Component for Enhancing Efficiency of Overlay Networks in P2P Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Peer-to-Peer Computing (P2P 2002), 2002

Teaching Programming Broadly and Deeply: The Kernel Language Approach.

[BibT_eX]

Peter Van Roy

Proceedings of the Informatics Curricula and Teaching Methods, 2002

2001

Fractional Weighted Reference Counting.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2001: Parallel Processing, 2001

Regularities in the Formation and Evolution of Information Cities.

[BibT_eX]

[DOI]

Antonis Hatzistamatiou

Proceedings of the Digital Cities II, 2001

1999

Efficient logic variables for distributed computing.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1999

1998

Programming Languages for Distributed Applications.

[BibT_eX]

[DOI]

New Gener. Comput., 1998

A Lightweight Object Migration Protocol.

[BibT_eX]

[DOI]

Proceedings of the Internet Programming Languages, 1998

1997

Mobile Objects in Distributed Oz.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1997

An evaluation of Penny: a system for fine grain implicit parallelism.

[BibT_eX]

[DOI]

Johan Montelius

Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, 1997

An overview of the design of Distributed Oz.

[BibT_eX]

[DOI]

Peter Van Roy

Gert Smolka

Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, 1997

1996

A Tool for Developing Interactive Configuration Applications.

[BibT_eX]

[DOI]

Tomas Axling

J. Log. Program., 1996

1994

AKL(FD) - A Concurrent Language for FD Programming.

[BibT_eX]

Björn Carlson

Proceedings of the Logic Programming, 1994

1993

Concurrent Constraint Programming at SICS with the Andorra Kernel Language (Extended Abstract).

[BibT_eX]

Proceedings of the Principles and Practice of Constraint Programming, 1993

Simulating the Data Diffusion Machine.

[BibT_eX]

[DOI]

Proceedings of the PARLE '93, 1993

An Introduction to AKL A Multi-Paradigm Programming Language.

[BibT_eX]

[DOI]

Proceedings of the Constraint Programming, 1993

A Survey of AKL, A General Purpose Concurrent Constraint Language (Extended Abstract).

[BibT_eX]

Johan Montelius

Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, 1993

1992

An Intuitionistic Predicate Logic Theorem Prover.

[BibT_eX]

[DOI]

Dan Sahlin

Torkel Franzén

J. Log. Comput., 1992

Structural operational semantics for AKL.

[BibT_eX]

[DOI]

Catuscia Palamidessi

Future Gener. Comput. Syst., 1992

DDM - A Cache-Only Memory Architecture.

[BibT_eX]

[DOI]

Erik Hagersten

Anders Landin

Computer, 1992

1991

Programming Paradigms of the Andorra Kernel Language.

[BibT_eX]

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Structural Operational Semantics for Kernel Andorra Prolog.

[BibT_eX]

[DOI]

Catuscia Palamidessi

Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991

Race-Free Interconnection Networks and Multiprocessor Consistency.

[BibT_eX]

[DOI]

Anders Landin

Erik Hagersten

Proceedings of the 18th Annual International Symposium on Computer Architecture. Toronto, 1991

Parallel Logic Programming based on the Andorra Principle.

[BibT_eX]

Proceedings of the Logic Programming, 1991

An Overview of the Andorra Kernel Language.

[BibT_eX]

[DOI]

Torkel Franzén

Proceedings of the Extensions of Logic Programming, Second International Workshop, 1991

1990

The Aurora or-parallel Prolog system.

[BibT_eX]

[DOI]

New Gener. Comput., 1990

A logic programming language based on the Andorra model.

[BibT_eX]

[DOI]

New Gener. Comput., 1990

Kernel Andorra Prolog and its Computation Model.

[BibT_eX]

Proceedings of the Logic Programming, 1990

1989

Preface to the Special Issue - Papers Presented at the Third Symposium on Logic Programming.

[BibT_eX]

[DOI]

Robert Keller

J. Log. Program., 1989

Or-Parallel Prolog on Shared Memory Multiprocessors.

[BibT_eX]

[DOI]

Bogumil Hausman

J. Log. Program., 1989

The Cache Coherence Protocol of the Data Diffusion Machine.

[BibT_eX]

[DOI]

Erik Hagersten

Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

1988

Garbage Collection for Prolog Based on WAM.

[BibT_eX]

[DOI]

Commun. ACM, 1988

Data Diffusion Machine - A Scalable Shared Virtual Memory Multiprocessor.

[BibT_eX]

David H. D. Warren

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

The Aurora Or-Parallel Prolog System.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

ANDORRA Prolog - An Integration of Prolog and Committed Choice Languages.

[BibT_eX]

Per Brand

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987

OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors.

[BibT_eX]

Bogumil Hausman

Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987

1986

Global garbage collection for distributed heap storage systems.

[BibT_eX]

[DOI]

Khayri A. M. Ali

Int. J. Parallel Program., 1986

1984

Control of Activities in the Or-Parallel Token Machine.

[BibT_eX]

Proceedings of the 1984 International Symposium on Logic Programming, 1984

Execution of Bagof on the Or-Parallel Token Machine.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

Efficient Implementation of Unification of Cyclic Structures.

[BibT_eX]

Dan Sahlin

Proceedings of the Implementations of Prolog. , 1984

1983

A Formal Model for Or-Parallel Execution of Logic Programs.

[BibT_eX]

Proceedings of the Information Processing 83, 1983

Evaluation of Logic Programs Based on Natural Deduction (DRAFT).

[BibT_eX]

[DOI]

Dan Sahlin

Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983

An Or-Parallel Token Machine.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983

Control of Activities in the Or-Parallel Token Machine (Abstract).

[BibT_eX]

[DOI]

Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983

1981

An implementation and empirical evaluation of the tasking facilities in ADA.

[BibT_eX]

[DOI]