Jan K. Pachl Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2003
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan K. Pachl: Reachability problems for communicating finite state machines CoRR cs.LO/0306121: (2003)
2002
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen A. Cook, Jan K. Pachl, Irwin S. Pressman: The optimal location of replicas in a network using a READ-ONE-WRITE-ALL policy. Distributed Computing 15(1): 57-66 (2002)
1999
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan K. Pachl, Shmuel Zaks: Computation in an algebra of test selection criteria CoRR cs.SE/9912018: (1999)
1997
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViolet R. Syrotiuk, Charles J. Colbourn, Jan K. Pachl: Wang Tilings and Distributed Verification on Anonymous Torus Networks. Theory Comput. Syst. 30(2): 145-163 (1997)
1994
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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. IBM Systems Journal 33(3): 399-425 (1994)
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan K. Pachl: A Proof of Protocol Correctness. ITA 28(3-4): 213-220 (1994)
1993
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael A. Bauer, Patrick J. Finnigan, James W. Hong, Jan K. Pachl, Toby J. Teorey: An integrated distributed systems management architecture. CASCON 1993: 27-40
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopi 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. CASCON 1993: 621-636
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSanjay R. Radia, Jan K. Pachl: Coherence in Naming in Distributed Computing Environments. ICDCS 1993: 83-92
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViolet R. Syrotiuk, Charles J. Colbourn, Jan K. Pachl: Wang Tilings and Distributed Orientation on Anonymous Torus Networks (Extended Abstract). WDAG 1993: 264-278
1992
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIrwin S. Pressman, Stephen A. Cook, Jan K. Pachl: The optimal placement of replicas in a network using a read any - write all policy. CASCON 1992: 189-201
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. Patrick Martin, Michael A. Bauer, Neil Coburn, Per-Åke Larson, Gerald Neufeld, Jan K. Pachl, Jacob Slonim: Directory requirements for a multidatabase service. CASCON 1992: 339-350
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan K. Pachl: A Simple Proof of a Completeness Result for leads-to in the UNITY Logic. Inf. Process. Lett. 41(1): 35-38 (1992)
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan K. Pachl: Corrigendum: A Simple Proof of a Completeness Result for Leads-To in the UNITY Logic. Inf. Process. Lett. 44(3): 171 (1992)
1991
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnn Gawman, Jan K. Pachl, Jacob Slonim, Anne Stilman: Proceedings of the 1991 Conference of the Centre for Advanced Studies on Collaborative Research, October 28-30, 1991, Toronto, Ontario, Canada IBM 1991
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan K. Pachl: Analysis of Toggle Protocols. Distributed Computing 5: 25-35 (1991)
1990
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan K. Pachl: A notation for specifying test selection criteria. PSTV 1990: 71-84
1989
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames E. Burns, Jan K. Pachl: Uniform Self-Stabilizing Rings. ACM Trans. Program. Lang. Syst. 11(2): 330-344 (1989)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Jan K. Pachl, Sheng Yu: On the Limit Sets of Cellular Automata. SIAM J. Comput. 18(4): 831-842 (1989)
1988
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames E. Burns, Jan K. Pachl: Uniform Self-Stabilizing Rings. AWOC 1988: 391-400
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan K. Pachl: Two Livelock-Free Protocols for Slotted Rings. Comput. J. 31(5): 474-476 (1988)
1987
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan K. Pachl: Protocol Description and Analysis Based on a State Transition Model with Channel Expressions. PSTV 1987: 207-219
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViolet R. Syrotiuk, Jan K. Pachl: A Distributed Ring Orientation Algorithm (Preliminary Version). WDAG 1987: 332-336
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan K. Pachl, Liam Casey: A Robust Ring Transmission Protocol. Computer Networks 13: 313-321 (1987)
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan K. Pachl: A Lower Bound for Probabilistic Distributed Algorithms. J. Algorithms 8(1): 53-65 (1987)
1984
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan K. Pachl, Ephraim Korach, Doron Rotem: Lower Bounds for Distributed Maximum-Finding Algorithms. J. ACM 31(4): 905-918 (1984)
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan K. Pachl: Finding Pseudoperipheral Nodes in Graphs. J. Comput. Syst. Sci. 29(1): 48-53 (1984)
1982
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Jan K. Pachl: Folding and Unrolling Systolic Arrays (Preliminary Version). PODC 1982: 254-261
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan K. Pachl, Ephraim Korach, Doron Rotem: A Technique for Proving Lower Bounds for Distributed Maximum-Finding Algorithms STOC 1982: 378-382
1981
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Jan K. Pachl: Equivalence Problems for Mappings on Infinite Strings Information and Control 49(1): 52-63 (1981)

Coauthor Index

1Gopi K. Attaluri [23]
2Michael A. Bauer [19] [24] [26]
3Dexter P. Bradshaw [23]
4James E. Burns [11] [13]
5Liam Casey [7]
6Neil Coburn [19] [26]
7Charles J. Colbourn [21] [27]
8Stephen A. Cook [20] [29]
9Karel Culik II [1] [3] [12]
10Doreen L. Erickson [26]
11Patrick J. Finnigan [23] [24] [26]
12Ann Gawman [16]
13Nigel Hinds [23]
14James Won-Ki Hong (James W. Hong) [24] [26]
15Michael H. Kalantar [23]
16Ephraim Korach [2] [5]
17Per-Åke Larson (Paul Larson) [19] [26]
18Kelly A. Lyons [23]
19Andrew D. Marshall [23]
20Patrick Martin (T. Patrick Martin) [19]
21Gerald Neufeld [19]
22Irwin S. Pressman [20] [29]
23Sanjay R. Radia [22]
24Doron Rotem [2] [5]
25Jacob Slonim [16] [19] [26]
26Anne Stilman [16]
27Violet R. Syrotiuk [8] [21] [27]
28David J. Taylor [26]
29Toby J. Teorey [24] [26]
30Hong Tran [23]
31Sheng Yu [12]
32Shmuel Zaks [28]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)