dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Don S. Batory Home Page Coauthor index pubzone.org

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

DBLP keys2012
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBryan Marker, Andy Terrel, Jack Poulson, Don S. Batory, Robert A. van de Geijn: Mechanizing the expert dense linear algebra developer. PPOPP 2012: 289-290
2011
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid: Reducing combinatorics in testing product lines. AOSD 2011: 57-68
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Peter Höfner, Jongwook Kim: Feature interactions, products, and composition. GPCE 2011: 13-22
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDanny Dig, Don S. Batory: Fourth workshop on refactoring tools: (WRT 2011). ICSE 2011: 1202-1203
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: Towards Verification of Product Lines. ITP 2011: 1
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Delaware, William R. Cook, Don S. Batory: Product lines of theorems. OOPSLA 2011: 595-608
2010
138no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Apel, Don S. Batory, Krzysztof Czarnecki, Florian Heidenreich, Christian Kästner, Oscar Nierstrasz: Proceedings of the Second International Workshop on Feature-Oriented Software Development, FOSD 2010, Eindhoven, Netherlands, October 10, 2010 ACM 2010
137no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Benavides, Don S. Batory, Paul Grünbacher: Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, January 27-29, 2010. Proceedings Universität Duisburg-Essen 2010
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChang Hwan Peter Kim, Don S. Batory, Sarfraz Khurshid: Eliminating products to test in a software product line. ASE 2010: 139-142
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: Thoughts on automated software design and synthesis. FoSER 2010: 29-32
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaider Azanza, Don S. Batory, Oscar Díaz, Salvador Trujillo: Domain-Specific Composition of Model Deltas. ICMT 2010: 16-30
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTaylor L. Riché, Harrick M. Vin, Don S. Batory: Transformation-Based Parallelization of Request-Processing Applications. MoDELS (2) 2010: 2-16
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChang Hwan Peter Kim, Eric Bodden, Don S. Batory, Sarfraz Khurshid: Reducing Configurations to Monitor in a Software Product Line. RV 2010: 285-299
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEngin Uzuncaova, Sarfraz Khurshid, Don S. Batory: Incremental Test Generation for Software Product Lines. IEEE Trans. Software Eng. 36(3): 309-322 (2010)
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGreg Freeman, Don S. Batory, R. Greg Lavender, Jacob Neal Sarvela: Lifting transformational models of product lines: a case study. Software and System Modeling 9(3): 359-373 (2010)
2009
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Delaware, William R. Cook, Don S. Batory: Fitting the pieces together: a machine-checked model of safe composition. ESEC/SIGSOFT FSE 2009: 243-252
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Delaware, William R. Cook, Don S. Batory: A machine-checked model of safe composition. FOAL 2009: 31-35
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: On the importance and challenges of FOSD. FOSD 2009: 1
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Kuhlemann, Don S. Batory, Christian Kästner: Safe composition of non-monotonic features. GPCE 2009: 177-186
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Thüm, Don S. Batory, Christian Kästner: Reasoning about edits to feature models. ICSE 2009: 254-264
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Kuhlemann, Don S. Batory, Sven Apel: Refactoring Feature Modules. ICSR 2009: 106-115
123no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: Stepwise Development of Streaming Software Architectures. JISBD 2009: 4
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Kästner, Sven Apel, Syed Saif ur Rahman, Marko Rosenmüller, Don S. Batory, Gunter Saake: On the impact of the optional feature problem: analysis and case studies. SPLC 2009: 181-190
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Kästner, Sven Apel, Salvador Trujillo, Martin Kuhlemann, Don S. Batory: Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach. TOOLS (47) 2009: 175-194
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: Dimensions of Variability in Software Product Lines. VaMoS 2009: 7
2008
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEgon Börger, Don S. Batory: Coupling Design and Verification in Software Product Lines. FoIKS 2008: 1-4
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Apel, Christian Kästner, Don S. Batory: Program refactoring using functional aspects. GPCE 2008: 161-170
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChang Hwan Peter Kim, Christian Kästner, Don S. Batory: On the modularity of feature interactions. GPCE 2008: 23-34
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: Using modern mathematics as an FOSD modeling language. GPCE 2008: 35-44
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGreg Freeman, Don S. Batory, R. Greg Lavender: Lifting Transformational Models of Product Lines: A Case Study. ICMT 2008: 16-30
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEngin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory: Testing Software Product Lines Using Incremental Test Generation. ISSRE 2008: 249-258
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Maider Azanza, João Saraiva: The Objects and Arrows of Computational Design. MoDELS 2008: 1-20
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Benavides, Antonio Ruiz Cortés, Don S. Batory, Patrick Heymans: First International Workshop on Analysis of Software Product Lines (ASPL'08). SPLC 2008: 385
111no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Egon Börger: Modularizing Theorems for Software Product Lines: The Jbook Case Study. J. UCS 14(12): 2059-2082 (2008)
2007
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: Program Refactoring, Program Synthesis, and Model-Driven Development. CC 2007: 156-171
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEngin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory: A specification-based approach to testing software product lines. ESEC/SIGSOFT FSE 2007: 525-528
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEngin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory: A specification-based approach to testing software product lines. ESEC/SIGSOFT FSE (Companion) 2007: 525-528
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSahil Thaker, Don S. Batory, David Kitchin, William R. Cook: Safe composition of product lines. GPCE 2007: 95-104
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSalvador Trujillo, Don S. Batory, Oscar Díaz: Feature Oriented Model Driven Development: A Case Study for Portlets. ICSE 2007: 44-53
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: A Modeling Language for Program Design and Synthesis. Lipari Summer School 2007: 39-58
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: From implementation to theory in product synthesis. POPL 2007: 135-136
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Kästner, Sven Apel, Don S. Batory: A Case Study Implementing Features Using AspectJ. SPLC 2007: 223-232
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Kästner, Martin Kuhlemann, Don S. Batory: Automating Feature-Oriented Refactoring of Legacy Applications. WRT 2007: 62-63
101no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Oscar Díaz, Hartmut Ehrig, Claudia Ermel, Ulrike Prange, Gabriele Taentzer: Model Transformations should be Functors. Bulletin of the EATCS 92: 75-81 (2007)
2006
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSalvador Trujillo, Don S. Batory, Oscar Díaz: Feature refactoring a multi-representation program into a product line. GPCE 2006: 191-200
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump: Roadmap for enhanced languages and methods to aid verification. GPCE 2006: 221-236
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Apel, Don S. Batory: When to use features and aspects?: a case study. GPCE 2006: 59-68
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Grechanik, Dewayne E. Perry, Don S. Batory: A Security Mechanism for Component-Based Systems. ICCBSS 2006: 53-62
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJia Liu, Don S. Batory, Christian Lengauer: Feature oriented refactoring of legacy applications. ICSE 2006: 112-121
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto E. Lopez-Herrejon, Don S. Batory: Modeling Features in Aspect-Based Product Lines with Use Case Slices: An Exploratory Case Study. MoDELS Workshops 2006: 6-16
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto E. Lopez-Herrejon, Don S. Batory, Christian Lengauer: A disciplined approach to aspect composition. PEPM 2006: 68-77
93no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: Feature Modularity in Software Product Lines. SPLC 2006: 230
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, David Benavides, Antonio Ruiz Cortés: Automated analysis of feature models: challenges ahead. Commun. ACM 49(12): 45-47 (2006)
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: Multilevel models in model-driven engineering, product lines, and metaprogramming. IBM Systems Journal 45(3): 527-540 (2006)
2005
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Grechanik, Dewayne E. Perry, Don S. Batory: Using AOP to Monitor and Administer Software for Grid Computing Environments. COMPSAC (1) 2005: 241-248
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto E. Lopez-Herrejon, Don S. Batory, William R. Cook: Evaluating Support for Features in Advanced Modularization Technologies. ECOOP 2005: 169-194
88no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJia Liu, Don S. Batory, Srinivas Nedunuri: Modeling Interactions in Feature Oriented Software Designs. FIW 2005: 178-197
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite. GTTSE 2005: 3-35
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdwin H. Jung, Chetan Kapoor, Don S. Batory: Automatic code generation for actuator interfacing from a declarative specification. IROS 2005: 2839-2844
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: Feature Models, Grammars, and Propositional Formulas. SPLC 2005: 7-20
2004
84no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Lengauer, Don S. Batory, Charles Consel, Martin Odersky: Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers Springer 2004
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: A Science of Software Design. AMAST 2004: 3-18
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJia Liu, Don S. Batory: Automatic Remodularization and Optimized Synthesis of Product-Families. GPCE 2004: 379-395
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Grechanik, Don S. Batory, Dewayne E. Perry: Design of Large-Scale Polylingual Systems. ICSE 2004: 357-366
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: Feature-Oriented Programming and the AHEAD Tool Suite. ICSE 2004: 702-703
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: Program Comprehension in Generative Programming: A History of Grand Challenges. IWPC 2004: 2-13
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Jacob Neal Sarvela, Axel Rauschmayer: Scaling Step-Wise Refinement. IEEE Trans. Software Eng. 30(6): 355-371 (2004)
2003
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: The Road to Utopia: A Future for Generative Programming. Domain-Specific Program Generation 2003: 1-18
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Jia Liu, Jacob Neal Sarvela: Refinements and multi-dimensional separation of concerns. ESEC / SIGSOFT FSE 2003: 48-57
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Jacob Neal Sarvela, Axel Rauschmayer: Scaling Step-Wise Refinement. ICSE 2003: 187-197
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPremkumar T. Devanbu, Robert Balzer, Don S. Batory, Gregor Kiczales, John Launchbury, David Lorge Parnas, Peri L. Tarr: Modularity in the New Millenium: A Panel Summary. ICSE 2003: 723-725
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: A Tutorial on Feature Oriented Programming and Product-Lines. ICSE 2003: 753-754
2002
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Charles Consel, Walid Taha: Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings Springer 2002
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Roberto E. Lopez-Herrejon, Jean-Philippe Martin: Generating Product-Lines of Product-Families. ASE 2002: 81-92
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Grechanik, Don S. Batory, Dewayne E. Perry: Integrating and Reusing GUI-Driven Applications. ICSR 2002: 1-16
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Clay Johnson, Bob MacDonald, Dale von Heeder: Achieving extensibility through product-lines and domain-specific languages: a case study. ACM Trans. Softw. Eng. Methodol. 11(2): 191-214 (2002)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYannis Smaragdakis, Don S. Batory: Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs. ACM Trans. Softw. Eng. Methodol. 11(2): 215-255 (2002)
2001
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto E. Lopez-Herrejon, Don S. Batory: A Standard Problem for Evaluating Product-Line Methodologies. GCSE 2001: 10-24
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregory Butler, Don S. Batory, Krzysztof Czarnecki, Ulrich W. Eisenecker: Generative Techniques for Product Lines. ICSE 2001: 760-761
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLance Tokuda, Don S. Batory: Evolving Object-Oriented Designs with Refactorings. Autom. Softw. Eng. 8(1): 89-120 (2001)
2000
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYannis Smaragdakis, Don S. Batory: Mixin-Based Programming in C++. GCSE 2000: 163-177
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: Product-line architectures, aspects, and reuse (tutorial session). ICSE 2000: 832
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Clay Johnson, Bob MacDonald, Dale von Heeder: Achieving Extensibility Through Product-Lines and Domain-Specific Languages: A Case Study. ICSR 2000: 117-136
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: Refinements and Product Line Architectures. SAIG 2000: 3-4
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Richard Cardone, Yannis Smaragdakis: Object-oriented frameworks and product lines. SPLC 2000: 227-248
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Gang Chen, Eric Robertson, Tao Wang: Design Wizards and Visual Programming Environments for GenVoca Generators. IEEE Trans. Software Eng. 26(5): 441-452 (2000)
1999
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLance Tokuda, Don S. Batory: Evolving Object-Oriented Designs with Refactorings. ASE 1999: 174-
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLance Tokuda, Don S. Batory: Automating Three Modes of Evolution for Object-Oriented Software Architectures. COOTS 1999: 189-202
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYannis Smaragdakis, Don S. Batory: Building Product-Lines with Mixin-Layers. ECOOP Workshops 1999: 197
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYannis Smaragdakis, Don S. Batory: Scoping Constructs for Software Generators. GCSE 1999: 65-78
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo Sant'Anna, Julio Cesar Sampaio do Prado Leite, Ira D. Baxter, David S. Wile, Ted J. Biggerstaff, Don S. Batory, Premkumar T. Devanbu, Elizabeth Burd: International Workshop on Software Transformation Systems (STS'99). ICSE 1999: 701-702
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Frank, Don S. Batory, Jean Bézivin, Brian Henderson-Sellers, Houman Younessi: High level Modelling Languages, Adaptable Process Models and Software Generation: Drivers for Quality and Productivity. TOOLS (30) 1999: 563-570
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Yannis Smaragdakis, Lou Coglianese: Architectural Styles as Adaptors. WICSA 1999: 203-224
1998
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYannis Smaragdakis, Don S. Batory: Implementing Layered Designs with Mixin Layers. ECOOP 1998: 550-570
1997
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYannis Smaragdakis, Don S. Batory: DiSTiL: A Transformation Library for Data Structures. DSL 1997
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuillermo Jiménez-Pérez, Don S. Batory: Memory Simulators and Software Generators. SSR 1997: 136-145
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLE. E. Villarreal, Don S. Batory: Rosetta: A Generator of Data Language Compilers. SSR 1997: 146-156
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Bart J. Geraci: Composition Validation and Subjectivity in GenVoca Generators. IEEE Trans. Software Eng. 23(2): 67-84 (1997)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Jeff Thomas: P2: A Lightweight DBMS Generator. J. Intell. Inf. Syst. 9(2): 107-123 (1997)
1995
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDinesh Das, Don S. Batory: Praire: A Rule Specification Framework for Query Optimizers. ICDE 1995: 201-210
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSanjiv Gossain, Don S. Batory, Hassan Gomaa, Mitchell D. Lubars, Christopher Pidgeon, Ed Seidewitz: Objects and Domain Engineering - Panel Session. OOPSLA 1995: 333-336
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBen Whittle, Don S. Batory, Reidar Conradi, J. Moore, Will Tracz, Bruce W. Weide: Panel Languages and Models for Reusable Components. SSR 1995: 19-20
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Lou Coglianese, Mark Goodwin, Steve Shafer: Creating Reference Architectures: An Example from Avionics. SSR 1995: 27-37
1994
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Jeff Thomas, Marty Sirkin: Reengineering a Complex Application Using a Scalable Data Structure Compiler. SIGSOFT FSE 1994: 111-120
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Vivek Singhal, Jeff Thomas, Sankar Dasari, Bart J. Geraci, Marty Sirkin: The GenVoca Model of Software-System Generators. IEEE Software 11(5): 89-94 (1994)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard T. Snodgrass, Ilsoo Ahn, Gad Ariav, Don S. Batory, James Clifford, Curtis E. Dyreson, Ramez Elmasri, Fabio Grandi, Christian S. Jensen, Wolfgang Käfer, Nick Kline, Krishna G. Kulkarni, T. Y. Cliff Leung, Nikos A. Lorentzos, John F. Roddick, Arie Segev, Michael D. Soo, Suryanarayana M. Sripada: TSQL2 Language Specification. SIGMOD Record 23(1): 65-86 (1994)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard T. Snodgrass, Ilsoo Ahn, Gad Ariav, Don S. Batory, James Clifford, Curtis E. Dyreson, Ramez Elmasri, Fabio Grandi, Christian S. Jensen, Wolfgang Käfer, Nick Kline, Krishna G. Kulkarni, T. Y. Cliff Leung, Nikos A. Lorentzos, John F. Roddick, Arie Segev, Michael D. Soo, Suryanarayana M. Sripada: A TSQL2 Tutorial. SIGMOD Record 23(3): 27-33 (1994)
1993
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarty Sirkin, Don S. Batory, Vivek Singhal: Software Components in a Data Structure Precompiler. ICSE 1993: 437-446
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Vivek Singhal, Marty Sirkin, Jeff Thomas: Scalable Software Libraries. SIGSOFT FSE 1993: 191-199
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Devang Vasavada: Software Components for Object-Oriented Database Systems. International Journal of Software Engineering and Knowledge Engineering 3(2): 165-192 (1993)
1992
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Sean W. O'Malley: The Design and Implementation of Hierarchical Software Systems with Reusable Components. ACM Trans. Softw. Eng. Methodol. 1(4): 355-398 (1992)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Vivek Singhal, Marty Sirkin: Implementing a Domain Model for Data Structures. International Journal of Software Engineering and Knowledge Engineering 2(3): 375-402 (1992)
1990
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael V. Mannino, Injun Choi, Don S. Batory: The Object-Oriented Functional Data Language. IEEE Trans. Software Eng. 16(11): 1258-1272 (1990)
1989
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael V. Mannino, Injun Choi, Don S. Batory: An Overview of the Object-Oriented Functional Data Language. ICDE 1989: 18-26
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: On the reusability of query optimization algorithms. Inf. Sci. 49(1-3): 177-202 (1989)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Philip A. Bernstein, Umeshwar Dayal, Laura M. Haas, Theo Härder, Won Kim, David Maier, Gerard Salton, Gio Wiederhold: ACM TODS Publication Policy. SIGMOD Record 18(1): 31 (1989)
1988
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: Concepts for a Database System Compiler. PODS 1988: 184-192
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, T. Y. Leung, T. E. Wise: Implementation Concepts for an Extensible Data Model and Data Language. ACM Trans. Database Syst. 13(3): 231-262 (1988)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, J. R. Barnett, J. F. Garza, K. P. Smith, K. Tsukuda, B. C. Twichell, T. E. Wise: GENESIS: An Extensible Database Management System. IEEE Trans. Software Eng. 14(11): 1711-1730 (1988)
1987
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStanley Y. W. Su, Jozo J. Dujmovic, Don S. Batory, Shamkant B. Navathe, Richard Elnicki: A Cost-Benefit Decision Model: Analysis, Comparison, and Selection of Data Management Systems. ACM Trans. Database Syst. 12(3): 472-520 (1987)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: Principles of Database Management System Extensibility. IEEE Data Eng. Bull. 10(2): 40-46 (1987)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark A. Roth, Henry F. Korth, Don S. Batory: SQL/NF: a query language for ¬1 NF relational databases. Inf. Syst. 12(1): 99-114 (1987)
1986
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: GENESIS: A Project to Develop an Extensible Database Management System. OODBS 1986: 207-208
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Michael V. Mannino: Panel on Extensible Database Systems. SIGMOD Conference 1986: 187-190
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: Extensible Cost Models and Query Optimization in GENESIS. IEEE Database Eng. Bull. 9(4): 30-36 (1986)
1985
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWon Kim, David S. Reiner, Don S. Batory: Query Processing in Database Systems Springer 1985
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWon Kim, Don S. Batory: A Model and Storage Technique for Versions of VLSI CAD Objects. FODO 1985: 427-439
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Won Kim: Modeling Concepts for VLSI CAD Objects (Abstract). SIGMOD Conference 1985: 446
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: Progress Toward Automating The Development of Database System Software. Query Processing in Database Systems 1985: 261-278
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Won Kim: Modeling Concepts for VLSI CAD Objects. ACM Trans. Database Syst. 10(3): 322-346 (1985)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: Modeling the Storage Architectures of Commercial Database Systems. ACM Trans. Database Syst. 10(4): 463-528 (1985)
1984
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: Conceptual-To-Internal Mappings in Commercial Database Systems. PODS 1984: 70-78
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Alejandro P. Buchmann: Molecular Objects, Abstract Data Types, and Data Models: A Framework. VLDB 1984: 172-184
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: Letter from the Editor. IEEE Database Eng. Bull. 7(1): 1 (1984)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: Physical Storage and Implementation Issues. IEEE Database Eng. Bull. 7(1): 49-52 (1984)
1983
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStanley Y. W. Su, Shamkant B. Navathe, Don S. Batory: Logical and Physical Modeling of Statistical Scientific Databases. SSDBM 1983: 251-263
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: Index Coding: A Compression Technique for Large Statistical Databases. SSDBM 1983: 306-314
1982
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: Optimal File Designs and Reorganization Points. ACM Trans. Database Syst. 7(1): 60-81 (1982)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, C. C. Gotlieb: A Unifying Model of Physical Databases. ACM Trans. Database Syst. 7(4): 509-539 (1982)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: Letter from the Editor. IEEE Database Eng. Bull. 5(1): 1 (1982)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory, Stanley Y. W. Su, Shamkant B. Navathe: Physical Database Research at the University of Florida. IEEE Database Eng. Bull. 5(1): 5-8 (1982)
1981
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: B+ Trees and Indexed Sequential Files: A Performance Comparison. SIGMOD Conference 1981: 30-39
1979
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: On Searching Transposed Files. ACM Trans. Database Syst. 4(4): 531-544 (1979)
1978
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDon S. Batory: On Searching Transposed Files (Abstract). VLDB 1978: 488

Coauthor Index

1Jean-Raymond Abrial [99]
2Ilsoo Ahn [38] [39]
3Sven Apel [98] [103] [118] [121] [122] [124] [138]
4Gad Ariav [38] [39]
5Maider Azanza [113] [134]
6Robert Balzer (Robert M. Balzer) [74]
7J. R. Barnett [26]
8Ira D. Baxter [54]
9David Benavides (David Felipe Benavides Cuevas) [92] [112] [137]
10Philip A. Bernstein [29]
11Jean Bézivin [53]
12Ted J. Biggerstaff [54]
13Eric Bodden [132]
14Egon Börger [111] [119]
15Alejandro P. Buchmann [12]
16Elizabeth Burd (Liz Burd) [54]
17Gregory Butler (Greg Butler) [66]
18Michael J. Butler [99]
19Richard Cardone [60]
20Gang Chen [59]
21Injun Choi [31] [32]
22James Clifford [38] [39]
23Lou Coglianese [42] [52]
24Alessandro Coglio [99]
25Reidar Conradi [43]
26Charles Consel [72] [84]
27William R. Cook [89] [107] [128] [129] [139]
28Antonio Ruiz Cortés [92] [112]
29Krzysztof Czarnecki [66] [138]
30Dinesh Das [45]
31Sankar Dasari [40]
32Umeshwar Dayal [29]
33Benjamin Delaware [128] [129] [139]
34Premkumar T. Devanbu [54] [74]
35Oscar Díaz [100] [101] [106] [134]
36Danny Dig [141]
37Jozo J. Dujmovic [25]
38Curtis E. Dyreson [38] [39]
39Hartmut Ehrig [101]
40Ulrich W. Eisenecker [66]
41Ramez Elmasri [38] [39]
42Richard Elnicki [25]
43Claudia Ermel [101]
44Kathi Fisler [99]
45Ulrich Frank [53]
46Greg Freeman [115] [130]
47Daniel Garcia [108] [109] [114]
48J. F. Garza [26]
49Robert A. van de Geijn [144]
50Bart J. Geraci [40] [47]
51Ulrike Golas (Ulrike Prange) [101]
52Hassan Gomaa [44]
53Mark Goodwin [42]
54Sanjiv Gossain [44]
55Calvin C. Gotlieb (C. C. Gotlieb) [6]
56Fabio Grandi [38] [39]
57Mark Grechanik [70] [81] [90] [97]
58Paul Grünbacher [137]
59Laura M. Haas [29]
60Theo Härder [29]
61Dale von Heeder [62] [69]
62Eric C. R. Hehner [99]
63Florian Heidenreich [138]
64Brian Henderson-Sellers [53]
65Patrick Heymans [112]
66Peter Höfner [142]
67Christian S. Jensen [38] [39]
68Guillermo Jiménez-Pérez [49]
69Clay Johnson [62] [69]
70Cliff B. Jones (Clifford B. Jones) [99]
71Simon L. Peyton Jones [99]
72Edwin H. Jung [86]
73Wolfgang Käfer [38] [39]
74Chetan Kapoor [86]
75Christian Kästner [102] [103] [117] [118] [121] [122] [125] [126] [138]
76Sarfraz Khurshid [108] [109] [114] [131] [132] [136] [143]
77Gregor Kiczales [74]
78Chang Hwan Peter Kim [117] [132] [136] [143]
79Jongwook Kim [142]
80Won Kim [15] [17] [18] [19] [29]
81David Kitchin [107]
82Nick Kline [38] [39]
83Henry F. Korth (Hank Korth) [23]
84Martin Kuhlemann [102] [121] [124] [126]
85Krishna G. Kulkarni [38] [39]
86John Launchbury [74]
87R. Greg Lavender [115] [130]
88Gary T. Leavens [99]
89Julio Cesar Sampaio do Prado Leite [54]
90Christian Lengauer [84] [94] [96]
91T. Y. Leung [27]
92T. Y. Cliff Leung [38] [39]
93Jia Liu [76] [82] [88] [96]
94Roberto Erick Lopez-Herrejon (Roberto E. Lopez-Herrejon) [67] [71] [89] [94] [95]
95Nikos A. Lorentzos [38] [39]
96Mitchell D. Lubars [44]
97Bob MacDonald [62] [69]
98David Maier [29]
99Michael V. Mannino [21] [31] [32]
100Bryan Marker [144]
101Jean-Philippe Martin [71]
102Dale Miller [99]
103J. Moore [43]
104Shamkant B. Navathe [4] [9] [25]
105Srinivas Nedunuri [88]
106Oscar Nierstrasz [138]
107Sean W. O'Malley [34]
108Martin Odersky [84]
109David Lorge Parnas [74]
110Dewayne E. Perry [70] [81] [90] [97]
111Christopher Pidgeon [44]
112Jack Poulson [144]
113Syed Saif ur Rahman [122]
114Axel Rauschmayer [75] [78]
115David S. Reiner [19]
116Taylor L. Riché [133]
117Eric Robertson [59]
118John F. Roddick [38] [39]
119Marko Rosenmüller [122]
120Mark A. Roth [23]
121Gunter Saake [122]
122Gerard Salton [29]
123Marcelo Sant'Anna [54]
124João Saraiva [113]
125Jacob Neal Sarvela [75] [76] [78] [130]
126Arie Segev [38] [39]
127Ed Seidewitz [44]
128Steve Shafer [42]
129Vivek Singhal [33] [36] [37] [40]
130Marty Sirkin [33] [36] [37] [40] [41]
131Murali Sitaraman [99]
132Yannis Smaragdakis [50] [51] [52] [55] [56] [60] [64] [68]
133Douglas R. Smith [99]
134K. P. Smith [26]
135Richard T. Snodgrass [38] [39]
136Michael D. Soo [38] [39]
137Suryanarayana M. Sripada [38] [39]
138Aaron Stump [99]
139Stanley Y. W. Su [4] [9] [25]
140Gabriele Taentzer [101]
141Walid Taha [72]
142Peri L. Tarr [74]
143Andy Terrel [144]
144Sahil Thaker [107]
145Jeff Thomas [36] [40] [41] [46]
146Thomas Thüm [125]
147Lance Tokuda [57] [58] [65]
148Will Tracz [43]
149Salvador Trujillo [100] [106] [121] [134]
150K. Tsukuda [26]
151B. C. Twichell [26]
152Engin Uzuncaova [108] [109] [114] [131]
153Devang Vasavada [35]
154E. E. Villarreal [48]
155Harrick M. Vin [133]
156Tao Wang [59]
157Bruce W. Weide [43]
158Ben Whittle [43]
159Gio Wiederhold [29]
160David S. Wile [54]
161T. E. Wise [26] [27]
162Houman Younessi [53]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page