Search results for "stabilization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Tomoya Takimoto, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa	Communication-Efficient Self-stabilization in Wireless Networks.	SSS	2012	DBLP DOI BibTeX RDF
16	Fukuhito Ooshita, Sébastien Tixeuil	On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings.	SSS	2012	DBLP DOI BibTeX RDF
16	Martin Gugat, Marius Tucsnak	An example for the switching delay feedback stabilization of an infinite dimensional system: The boundary stabilization of a string.	Syst. Control. Lett.	2011	DBLP DOI BibTeX RDF
16	Colette Johnen, Fouzi Mekhaldi	Self-stabilization versus Robust Self-stabilization for Clustering in Ad-Hoc Network.	Euro-Par (1)	2011	DBLP DOI BibTeX RDF
16	Jun Kiniwa, Kensaku Kikuta	Price Stabilization in Networks - What Is an Appropriate Model ?	SSS	2011	DBLP DOI BibTeX RDF
16	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Active Stabilization.	SSS	2011	DBLP DOI BibTeX RDF
16	Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil	Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems.	SSS	2011	DBLP DOI BibTeX RDF
16	Ezra N. Hoch	Bridging the gap : Byzantine faults and self-stabilization (עם תקציר בעברית ושער נוסף: שילוב של שגיאות ביזנטיות עם התייצבות עצמית.; Byzantine faults and self-stabilization.).		2010	RDF
16	Lei Zhou 0004, Xiaoqing Xiao, Guoping Lu	Simultaneous Lp-stabilization and internal stabilization for linear singular systems subject to input saturation.	CDC	2009	DBLP DOI BibTeX RDF
16	Martin Drahanský, Filip Orság	Digital Image Stabilization in a Video-Stream - Stabilization of (Undesirable) Image Movements in a Video-Stream.	VISAPP (1)	2009	DBLP BibTeX RDF
16	Shlomi Dolev, Nir Tzachar	Randomization Adaptive Self-stabilization.	SSS	2009	DBLP DOI BibTeX RDF
16	Rogelio Lozano, Anand Sanchez, Sergio Salazar-Cruz, Isabelle Fantoni	Discrete-time stabilization of integrators in cascade: real-time stabilization of a mini-rotorcraft.	Int. J. Control	2008	DBLP DOI BibTeX RDF
16	Jorge Arturo Cobb	Stabilization of Loop-Free Redundant Routing.	SSS	2007	DBLP DOI BibTeX RDF
16	Stefano Battilotti	Robust Detectability From the Measurements Plus State Feedback Stabilization Imply Semiglobal Stabilization From the Measurements.	IEEE Trans. Autom. Control.	2006	DBLP DOI BibTeX RDF
16	Yanhong Liu, Chunwen Li, Rebing Wu	Stabilization and robust stabilization of nonlinear differential-algebraic systems: a Hamiltonian function method.	ACC	2006	DBLP DOI BibTeX RDF
16	Rogelio Lozano, Anand Sanchez, Sergio Salazar-Cruz, Isabelle Fantoni, Jorge Torres 0003	Discrete-time stabilization of integrators in cascade: Real-time stabilization of a mini-rotorcraft.	CDC	2006	DBLP DOI BibTeX RDF
16	Stefano Battilotti	Robust detectability from the measurements plus state feedback stabilization imply semiglobal stabilization from the measurements.	CDC	2006	DBLP DOI BibTeX RDF
16	Alain Cournier, Stéphane Devismes, Vincent Villain	From Self- to Snap- Stabilization.	SSS	2006	DBLP DOI BibTeX RDF
16	Joffroy Beauquier, Colette Johnen, Stéphane Messika	All k -Bounded Policies Are Equivalent for Self-stabilization.	SSS	2006	DBLP DOI BibTeX RDF	scheduler, distributed algorithm, randomized algorithms, self-stabilizing system
16	Yung-Shan Chou, Tai-Zu Wu, Jiunn-Liang Leu	On strong stabilization and H∞ strong stabilization problems.	CDC	2003	DBLP DOI BibTeX RDF
16	Janina Jakubczyc	Book Review: Motivating Self-Stabilization (A review of Self-Stabilization by Shlomi Dolev).	IEEE Distributed Syst. Online	2002	DBLP BibTeX RDF
16	Ali Saberi, Anton A. Stoorvogel, Guoyong Shi, Peddapullaiah Sannuti	Internal stabilization and external LP stabilization of linear systems subject to constraints.	CDC	2001	DBLP DOI BibTeX RDF
16	Dibyendu Baksi, Vijay V. Patel, Kanti B. Datta, Goshaidas Ray	Decentralized stabilization and strong stabilization of a bicoprime factorized plant.	Kybernetika	1999	DBLP BibTeX RDF
16	James E. Burns, Mohamed G. Gouda, Raymond E. Miller	Stabilization and Pseudo-Stabilization.	Distributed Comput.	1993	DBLP DOI BibTeX RDF
13	Shlomi Dolev, Nir Tzachar	Spanders: distributed spanning expanders.	SAC	2010	DBLP DOI BibTeX RDF	self-orgenization, self-stabilization, expanders
13	Andrew Berns, Sukumar Ghosh, Sriram V. Pemmaraju	Brief announcement: a framework for building self-stabilizing overlay networks.	PODC	2010	DBLP DOI BibTeX RDF	overlay networks, self-stabilization
13	Toshimitsu Masuzawa, Sébastien Tixeuil	Stabilizing Locally Maximizable Tasks in Unidirectional Networks Is Hard.	ICDCS	2010	DBLP DOI BibTeX RDF	Distribtued algorithms, grundy coloring, unidirectionnal networks, self-stabilization, maximal independent set, maximal matching
13	Bezawada Bruhadeshwar, Kishore Kothapalli, Indira Radhika Pulla	A Fully Dynamic and Self-Stabilizing TDMA Scheme for Wireless Ad-hoc Networks.	AINA	2010	DBLP DOI BibTeX RDF	wireless networks, self-stabilization, TDMA
13	Arshad Jhumka	Crash-Tolerant Collision-Free Data Aggregation Scheduling for Wireless Sensor Networks.	SRDS	2010	DBLP DOI BibTeX RDF	wireless sensor networks, algorithms, stabilization, data aggregation
13	Shing-Tsaan Huang, Chi-Hung Tzeng	Distributed edge coloration for bipartite networks.	Distributed Comput.	2009	DBLP DOI BibTeX RDF	Fault-tolerance, Distributed system, Self-stabilization, Edge coloring
13	Baruch Awerbuch, Rohit Khandekar	Greedy distributed optimization of multi-commodity flows.	Distributed Comput.	2009	DBLP DOI BibTeX RDF	Distributed algorithms, Self-stabilization, Multi-commodity flows, Statelessness
13	Praveen Danturi, Mikhail Nesterenko, Sébastien Tixeuil	Self-stabilizing philosophers with generic conflicts.	ACM Trans. Auton. Adapt. Syst.	2009	DBLP DOI BibTeX RDF	Self-stabilization, dining philosophers
13	Samia Souissi, Xavier Défago, Masafumi Yamashita	Using eventually consistent compasses to gather memory-less mobile robots with limited visibility.	ACM Trans. Auton. Adapt. Syst.	2009	DBLP DOI BibTeX RDF	Cooperation and Control, Point Formation, Self-Organizing Robots, Unreliable Compasses, Self-Stabilization, Autonomous Mobile Robots
13	Toshimitsu Masuzawa, Sébastien Tixeuil	On bootstrapping topology knowledge in anonymous networks.	ACM Trans. Auton. Adapt. Syst.	2009	DBLP DOI BibTeX RDF	stabilization, Topology, anonymous networks, daemon
13	Sandip Bapat, William Leal, Taewoo Kwon, Pihui Wei, Anish Arora	Chowkidar: Reliable and scalable health monitoring for wireless sensor network testbeds.	ACM Trans. Auton. Adapt. Syst.	2009	DBLP DOI BibTeX RDF	PIF, tree protocols, Wireless sensor networks, stabilization, health monitoring, protocol architecture
13	Seth Gilbert, Nancy A. Lynch, Sayan Mitra, Tina Nolte	Self-stabilizing robot formations over unreliable networks.	ACM Trans. Auton. Adapt. Syst.	2009	DBLP DOI BibTeX RDF	cooperative mobile robotics, replicated state machines, Formal methods, distributed algorithms, self-stabilization, pattern formation
13	Eddy Caron, Ajoy Kumar Datta, Benjamin Depardon, Lawrence L. Larmore	A Self-stabilizing K-Clustering Algorithm Using an Arbitrary Metric.	Euro-Par	2009	DBLP DOI BibTeX RDF	K-clustering, self-stabilization, weighted graph
13	Joffroy Beauquier, Janna Burman, Julien Clément 0002, Shay Kutten	Brief announcement: non-self-stabilizing and self-stabilizing gathering in networks of mobile agents--the notion of speed.	PODC	2009	DBLP DOI BibTeX RDF	gathering problem, networks of mobile agents, optimality, lower bounds, self-stabilization, complexity analysis, population protocols
13	Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore	A Self-Stabilizing O(n)-Round k-Clustering Algorithm.	SRDS	2009	DBLP DOI BibTeX RDF	K-dominating set, K-clustering, silent, self-stabilization, unfair scheduler
13	Fuad Abujarad, Sandeep S. Kulkarni	Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance.	SRDS	2009	DBLP DOI BibTeX RDF	nonmasking, constraint based, stabilization, distributed programs, program synthesis
13	Michael Gleicher, Feng Liu 0015	Re-cinematography: Improving the camerawork of casual video.	ACM Trans. Multim. Comput. Commun. Appl.	2008	DBLP DOI BibTeX RDF	casual video, cinematography, Image stabilization
13	Costas Busch, Malik Magdon-Ismail, Fikret Sivrikaya, Bülent Yener	Contention-free MAC protocols for asynchronous wireless sensor networks.	Distributed Comput.	2008	DBLP DOI BibTeX RDF	TDMA protocols, Wireless sensor networks, Self-stabilization, MAC protocols
13	Shlomi Dolev, Ronen I. Kat	HyperTree for self-stabilizing peer-to-peer systems.	Distributed Comput.	2008	DBLP DOI BibTeX RDF	Peer-to-peer, Overlay networks, Self-stabilization
13	Christian Scheideler, Andréa W. Richa, Paolo Santi	An O(log n) dominating set protocol for wireless ad-hoc networks under the physical interference model.	MobiHoc	2008	DBLP DOI BibTeX RDF	physical interference model, ad hoc networks, self-stabilization, dominating set
13	Yanqin Zheng, Xinsheng Ge	A Time-Varying Control of an Underactuated Rigid Spacecraft.	PACIIA (1)	2008	DBLP DOI BibTeX RDF	Underactuated system, Attitude stabilization, Backstepping control, Time-varying control
13	Luiz Angelo Steffenel, Manuele Kirsch-Pinheiro, Yolande Berbers	Total order broadcast on pervasive systems.	SAC	2008	DBLP DOI BibTeX RDF	total order broadcast, self-stabilization, group membership
13	Sushanta Karmakar, Arobinda Gupta	Self-stabilizing Distributed Protocol Switching.	ICDCN	2008	DBLP DOI BibTeX RDF	protocol switching, BFS tree, DFS tree, broadcast, self-stabilization
13	Nils Müllner, Abhishek Dhama, Oliver E. Theel	Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation.	Annual Simulation Symposium	2008	DBLP DOI BibTeX RDF	Simulation, Fault Tolerance, Reliability, Availability, Self-Stabilization
13	Shlomi Dolev, Elad Michael Schiller, Paul G. Spirakis, Philippas Tsigas	Strategies for repeated games with subsystem takeovers: implementable by deterministic and self-stabilizing automata (extended abstract).	Autonomics	2008	DBLP DOI BibTeX RDF	folk-theorem, joint deviation, game theory, self-stabilization, finite-automata
13	Jan Hendrik Schönherr, Helge Parzyjegla, Gero Mühl	Clustered publish/subscribe in wireless actuator and sensor networks.	MPAC	2008	DBLP DOI BibTeX RDF	actuator and sensor networks, clustering, self-organization, self-stabilization, publish/subscribe
13	Howard C. Elman, Alison Ramage, David J. Silvester	Algorithm 866: IFISS, a Matlab toolbox for modelling incompressible flow.	ACM Trans. Math. Softw.	2007	DBLP DOI BibTeX RDF	stabilization, finite elements, Matlab, iterative solvers, incompressible flow
13	Amos Korman, Shay Kutten	Distributed verification of minimum spanning trees.	Distributed Comput.	2007	DBLP DOI BibTeX RDF	Graph property verification, Proof labeling schemes, Self stabilization, Minimum spanning tree, Labeling schemes, Network algorithms
13	Mohamed G. Gouda, F. Furman Haddix	The alternator.	Distributed Comput.	2007	DBLP DOI BibTeX RDF	System transformation, Serial execution, Distributed systems, Concurrency, Self-stabilization
13	Joffroy Beauquier, Sylvie Delaët, Shlomi Dolev, Sébastien Tixeuil	Transient fault detectors.	Distributed Comput.	2007	DBLP DOI BibTeX RDF	Fault detectors, Distributed systems, Self-stabilization, Transient faults
13	Mehmet Hakan Karaata, Mohamed G. Gouda	A Stabilizing Deactivation/Reactivation Protocol.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Deactivation/reactivation, fault tolerance, sensor networks, stabilization, network protocols
13	Yantao Song, Scott M. Pike	Eventually k-Bounded Wait-Free Distributed Daemons.	DSN	2007	DBLP DOI BibTeX RDF	self-stabilization, wait-freedom, daemons
13	Glenn R. Flora, Jiang Yu Zheng	Adjusting route panoramas with condensed image slices.	ACM Multimedia	2007	DBLP DOI BibTeX RDF	media editing, image representation, camera motion, route panorama, video stabilization
13	Joffroy Beauquier, Julien Clément 0002, Stéphane Messika, Laurent Rosaz, Brigitte Rozoy	Self-stabilizing counting in mobile sensor networks.	PODC	2007	DBLP DOI BibTeX RDF	fault tolerance, sensor networks, distributed algorithms, self-stabilization, mobile networks
13	Baruch Awerbuch, Rohit Khandekar	Greedy distributed optimization of multi-commodity flows.	PODC	2007	DBLP DOI BibTeX RDF	distributed algorithms, self-stabilization, multi-commodity flows, statelessness
13	Yoann Dieudonné, Franck Petit	Robots and Demons (The Code of the Origins).	FUN	2007	DBLP DOI BibTeX RDF	Fun with distributed algorithms, fun with mobile robot networks, fun with stabilization
13	Masaru Sanuki, Tateaki Sasaki	Computing Approximate GCDs in Ill-conditioned Cases.	SNC	2007	DBLP DOI BibTeX RDF	approximate GCD, stabilization, euclidean algorithm, ill-conditioned problem
13	Tateaki Sasaki, Fujio Kako	Computing floating-point gröbner bases stably.	SNC	2007	DBLP DOI BibTeX RDF	Gröbner base, approximate Gröbner base, floating-point Gröbner base, stabilization
13	Pramook Khungurn, Hiroshi Sekigawa, Kiyoshi Shirayanagi	Minimum converging precision of the QR-factorization algorithm for real polynomial GCD.	ISSAC	2007	DBLP DOI BibTeX RDF	algebraic algorithm stabilization, polynomial greatest common divisor
13	Hamid Reza Karimi, Mohammad Javad Yazdanpanah, Rajnikant V. Patel, Khashayar Khorasani	Modeling and Control of Linear Two-time Scale Systems: Applied to Single-Link Flexible Manipulator.	J. Intell. Robotic Syst.	2006	DBLP DOI BibTeX RDF	single-link flexible manipulator, structured singular value, two-time scale systems, stability analysis, robust stabilization
13	Shlomi Dolev, Elad Schiller, Jennifer L. Welch	Random Walk for Self-Stabilizing Group Communication in Ad Hoc Networks.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	Ad hoc networks, self-stabilization, random walk, group communication
13	Wilfried Steiner, Michael Paulitsch, Hermann Kopetz	The TTA's Approach to Resilience after Transient Upsets.	Real Time Syst.	2006	DBLP DOI BibTeX RDF	multiple failures, clique resolving, startup, self stabilization, recovery, Time-Triggered Architecture
13	Maurice Herlihy, Srikanta Tirthapura	Self-stabilizing smoothing and balancing networks.	Distributed Comput.	2006	DBLP DOI BibTeX RDF	Smoothing networks, Self-stabilization, Counting networks
13	Mehmet Hakan Karaata	Self-Stabilizing Clustering of Tree Networks.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	p-centers, Clustering, fault tolerance, distributed systems, tree, self-stabilization
13	Amos Korman, Shay Kutten	Distributed verification of minimum spanning trees.	PODC	2006	DBLP DOI BibTeX RDF	graph property verification, proof labeling, distributed algorithms, self stabilization, minimum spanning tree, labeling schemes, network algorithms
13	Ariel Daliot, Danny Dolev	Self-stabilizing byzantine agreement.	PODC	2006	DBLP DOI BibTeX RDF	pulse synchronization, self-stabilization, byzantine agreement, byzantine faults, reliable broadcast, transient failures
13	Nigel Boston	Pipelined IIR Filter Architecture Using Pole-Radius Minimization.	J. VLSI Signal Process.	2005	DBLP DOI BibTeX RDF	architecture, stabilization, pipelining, filter, transfer function
13	Martin Hutle, Josef Widder	Brief announcement: on the possibility and the impossibility of message-driven self-stabilizing failure detection.	PODC	2005	DBLP DOI BibTeX RDF	unreliable failure, fault tolerance, self-stabilization, timing models, detectors
13	Shlomi Dolev, Limor Lahiani, Seth Gilbert, Nancy A. Lynch, Tina Nolte	Brief announcement: virtual stationary automata for mobile networks.	PODC	2005	DBLP DOI BibTeX RDF	ad-hoc networks, mobile computing, self-stabilization, state replication, virtual infrastructure
13	Amos Korman, Shay Kutten, David Peleg	Proof labeling schemes.	PODC	2005	DBLP DOI BibTeX RDF	proof labels, self stabilization, distributed networks, property verification
13	Kishore Kothapalli, Christian Scheideler, Melih Onus, Andréa W. Richa	Constant density spanners for wireless ad-hoc networks.	SPAA	2005	DBLP DOI BibTeX RDF	ad hoc networks, self-stabilization, dominating set, spanner
13	Shlomi Dolev, Elad Schiller	Self-stabilizing group communication in directed networks.	Acta Informatica	2004	DBLP DOI BibTeX RDF	Self-stabilization, Group communication, Directed networks
13	Shing-Tsaan Huang, Tzong-Jye Liu, Su-Shen Hung	Asynchronous Phase Synchronization in Uniform Unidirectional Rings.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF	uniform ring, self-stabilization, transient fault, Phase synchronization
13	Shlomi Dolev, Jennifer L. Welch	Self-stabilizing clock synchronization in the presence of Byzantine faults.	J. ACM	2004	DBLP DOI BibTeX RDF	self-stabilization, clock synchronization, Byzantine failures
13	Ramesh Raskar, Paul A. Beardsley, Jeroen van Baar, Yao Wang, Paul H. Dietz, Johnny C. Lee, Darren Leigh, Thomas Willwacher	RFIG lamps: interacting with a self-describing world via photosensing wireless tags and projectors.	ACM Trans. Graph.	2004	DBLP DOI BibTeX RDF	human-machine communication, stucture from motion, augmented reality, radio frequency identification, projector, image stabilization
13	Ariel Daliot, Danny Dolev, Hanna Parnas	Brief announcement: linear time byzantine self-stabilizing clock synchronization.	PODC	2004	DBLP DOI BibTeX RDF	pulse synchronization, self-stabilization, clock synchronization, byzantine faults
13	Lisa Higham, Lixiao Wang	Brief announcement: self-stabilizing distance-d distinct labels via enriched fair composition.	PODC	2004	DBLP DOI BibTeX RDF	distance d distinct labels, fair composition, link registers, Markov processes, self stabilization
13	Murat Demirbas, Anish Arora, Tina Nolte, Nancy A. Lynch	Brief announcement: STALK: a self-stabilizing hierarchical tracking service for sensor networks.	PODC	2004	DBLP DOI BibTeX RDF	sensor networks, tracking, self-stabilization, distributed data structures, fault-containment
13	Shlomi Dolev, Ted Herman, Limor Lahiani	Brief announcement: polygonal broadcast, secret maturity and the firing sensors.	PODC	2004	DBLP DOI BibTeX RDF	stateless routing, sensor networks, self-stabilization
13	Shing-Tsaan Huang, Ying-Sung Huang, Su-Shen Hung	Alternators on uniform rings of odd size.	Distributed Comput.	2003	DBLP DOI BibTeX RDF	Self-stabilization, Graph coloring, Clock synchronization, Concurrent processes, Alternator
13	Shlomi Dolev, Elad Schiller	Communication Adaptive Self-Stabilizing Group Membership Service.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	fault tolerance, middleware, Self-stabilization, group communication
13	Olga Brukman, Shlomi Dolev, Elliot K. Kolodner	Self-Stabilizing Autonomic Recoverer for Eventual Byzantine Software.	SwSTE	2003	DBLP DOI BibTeX RDF	Heisenbugs, monitors, safety, self-stabilization, liveness, restarters, automatic recovery
13	Eric P. Bennett, Leonard McMillan	Proscenium: a framework for spatio-temporal video editing.	ACM Multimedia	2003	DBLP DOI BibTeX RDF	feature removal, multimedia framework, video layers, feature selection, video editing, special effects, video stabilization
13	Sudarshan Vasudevan, Brian DeCleene, Neil Immerman, James F. Kurose, Donald F. Towsley	Leader Election Algorithms for Wireless Ad Hoc Networks.	DISCEX (1)	2003	DBLP DOI BibTeX RDF	secure leader election, wireless ad hoc networks, self-stabilization, network protocols, formal specification and verification
13	Yiwei Chiao, Masaaki Mizuno, Mitchell L. Neilsen	A self-stabilizing quorum-based protocol for maxima computing.	Distributed Comput.	2002	DBLP DOI BibTeX RDF	Maxima finding, Self-stabilization, Quorum, Coterie, Consensus protocol
13	Hongwei Zhang 0001, Anish Arora	GS3: scalable self-configuration and self-healing in wireless networks.	PODC	2002	DBLP DOI BibTeX RDF	cellular hexagons, geographyaware, mobility, scalability, locality, dynamics, self-stabilization, self-healing, self-configuration, multi-hop wireless networks
13	Yu Chen 0017, Jennifer L. Welch	Self-stabilizing mutual exclusion using tokens in mobile ad hoc networks.	DIAL-M	2002	DBLP DOI BibTeX RDF	fault tolerance, mobile ad hoc networks, self-stabilization, mutual exclusion, token circulation
13	Xavier Défago, Akihiko Konagaya	Circle formation for oblivious anonymous mobile robots with no common sense of orientation.	POMC	2002	DBLP DOI BibTeX RDF	anonymous computations, circle formation, cooperative mobile robotics, geometric pattern formation, oblivious computations, distributed algorithms, computational geometry, self-stabilization
13	Colette Johnen	Service Time Optimal Self-Stabilizing Token Circulation Protocol on Anonymous Unidrectional Rings.	SRDS	2002	DBLP DOI BibTeX RDF	anonymous ring, fault-tolerant, self-stabilization, mutual exclusion, distributed protocol, token circulation, service time, unfair scheduler
13	Joffroy Beauquier, Béatrice Bérard, Laurent Fribourg, Frédéric Magniette	Proving convergence of self-stabilizing systems using first-order rewriting and regular languages.	Distributed Comput.	2001	DBLP DOI BibTeX RDF	Self-stabilization, Rewriting systems
13	Tatsuhiro Tsuchiya, Shin'ichi Nagano, Rohayu Bt Paidi, Tohru Kikuno	Symbolic Model Checking for Self-Stabilizing Algorithms.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	distributed algorithms, Self-stabilization, symbolic model checking, automatic verification
13	Mehmet Hakan Karaata	Self-Stabilizing Strong Fairness under Weak Fairness.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	strong fairness, schedulers, Distributed systems, fairness, self-stabilization
13	Gérard G. Medioni, Isaac Cohen, François Brémond, Somboon Hongeng, Ramakant Nevatia	Event Detection and Analysis from Video Streams.	IEEE Trans. Pattern Anal. Mach. Intell.	2001	DBLP DOI BibTeX RDF	Detection and tracking of moving objects, egomotion estimation, affine stabilization, graph representation of objects trajectories, geospatial and mission contexts, scenario recognition, mosaics, finite automaton, event analysis
13	Alain Cournier, Franck Petit, Vincent Villain, Ajoy Kumar Datta	Self-Stabilizing PIF Algorithm in Arbitrary Rooted Networks.	ICDCS	2001	DBLP DOI BibTeX RDF	propagation of information with feedback, wave algorithms, Fault-tolerance, self-stabilization, snapshot, reset
13	Ted Herman	Superstabilizing Mutual Exclusion.	Distributed Comput.	2000	DBLP DOI BibTeX RDF	Self-stabilization, Mutual exclusion, Fault-containment
13	Ajoy Kumar Datta, Colette Johnen, Franck Petit, Vincent Villain	Self-stabilizing depth-first token circulation in arbitrary rooted networks.	Distributed Comput.	2000	DBLP DOI BibTeX RDF	Self-stabilization, Spanning tree, Distributed mutual exclusion, Token passing