Search the dblp DataBase
Jan K. Pachl :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
James E. Burns , Jan K. Pachl Uniform Self-Stabilizing Rings. [Citation Graph (0, 0)][DBLP ] AWOC, 1988, pp:391-400 [Conf ] Gopi K. Attaluri , Dexter P. Bradshaw , Patrick J. Finnigan , Nigel Hinds , Michael H. Kalantar , Kelly A. Lyons , Andrew D. Marshall , Jan K. Pachl , Hong Tran Operation jump start: a CORDS integration prototype using DCE. [Citation Graph (0, 0)][DBLP ] CASCON, 1993, pp:621-636 [Conf ] Michael A. Bauer , Patrick J. Finnigan , James W. Hong , Jan K. Pachl , Toby J. Teorey An integrated distributed systems management architecture. [Citation Graph (0, 0)][DBLP ] CASCON, 1993, pp:27-40 [Conf ] Irwin S. Pressman , Stephen A. Cook , Jan K. Pachl The optimal placement of replicas in a network using a read any - write all policy. [Citation Graph (0, 0)][DBLP ] CASCON, 1992, pp:189-201 [Conf ] T. Patrick Martin , Michael A. Bauer , Neil Coburn , Per-Åke Larson , Gerald Neufeld , Jan K. Pachl , Jacob Slonim Directory requirements for a multidatabase service. [Citation Graph (0, 0)][DBLP ] CASCON, 1992, pp:339-350 [Conf ] Sanjay R. Radia , Jan K. Pachl Coherence in Naming in Distributed Computing Environments. [Citation Graph (0, 0)][DBLP ] ICDCS, 1993, pp:83-92 [Conf ] Karel Culik II , Jan K. Pachl Folding and Unrolling Systolic Arrays (Preliminary Version). [Citation Graph (0, 0)][DBLP ] PODC, 1982, pp:254-261 [Conf ] Jan K. Pachl Protocol Description and Analysis Based on a State Transition Model with Channel Expressions. [Citation Graph (0, 0)][DBLP ] PSTV, 1987, pp:207-219 [Conf ] Jan K. Pachl A notation for specifying test selection criteria. [Citation Graph (0, 0)][DBLP ] PSTV, 1990, pp:71-84 [Conf ] Jan K. Pachl , Ephraim Korach , Doron Rotem A Technique for Proving Lower Bounds for Distributed Maximum-Finding Algorithms [Citation Graph (0, 0)][DBLP ] STOC, 1982, pp:378-382 [Conf ] Violet R. Syrotiuk , Charles J. Colbourn , Jan K. Pachl Wang Tilings and Distributed Orientation on Anonymous Torus Networks (Extended Abstract). [Citation Graph (0, 0)][DBLP ] WDAG, 1993, pp:264-278 [Conf ] Violet R. Syrotiuk , Jan K. Pachl A Distributed Ring Orientation Algorithm (Preliminary Version). [Citation Graph (0, 0)][DBLP ] WDAG, 1987, pp:332-336 [Conf ] Jan K. Pachl Two Livelock-Free Protocols for Slotted Rings. [Citation Graph (0, 0)][DBLP ] Comput. J., 1988, v:31, n:5, pp:474-476 [Journal ] Jan K. Pachl , Liam Casey A Robust Ring Transmission Protocol. [Citation Graph (0, 0)][DBLP ] Computer Networks, 1987, v:13, n:, pp:313-321 [Journal ] Jan K. Pachl Reachability problems for communicating finite state machines [Citation Graph (0, 0)][DBLP ] CoRR, 2003, v:0, n:, pp:- [Journal ] Jan K. Pachl , Shmuel Zaks Computation in an algebra of test selection criteria [Citation Graph (0, 0)][DBLP ] CoRR, 1999, v:0, n:, pp:- [Journal ] Stephen A. Cook , Jan K. Pachl , Irwin S. Pressman The optimal location of replicas in a network using a READ-ONE-WRITE-ALL policy. [Citation Graph (0, 0)][DBLP ] Distributed Computing, 2002, v:15, n:1, pp:57-66 [Journal ] Jan K. Pachl Analysis of Toggle Protocols. [Citation Graph (0, 0)][DBLP ] Distributed Computing, 1991, v:5, n:, pp:25-35 [Journal ] Karel Culik II , Jan K. Pachl Equivalence Problems for Mappings on Infinite Strings [Citation Graph (0, 0)][DBLP ] Information and Control, 1981, v:49, n:1, pp:52-63 [Journal ] Michael A. Bauer , Neil Coburn , Doreen L. Erickson , Patrick J. Finnigan , James W. Hong , Per-Åke Larson , Jan K. Pachl , Jacob Slonim , David J. Taylor , Toby J. Teorey A Distributed System Architecture for a Distributed Application Environment. [Citation Graph (0, 0)][DBLP ] IBM Systems Journal, 1994, v:33, n:3, pp:399-425 [Journal ] Jan K. Pachl A Simple Proof of a Completeness Result for leads-to in the UNITY Logic. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1992, v:41, n:1, pp:35-38 [Journal ] Jan K. Pachl Corrigendum: A Simple Proof of a Completeness Result for Leads-To in the UNITY Logic. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1992, v:44, n:3, pp:171- [Journal ] Jan K. Pachl A Proof of Protocol Correctness. [Citation Graph (0, 0)][DBLP ] ITA, 1994, v:28, n:3-4, pp:213-220 [Journal ] Jan K. Pachl , Ephraim Korach , Doron Rotem Lower Bounds for Distributed Maximum-Finding Algorithms. [Citation Graph (0, 0)][DBLP ] J. ACM, 1984, v:31, n:4, pp:905-918 [Journal ] Jan K. Pachl A Lower Bound for Probabilistic Distributed Algorithms. [Citation Graph (0, 0)][DBLP ] J. Algorithms, 1987, v:8, n:1, pp:53-65 [Journal ] Jan K. Pachl Finding Pseudoperipheral Nodes in Graphs. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1984, v:29, n:1, pp:48-53 [Journal ] Violet R. Syrotiuk , Charles J. Colbourn , Jan K. Pachl Wang Tilings and Distributed Verification on Anonymous Torus Networks. [Citation Graph (0, 0)][DBLP ] Theory Comput. Syst., 1997, v:30, n:2, pp:145-163 [Journal ] Karel Culik II , Jan K. Pachl , Sheng Yu On the Limit Sets of Cellular Automata. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 1989, v:18, n:4, pp:831-842 [Journal ] James E. Burns , Jan K. Pachl Uniform Self-Stabilizing Rings. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1989, v:11, n:2, pp:330-344 [Journal ] Search in 0.010secs, Finished in 0.011secs