Beverly A. Sanders Vis

*	2009
29	EE	Victor Lotrich, Norbert Flocke, Mark Ponton, Beverly A. Sanders, Erik Deumens, Rodney J. Bartlett, Ajith Perera: An infrastructure for scalable and portable parallel programs for computational chemistry. ICS 2009: 523-524
	2008
28	EE	Beverly A. Sanders, KyungHee Kim: Assertional reasoning about data races in relaxed memory models. PPOPP 2008: 267-268
	2007
27	EE	Berna L. Massingill, Timothy G. Mattson, Beverly A. Sanders: Reengineering for Parallelism: an entry point into PLPP for legacy applications. Concurrency and Computation: Practice and Experience 19(4): 503-529 (2007)
	2006
26	EE	YoungJoon Byun, Beverly A. Sanders: A Pattern-based Development Methodology for Communication Protocols. J. Inf. Sci. Eng. 22(2): 315-335 (2006)
	2005
25	EE	YoungJoon Byun, Beverly A. Sanders: A pattern-based development methodology for communication protocols. SAC 2005: 1524-1528
24	EE	YoungJoon Byun, Beverly A. Sanders, Chang-Sup Keum: Design of communication protocols using a message transfer pattern. Int. J. Communication Systems 18(5): 465-485 (2005)
	2002
23	EE	Michel Charpentier, Beverly A. Sanders: Workshop Introduction. IPDPS 2002
22		Dominique Méry, Beverly A. Sanders: Editorial Note. Formal Methods in System Design 20(1): 5 (2002)
	2001
21	EE	Beverly A. Sanders: The shortest path in parallel. Inf. Process. Lett. 77(2-4): 213-217 (2001)
20	EE	Berna L. Massingill, Timothy G. Mattson, Beverly A. Sanders: Parallel programming with a pattern language. STTT 3(2): 217-234 (2001)
	2000
19	EE	Berna L. Massingill, Timothy G. Mattson, Beverly A. Sanders: A Pattern Language for Parallel Application Programs (Research Note). Euro-Par 2000: 678-681
18	EE	Beverly A. Sanders, Dominique Méry: Workshop on Formal Methods for Parallel Programming (FMPPTA 2000). IPDPS Workshops 2000: 974-976
17	EE	Beverly A. Sanders: Using atomic await commands to develop concurrent programs in Java. Software - Concepts and Tools 19(4): 168-174 (2000)
16	EE	David Meier, Beverly A. Sanders: Composing leads-to properties. Theor. Comput. Sci. 243(1-2): 339-361 (2000)
	1999
15		José D. P. Rolim, Frank Mueller, Albert Y. Zomaya, Fikret Erçal, Stephan Olariu, Binoy Ravindran, Jan Gustafsson, Hiroaki Takada, Ronald A. Olsson, Laxmikant V. Kalé, Peter H. Beckman, Matthew Haines, Hossam A. ElGindy, Denis Caromel, Serge Chaumette, Geoffrey Fox, Yi Pan, Keqin Li, Tao Yang, G. Ghiola, Gianni Conte, Luigi V. Mancini, Dominique Méry, Beverly A. Sanders, Devesh Bhatt, Viktor K. Prasanna: Parallel and Distributed Processing, 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, April 12-16, 1999, Proceedings Springer 1999
	1998
14	EE	Beverly A. Sanders: Data Refinement of Mixed Specifications. Acta Inf. 35(2): 91-129 (1998)
13		Beverly A. Sanders, Berna L. Massingill, Svetlana Kryukova: Derivation of an Algorithm for Location Management for Mobile Communication Devices. Parallel Processing Letters 8(4): 473-488 (1998)
	1997
12		Rutger M. Dijkstra, Beverly A. Sanders: A Predicate Transformer for the Progress Property `To-Always'. Formal Asp. Comput. 9(3): 270-282 (1997)
	1995
11		K. Mani Chandy, Beverly A. Sanders: Predicate Transformers for Reasoning about Concurrent Computation. Sci. Comput. Program. 24(2): 129-148 (1995)
10		Spyros Lalis, Beverly A. Sanders: From Persistent Objects to Object Transmission in Distributed Systems Using Oberon. Software - Concepts and Tools 16(1): 12-19 (1995)
	1994
9	EE	Spyros Lalis, Beverly A. Sanders: Adding Concurrency to the Oberon System. Programming Languages and System Architectures 1994: 328-344
	1991
8		Beverly A. Sanders: A Predicate Transformer Approach to Knowledge and Knowledge-Based Protocols (Extended Abstract). PODC 1991: 217-230
7		Beverly A. Sanders: On the UNITY Design Decisions. Research Directions in High-Level Parallel Programming Languages 1991: 50-63
6		Beverly A. Sanders: Eliminating the Substitution Axiom from UNITY Logic. Formal Asp. Comput. 3(2): 189-205 (1991)
	1989
5	EE	Beverly A. Sanders, Philipp A. Heuberger: Distributed Deadlock Detection and Resolution with Probes. WDAG 1989: 207-218
	1988
4		Beverly A. Sanders: An Asynchronous, Distributed Flow Control Algorithm for Rate Allocation in Computer Networks. IEEE Trans. Computers 37(7): 779-787 (1988)
3		Beverly A. Sanders: An Incentive Compatible Flow Control Algorithm for Rate Allocation in Computer Networks. IEEE Trans. Computers 37(9): 1067-1072 (1988)
	1987
2	EE	Beverly A. Sanders: The Information Structure of Distributed Mutual Exclusion Algorithms. ACM Trans. Comput. Syst. 5(3): 284-299 (1987)
	1986
1		Beverly A. Sanders: An Incentive Compatible Flow Control Algorithm for Fair Rate Allocation in Computer/Communication Networks. ICDCS 1986: 314-320

Coauthor Index

1	Rodney J. Bartlett	[29]
2	Peter H. Beckman	[15]
3	Devesh Bhatt	[15]
4	YoungJoon Byun	[24] [25] [26]
5	Denis Caromel	[15]
6	K. Mani Chandy	[11]
7	Michel Charpentier	[23]
8	Serge Chaumette	[15]
9	Gianni Conte	[15]
10	Erik Deumens	[29]
11	Rutger M. Dijkstra	[12]
12	Hossam A. ElGindy	[15]
13	Fikret Erçal	[15]
14	Norbert Flocke	[29]
15	Geoffrey Fox (Geoffrey Charles Fox)	[15]
16	G. Ghiola	[15]
17	Jan Gustafsson	[15]
18	Matthew Haines	[15]
19	Philipp A. Heuberger	[5]
20	Laxmikant V. Kalé	[15]
21	Chang-Sup Keum	[24]
22	KyungHee Kim	[28]
23	Svetlana Kryukova	[13]
24	Spyros Lalis	[9] [10]
25	Keqin Li	[15]
26	Victor Lotrich	[29]
27	Luigi V. Mancini	[15]
28	Berna L. Massingill	[13] [19] [20] [27]
29	Timothy G. Mattson	[19] [20] [27]
30	David Meier	[16]
31	Dominique Méry	[15] [18] [22]
32	Frank Mueller	[15]
33	Stephan Olariu	[15]
34	Ronald A. Olsson	[15]
35	Yi Pan	[15]
36	Ajith Perera	[29]
37	Mark Ponton	[29]
38	Viktor K. Prasanna (V. K. Prasanna Kumar)	[15]
39	Binoy Ravindran	[15]
40	José D. P. Rolim	[15]
41	Hiroaki Takada	[15]
42	Tao Yang	[15]
43	Albert Y. Zomaya	[15]

Colors in the list of coauthors