@article{TelM89a, title = {Comments on ring based termination detection algorithm for distributed computations }, author = {Gerard Tel and Friedemann Mattern}, year = {1989}, doi = {10.1016/0020-0190(89)90219-6}, url = {http://dx.doi.org/10.1016/0020-0190(89)90219-6}, tags = {rule-based, termination}, researchr = {https://researchr.org/publication/TelM89a}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {32}, number = {3}, pages = {127-128}, } @article{TelTL88, title = {The Derivation of Graph Marking Algorithms From Distributed Termination Detection Protocols}, author = {Gerard Tel and Richard B. Tan and Jan van Leeuwen}, year = {1988}, tags = {protocol, termination, graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/TelTL88}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {10}, number = {1}, pages = {107-137}, } @inproceedings{Tel87:0, title = {Distributed Infimum Approximation}, author = {Gerard Tel}, year = {1987}, researchr = {https://researchr.org/publication/Tel87%3A0}, cites = {0}, citedby = {0}, pages = {440-447}, booktitle = {Fundamentals of Computation Theory, International Conference FCT 87, Kazan, USSR, June 22-26, 1987, Proceedings}, editor = {Lothar Budach and Rais Gatic Bakharajev and Oleg Borisovic Lipanov}, volume = {278}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-18740-5}, } @article{TelM93, title = {The Derivation of Distributed Termination Detection Algorithms from Garbage Collection Schemes}, author = {Gerard Tel and Friedemann Mattern}, year = {1993}, doi = {10.1145/151646.151647}, url = {http://doi.acm.org/10.1145/151646.151647}, tags = {termination}, researchr = {https://researchr.org/publication/TelM93}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {15}, number = {1}, pages = {1-35}, } @inproceedings{TelTL87, title = {The Derivation of on-the-fly Garbage Collection Algorithms from Distributed Termination Detection Protocols}, author = {Gerard Tel and Richard B. Tan and Jan van Leeuwen}, year = {1987}, tags = {protocol, termination}, researchr = {https://researchr.org/publication/TelTL87}, cites = {0}, citedby = {0}, pages = {445-455}, booktitle = {STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings}, editor = {Franz-Josef Brandenburg and Guy Vidal-Naquet and Martin Wirsing}, volume = {247}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-17219-X}, } @inproceedings{DobrevRT98, title = {Time and Bit Optimal Broadcasting on Anonymous Unoriented Hypercubes}, author = {Stefan Dobrev and Peter Ruzicka and Gerard Tel}, year = {1998}, researchr = {https://researchr.org/publication/DobrevRT98}, cites = {0}, citedby = {0}, pages = {173-187}, booktitle = {SIROCCO 98, 5th International Colloquium on Structural Information & Communication Complexity, Amalfi, Italy, June 22-24, 1998}, editor = {Luisa Gargano and David Peleg}, publisher = {Carleton Scientific}, } @article{BodlaenderTS94, title = {Trade-Offs in Non-Reversing Diameter}, author = {Hans Leo Bodlaender and Gerard Tel and Nicola Santoro}, year = {1994}, researchr = {https://researchr.org/publication/BodlaenderTS94}, cites = {0}, citedby = {0}, journal = {Nord. J. Comput.}, volume = {1}, number = {1}, pages = {111-134}, } @inproceedings{TelM91, title = {The Derivation of Distributed Termination Detection Algorithms from Garbage Collection Schemes}, author = {Gerard Tel and Friedemann Mattern}, year = {1991}, tags = {termination}, researchr = {https://researchr.org/publication/TelM91}, cites = {0}, citedby = {0}, pages = {137-149}, booktitle = {PARLE 91: Parallel Architectures and Languages Europe, Volume I: Parallel Architectures and Algorithms, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings}, editor = {Emile H. L. Aarts and Jan van Leeuwen and Martin Rem}, volume = {505}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-54151-9}, } @article{BodlaenderT04, title = {A Note on Rectilinearity and Angular Resolution}, author = {Hans Leo Bodlaender and Gerard Tel}, year = {2004}, url = {http://jgaa.info/accepted/2004/BodlaenderTel2004.8.1.pdf}, researchr = {https://researchr.org/publication/BodlaenderT04}, cites = {0}, citedby = {0}, journal = {J. Graph Algorithms Appl.}, volume = {8}, pages = {89-94}, } @article{Charron-BostT97, title = {Calculs approchés de la borne inférieure de valeurs réparties}, author = {Bernadette Charron-Bost and Gerard Tel}, year = {1997}, researchr = {https://researchr.org/publication/Charron-BostT97}, cites = {0}, citedby = {0}, journal = {ITA}, volume = {31}, number = {4}, pages = {305-330}, } @article{WezelT94, title = {An Assertional Proof of Rana s Algorithm}, author = {Michiel C. van Wezel and Gerard Tel}, year = {1994}, tags = {C++}, researchr = {https://researchr.org/publication/WezelT94}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {49}, number = {5}, pages = {227-233}, } @inproceedings{KwisthoutBT07, title = {Local Monotonicity in Probabilistic Networks}, author = {Johan Kwisthout and Hans Leo Bodlaender and Gerard Tel}, year = {2007}, doi = {10.1007/978-3-540-75256-1_49}, url = {http://dx.doi.org/10.1007/978-3-540-75256-1_49}, researchr = {https://researchr.org/publication/KwisthoutBT07}, cites = {0}, citedby = {0}, pages = {548-559}, booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings}, editor = {Khaled Mellouli}, volume = {4724}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-75255-4}, } @inproceedings{Tel88, title = {Total Algorithms}, author = {Gerard Tel}, year = {1988}, researchr = {https://researchr.org/publication/Tel88}, cites = {0}, citedby = {0}, pages = {277-291}, booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings}, editor = {Friedrich H. Vogt}, volume = {335}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-50403-6}, }