Advanced compiler optimizations for sparse computations
Proceedings of the 1993 ACM/IEEE conference on Supercomputing
Mobile objects in distributed Oz
ACM Transactions on Programming Languages and Systems (TOPLAS)
Propeties of the r-operators to insure termination of distributed computations
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
Chaotic iteration for distributed constraint propagation
Proceedings of the 1999 ACM symposium on Applied computing
Bit complexity of breaking and achieving symmetry in chains and rings (extended abstract)
STOC '99 Proceedings of the thirty-first annual ACM symposium on Theory of computing
Fundamental control algorithms in mobile networks
Proceedings of the eleventh annual ACM symposium on Parallel algorithms and architectures
Distributed algorithms visualisation for educational purposes
ITiCSE '99 Proceedings of the 4th annual SIGCSE/SIGCUE ITiCSE conference on Innovation and technology in computer science education
Fundamentals of fault-tolerant distributed computing in asynchronous environments
ACM Computing Surveys (CSUR)
Efficient logic variables for distributed computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computing Global Functions in Asynchronous Distributed Systems with Perfect Failure Detectors
IEEE Transactions on Parallel and Distributed Systems
Localized algorithms in wireless ad-hoc networks: location discovery and sensor exposure
MobiHoc '01 Proceedings of the 2nd ACM international symposium on Mobile ad hoc networking & computing
Online algorithms for page replication in rings
Theoretical Computer Science
Searching games with errors---fifty years of coping with liars
Theoretical Computer Science
Some remarks on distributed depth-first search
Information Processing Letters
PHOENIX: A Self Adaptable Monitoring Platform for Cluster Management
Cluster Computing
On optimization of continuous-time Markov networks in distributed computing
Journal of Global Optimization
On the communication complexity of strong time-optimal distributed algorithms
Nordic Journal of Computing
Distributed algorithms solving the updating problems
The Korean Journal of Computational & Applied Mathematics
Parallel Algorithms Using Unreliable Broadcasts
IPPS '96 Proceedings of the 10th International Parallel Processing Symposium
Designing Efficient Distributed Algorithms Using Sampling Techniques
IPPS '97 Proceedings of the 11th International Symposium on Parallel Processing
Lower and Upper Bounds for the Problem of Page Replication in Ring Networks
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Time and Message Optimal Leader Election in Asynchronous Oriented Complete Networks
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Maintenance of a Spanning Tree in Dynamic Networks
Proceedings of the 13th International Symposium on Distributed Computing
Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
Stateless Termination Detection
DISC '02 Proceedings of the 16th International Conference on Distributed Computing
Fractional Weighted Reference Counting
Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing
A Self-stabilizing Token-Based k-out-of-l Exclusion Algorithm
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
Unavoidable Configurations of Parameterized Rings of Processes
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Distributed Deadlock Detection in Mobile Agent Systems
IEA/AIE '02 Proceedings of the 15th international conference on Industrial and engineering applications of artificial intelligence and expert systems: developments in applied artificial intelligence
Yet Another Modular Technique for Efficient Leader Election
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Efficient Communication Schemes
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Counting in Mobile Networks: Theory and Experimentation
WAE '99 Proceedings of the 3rd International Workshop on Algorithm Engineering
Self-Stabilizing Agent Traversal
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
A Composite Stabilizing Data Structure
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
Easy Stabilization with an Agent
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
Cooperating Mobile Agents and Stabilization
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
A New Efficient Tool for the Design of Self-Stabilizing l-Exclusion Algorithms: The Controller
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
Efficient Communication in Unknown Networks
WG '00 Proceedings of the 26th International Workshop on Graph-Theoretic Concepts in Computer Science
A New Rewrite Method for Convergence of Self-Stabilizing Systems
Proceedings of the 13th International Symposium on Distributed Computing
Self-stabilization with path algebra
Theoretical Computer Science
Distributed breakout revisited
Eighteenth national conference on Artificial intelligence
Optimistic atomic broadcast: a pragmatic viewpoint
Theoretical Computer Science - Special issue: Distributed computing
Approaching a Formal Definition of Fairness in Electronic Commerce
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
A Meta-Object Protocol for Distributed OO Applications
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Termination detection in data-driven parallel computations/applications
Journal of Parallel and Distributed Computing
Distributed algorithm engineering
Experimental algorithmics
Deadlock prevention by acyclic orientations
Discrete Applied Mathematics - Special issue: Algorithmic aspects of communication
An Exercise in Proving Self-Stabilization through Ljapunov Functions
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
The Knowledge Engineering Review
Gossiping and broadcasting versus computing functions in networks
Discrete Applied Mathematics - Special issue on international workshop on algorithms, combinatorics, and optimization in interconnection networks (IWACOIN '99)
Efficient Decentralized Monitoring of Safety in Distributed Systems
Proceedings of the 26th International Conference on Software Engineering
MPICH-V2: a Fault Tolerant MPI for Volatile Nodes based on Pessimistic Sender Based Message Logging
Proceedings of the 2003 ACM/IEEE conference on Supercomputing
A new distributed QoS routing algorithm based on Fano's method
Computer Networks and ISDN Systems
Proceedings of the eighteenth annual ACM symposium on Parallelism in algorithms and architectures
Using Prior Knowledge to Improve Distributed Hill Climbing
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
A note on K-state self-stabilization in a ring with K = N
Nordic Journal of Computing
A Logic Framework for Verification of Timed Algorithms
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Universal Semi-local Election Protocol Using Forward Links
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Local Computations in Graphs: The Case of Cellular Edge Local Computations
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Efficient detection of a locally stable predicate in a distributed system
Journal of Parallel and Distributed Computing
LYDIAN: An extensible educational animation environment for distributed algorithms
Journal on Educational Resources in Computing (JERIC)
Observing locally self-stabilization
Journal of High Speed Networks - Self-Stabilizing Systems, Part 1
Information and Computation
A Time-Optimal Self-Stabilizing Synchronizer Using A Phase Clock
IEEE Transactions on Dependable and Secure Computing
Bit complexity of breaking and achieving symmetry in chains and rings
Journal of the ACM (JACM)
A distributed approximation algorithm for the minimum degree minimum weight spanning trees
Journal of Parallel and Distributed Computing
Linear election in pancake graphs
Information Processing Letters
An Efficient Message Passing Election Algorithm based on Mazurkiewicz's Algorithm
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Scheduling optimization in coupling independent services as a Grid transaction
Journal of Parallel and Distributed Computing
Fair Exchange Is Incomparable to Consensus
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Deterministic Models of Communication Faults
MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
An Optimal Share Transfer Problem on Secret Sharing Storage Systems
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
A new distributed QoS routing algorithm based on Fano's method
Computer Networks: The International Journal of Computer and Telecommunications Networking
Brief Announcement: How to Overcome the Limits of Bounds
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
On quantized consensus by means of gossip algorithm: part i: convergence proof
ACC'09 Proceedings of the 2009 conference on American Control Conference
On quantized consensus by means of gossip algorithm: part ii: convergence time
ACC'09 Proceedings of the 2009 conference on American Control Conference
Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Distributed Graph Traversals by Relabelling Systems with Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Uniform election in trees and polyominoids
Discrete Applied Mathematics
A 1-strong self-stabilizing transformer
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Self-stabilizing algorithms for {k}-domination
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
Route preserving stabilization
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
An improved snap-stabilizing PIF algorithm
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
A fault tolerance bisimulation proof for consensus
ESOP'07 Proceedings of the 16th European conference on Programming
Iterative software engineering for multiagent systems: the MASSIVE method
Iterative software engineering for multiagent systems: the MASSIVE method
Co-ordination in artificial agent societies: social structures and its implications for autonomous problem-solving agents
A multiagent architecture for controlling the Palamede satellite
Web Intelligence and Agent Systems
Necessary and sufficient conditions for 1-adaptivity
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Formalization and correctness of the PALS architectural pattern for distributed real-time systems
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
On the message complexity of global computations
OPODIS'10 Proceedings of the 14th international conference on Principles of distributed systems
The computational power of the W And GHZ States
Quantum Information & Computation
Improved distributed exploration of anonymous networks
ICDCN'06 Proceedings of the 8th international conference on Distributed Computing and Networking
Order by disordered action in swarms
SAB'04 Proceedings of the 2004 international conference on Swarm Robotics
A fast distributed approximation algorithm for minimum spanning trees
DISC'06 Proceedings of the 20th international conference on Distributed Computing
A framework for structured peer-to-peer overlay networks
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Verification in predicate logic with time: algorithmic questions
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Observing locally self-stabilization in a probabilistic way
DISC'05 Proceedings of the 19th international conference on Distributed Computing
Formalization and correctness of the PALS architectural pattern for distributed real-time systems
Theoretical Computer Science
Universal Semi-local Election Protocol Using Forward Links
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
A Logic Framework for Verification of Timed Algorithms
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
SSS'12 Proceedings of the 14th international conference on Stabilization, Safety, and Security of Distributed Systems
Self-stabilizing distributed data fusion
SSS'12 Proceedings of the 14th international conference on Stabilization, Safety, and Security of Distributed Systems
Fast distributed computation in dynamic networks via random walks
DISC'12 Proceedings of the 26th international conference on Distributed Computing
On the complexity of universal leader election
Proceedings of the 2013 ACM symposium on Principles of distributed computing
| Hi-index | 0.00 |