David Harel Home Page 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 keys2010
187Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Hillel Kugler, Shahar Maoz, Itai Segall: Accelerating Smart Play-Out. SOFSEM 2010: 477-488
2009
186Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichal Gordon, David Harel: Generating Executable Scenarios from Natural Language. CICLing 2009: 456-467
185Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Shahar Maoz: Visual Formalisms. Encyclopedia of Database Systems 2009: 3370-3374
184Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Statecharts in the making: a personal account. Commun. ACM 52(3): 67-75 (2009)
183Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Michal Gordon-Kiwkowitz: On Teaching Visual Formalisms. IEEE Software 26(3): 87-95 (2009)
2008
182Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Atir, David Harel, Asaf Kleinbort, Shahar Maoz: Object Composition in Scenario-Based Programming. FASE 2008: 301-316
181Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Yaki Setty: Generic Reactive Animation: Realistic Modeling of Complex Natural Systems. FMSB 2008: 1-16
180Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Itai Segall, Hillel Kugler, Yaki Setty: Crafting game-models using reactive system design. Future Play 2008: 121-128
179Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Shahar Maoz, Itai Segall: Some Results on the Expressive Power and Complexity of LSCs. Pillars of Computer Science 2008: 351-366
178Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Itai Segall: Visualizing inter-dependencies between scenarios. SOFTVIS 2008: 145-153
177Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Yaki Setty, Sol Efroni, Naamah Swerdlin, Irun R. Cohen: Concurrency in Biological Modeling: Behavior, Execution and Visualization. Electr. Notes Theor. Comput. Sci. 194(3): 119-131 (2008)
176Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Can Programming Be Liberated, Period? IEEE Computer 41(1): 28-37 (2008)
175Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAvital Sadot, Jasmin Fisher, Dan Barak, Yishai Admanit, Michael J. Stern, E. Jane Albert Hubbard, David Harel: Toward Verified Biological Models. IEEE/ACM Trans. Comput. Biology Bioinform. 5(2): 223-234 (2008)
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Combes, David Harel, Hillel Kugler: Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool. Software and System Modeling 7(2): 157-175 (2008)
173Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Shahar Maoz: Assert and negate revisited: Modal semantics for UML sequence diagrams. Software and System Modeling 7(2): 237-252 (2008)
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHila Amir-Kroll, Avital Sadot, Irun R. Cohen, David Harel: GemCell: A generic platform for modeling multi-cellular biological systems. Theor. Comput. Sci. 391(3): 276-290 (2008)
2007
171no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
170Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Asaf Kleinbort, Shahar Maoz: S2A: A Compiler for Multi-modal UML Sequence Diagrams. FASE 2007: 121-124
169Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Statecharts in the making: a personal account. HOPL 2007: 1-43
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoram Atir, David Harel: Using LSCs for scenario authoring in tactical simulators. SCSC 2007: 437-442
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Itai Segall: Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs, . TACAS 2007: 485-499
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShahar Maoz, Asaf Kleinbort, David Harel: Towards Trace Visualization and Exploration for Reactive Systems. VL/HCC 2007: 153-156
2006
165no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings Springer 2006
164Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs. CAV 2006: 3-4
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
162Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Summary -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
161Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Shahar Maoz: Assert and negate revisited: modal semantics for UML sequence diagrams. SCESM 2006: 13-20
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShahar Maoz, David Harel: From multi-modal scenarios to code: compiling LSCs into aspectJ. SIGSOFT FSE 2006: 219-230
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Comprehensive and realistic modeling of biological systems. Winter Simulation Conference 2006: 1625-1627
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHerbert M. Sauro, David Harel, Marta Z. Kwiatkowska, Clifford A. Shaffer, Adelinde M. Uhrmacher, Michael Hucka, Pedro Mendes, Lena Strömbäck, John J. Tyson: Challenges for modeling and simulation methods in systems biology. Winter Simulation Conference 2006: 1720-1730
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan Barak, David Harel, Rami Marelly: InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming. IEEE Trans. Software Eng. 32(7): 467-485 (2006)
2005
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Combes, David Harel, Hillel Kugler: Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool. ATVA 2005: 414-428
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Hillel Kugler, Amir Pnueli: Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements. Formal Methods in Software and Systems Modeling 2005: 309-324
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps: Temporal Logic for Scenario-Based Specifications. TACAS 2005: 445-460
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehuda Koren, David Harel: One-dimensional layout optimization, with applications to graph drawing by axis separation. Comput. Geom. 32(2): 115-138 (2005)
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSol Efroni, David Harel, Irun R. Cohen: Reactive Animation: Realistic Modeling of Complex Dynamic Systems. IEEE Computer 38(1): 38-47 (2005)
2004
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJasmin Fisher, David Harel, E. Jane Albert Hubbard, Nir Piterman, Michael J. Stern, Naamah Swerdlin: Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems. CMSB 2004: 236-241
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Hillel Kugler, Amir Pnueli: Smart Play-Out Extended: Time and Forbidden Elements. QSIC 2004: 2-10
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Hillel Kugler: The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version. SoftSpez Final Report 2004: 325-354
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal. VMCAI 2004: 323-324
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Bernhard Rumpe: Meaningful Modeling: What's the Semantics of "Semantics"?. IEEE Computer 37(10): 64-72 (2004)
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiran Carmel, David Harel, Yehuda Koren: Combining Hierarchy and Energy Drawing Directed Graphs. IEEE Trans. Vis. Comput. Graph. 10(1): 46-57 (2004)
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Yehuda Koren: Graph Drawing by High-Dimensional Embedding. J. Graph Algorithms Appl. 8(2): 195-214 (2004)
2003
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNa'aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern: Formal Modeling of C. elegans Development: A Scenario-Based Approach. CMSB 2003: 4-20
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: On the Visualization and Aesthetics of Large Graphs: Short Abstract. Ershov Memorial Conference 2003: 120
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehuda Koren, David Harel: Axis-by-Axis Stress Minimization. Graph Drawing 2003: 450-459
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal. HSCC 2003: 2
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehuda Koren, David Harel: A two-way visualization method for clustered data. KDD 2003: 589-594
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan Barak, David Harel, Rami Marelly: InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming. Lectures on Concurrency and Petri Nets 2003: 66-86
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Hillel Kugler, Rami Marelly, Amir Pnueli: Smart play-out. OOPSLA Companion 2003: 68-69
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Hillel Kugler, Gera Weiss: Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach. Scenarios: Models, Transformations and Tools 2003: 26-42
136no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: A Grand Challenge for Computing: Towards Full Reactive Modeling of A Multi-Cellular Animal. Bulletin of the EATCS 81: 226-235 (2003)
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Liran Carmel, Doron Lancet: Towards an odor communication system. Computational Biology and Chemistry 27(2): 121-133 (2003)
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, David Harel: Response to "Comments on 'On Object Systems and Behavior Inheritance'". IEEE Trans. Software Eng. 29(6): 576 (2003)
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Rami Marelly: Specifying and executing behavioral requirements: the play-in/play-out approach. Software and System Modeling 2(2): 82-107 (2003)
2002
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?). EMSOFT 2002: 30-31
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Hillel Kugler, Rami Marelly, Amir Pnueli: Smart Play-out of Behavioral Requirements. FMCAD 2002: 378-398
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Sol Efroni, Irun R. Cohen: Reactive Animation. FMCO 2002: 136-153
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiran Carmel, David Harel, Yehuda Koren: Drawing Directed Graphs Using One-Dimensional Optimization. Graph Drawing 2002: 193-206
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Yehuda Koren: Graph Drawing by High-Dimensional Embedding. Graph Drawing 2002: 207-219
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?). ICGT 2002: 6-7
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEran Gery, David Harel, Eldad Palachi: Rhapsody: A Complete Life-Cycle Model-Based Development System. IFM 2002: 1-10
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehuda Koren, Liran Carmel, David Harel: ACE: A Fast Multiscale Eigenvectors Computation for Drawing Huge Graphs. INFOVIS 2002: 137-144
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Rami Marelly: Playing with Time: On the Specification and Execution of Time-Enriched LSCs. MASCOTS 2002: 193-202
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRami Marelly, David Harel, Hillel Kugler: Multiple instances and symbolic variables in executable sequence charts. OOPSLA 2002: 83-100
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehuda Koren, David Harel: A Multi-scale Algorithm for the Linear Arrangement Problem. WG 2002: 296-309
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Orna Kupferman: On Object Systems and Behavioral Inheritance. IEEE Trans. Software Eng. 28(9): 889-903 (2002)
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Orna Kupferman, Moshe Y. Vardi: On the Complexity of Verifying Concurrent Transition Systems. Inf. Comput. 173(2): 143-161 (2002)
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Hillel Kugler: Synthesizing State-Based Object Systems from LSC Specifications. Int. J. Found. Comput. Sci. 13(1): 5-51 (2002)
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Yehuda Koren: A Fast Multi-Scale Method for Drawing Large Graphs. J. Graph Algorithms Appl. 6(3): 179-202 (2002)
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Gregory Yashchin: An algorithm for blob hierarchy layout. The Visual Computer 18(3): 164-185 (2002)
2001
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Yehuda Koren: On Clustering Using Random Walks. FSTTCS 2001: 18-41
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNa'aman Kam, Irun R. Cohen, David Harel: The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts. HCC 2001: 15-22
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Yehuda Koren: Clustering spatial data using random walks. KDD 2001: 281-286
113no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: On the Behavior of Complex Object-Oriented Systems. OMER 2001: 11-15
112no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonny Hadany, David Harel: A multi-scale algorithm for drawing graphs nicely. Discrete Applied Mathematics 113(1): 3-21 (2001)
111no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner Damm, David Harel: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design 19(1): 45-80 (2001)
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: From Play-In Scenarios to Code: An Achievable Dream. IEEE Computer 34(1): 53-60 (2001)
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Dexter Kozen, Jerzy Tiuryn: Dynamic logic. SIGACT News 32(1): 66-69 (2001)
2000
108no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Yehuda Koren: A Fast Multi-Scale Method for Drawing Large Graphs. Advanced Visual Interfaces 2000: 282-285
107no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Gregory Yashchin: An Algorithm for Blob Hierarchy Layout. Advanced Visual Interfaces 2000: 29-40
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Hillel Kugler: Synthesizing State-Based Object Systems from LSC Specifications. CIAA 2000: 1-33
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: From Play-In Scenarios To Code: An Achievable Dream. Description Logics 2000: 9
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: From Play-In Scenarios to Code: An Achievable Dream. FASE 2000: 22-34
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Yehuda Koren: A Fast Multi-scale Method for Drawing Large Graphs. Graph Drawing 2000: 183-196
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Orna Kupferman: On the Behavioral Inheritance of State-Based Objects. TOOLS (34) 2000: 83-94
1999
101no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner Damm, David Harel: LSCs: Breathing Life into Message Sequence Charts. FMOODS 1999
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonny Hadany, David Harel: A Multi-Scale Algorithm for Drawing Graphs Nicely. WG 1999: 262-277
99no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Eli Singerman: Computation Paths Logic: An Expressive, yet Elementary, Process Logic. Ann. Pure Appl. Logic 96(1-3): 167-186 (1999)
1998
98no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Towards a Theory of Recursive Structures. MCU (1) 1998: 93-114
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Towards a Theory of Recursive Structures. MFCS 1998: 36-53
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: On the Aesthetics of Diagrams (Summary of Talk). MPC 1998: 1-5
95no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Meir Sardas: An Algorithm for Straight-Line Drawing of Planar Graphs. Algorithmica 20(2): 119-135 (1998)
94no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJudith Gal-Ezer, David Harel: What (Else) Should CS Educators Know? Commun. ACM 41(9): 77-84 (1998)
1997
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Some Thoughts on Statecharts, 13 Years Later. CAV 1997: 226-231
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Orna Kupferman, Moshe Y. Vardi: On the Complexity of Verifying Concurrent Transition Systems. CONCUR 1997: 258-272
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Eli Singerman: Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version). ICALP 1997: 408-418
90no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Towards a Theory of Recursive Structures (extended abstract). LFCS 1997: 141-144
89no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: On the Aesthetics of Diagrams. NGITS 1997: 0-
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering. RE 1997: 184-
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Coplien, Joseph Gil, David Harel, Bertrand Meyer: Keynotes. TOOLS (23) 1997: 2
86no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: On the Aesthetics of Diagrams. VL 1997: 128-130
85no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Eran Gery: Executable Object Modeling with Statecharts. IEEE Computer 30(7): 31-42 (1997)
1996
84no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Some Thoughts on Statecharts, 13 Years Later (Abstract). ASIAN 1996: 361
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruce Powel Douglass, David Harel, Mark B. Trakhtenbrot: Statecharts in Use: Structured Analysis and Object-Orientation. European Educational Forum: School on Embedded Systems 1996: 368-394
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Eran Gery: Executable Object Modeling with Statecharts. ICSE 1996: 246-257
81no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTirza Hirst, David Harel: More About Recursive Structures: Descriptive Complexity and Zero-One Laws. LICS 1996: 334-347
80no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Statecharts: Past, Present and Future (abstract). SOFSEM 1996: 285
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRon Davidson, David Harel: Drawing Graphs Nicely Using Simulated Annealing. ACM Trans. Graph. 15(4): 301-331 (1996)
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Amnon Naamad: The STATEMATE Semantics of Statecharts. ACM Trans. Softw. Eng. Methodol. 5(4): 293-333 (1996)
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Eli Singerman: More on Nonregular PDL: Finite Models and Fibonacci-Like Programs. Inf. Comput. 128(2): 109-118 (1996)
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTirza Hirst, David Harel: Completeness Results for Recursive Data Bases. J. Comput. Syst. Sci. 52(3): 522-536 (1996)
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTirza Hirst, David Harel: Taking It to the Limit: On Infinite Variants of NP-Complete Problems. J. Comput. Syst. Sci. 53(2): 180-193 (1996)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNoa Globerman, David Harel: Complexity Results for Two-Way and Multi-Pebble Automata and their Logics. Theor. Comput. Sci. 169(2): 161-184 (1996)
1995
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Will I be Preety, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering. CONCUR 1995: 264-268
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Eli Singerman: More on Nonregular PDL: Expressive Power, Finite Models, Fibonacci Programs. ISTCS 1995: 140-149
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Towards a theory of Recursive Structures. Computer Science Today 1995: 374-391
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJudith Gal-Ezer, Catriel Beeri, David Harel, Amiram Yehudai: A High School Program in Computer Science. IEEE Computer 28(10): 73-80 (1995)
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Meir Sardas: Randomized Graph Drawing with Heavy-Duty Preprocessing. J. Vis. Lang. Comput. 6(3): 233-253 (1995)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Will I be pretty, will I be rich?: some thoughts on theory vs. practice in systems engineering. SIGACT News 26(2): 21-25 (1995)
1994
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Meir Sardas: Randomized Graph Drawing with Heavy-Duty Preprocessing. Advanced Visual Interfaces 1994: 19-33
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNoa Globerman, David Harel: Complexity Results for Multi-Pebble Automata and their Logics. ICALP 1994: 73-82
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Will I be Pretty, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (Summary). PODS 1994: 1-3
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Towards a Theory of Recursive Structures. STACS 1994: 633-645
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Danny Raz: Deciding Emptiness for Stack Automata on Infinite Trees Inf. Comput. 113(2): 278-299 (1994)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoron Drusinsky, David Harel: On the Power of Bounded Concurrency I: Finite Automata. J. ACM 41(3): 517-539 (1994)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTirza Hirst, David Harel: On the Power of Bounded Concurrency II: Pushdown Automata. J. ACM 41(3): 540-554 (1994)
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYael Etzion-Petruschka, David Harel, Dale Myers: On the Solvability of Domino Snake Problems. Theor. Comput. Sci. 131(2): 243-269 (1994)
1993
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Computers are not Omnipotent (Abstract). ESEC 1993: 10
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTirza Hirst, David Harel: Completeness Results for Recursive Data Bases. PODS 1993: 244-252
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTirza Hirst, David Harel: Taking it to the Limit: On Infinite Variants of NP-Complete Problems. Structure in Complexity Theory Conference 1993: 292-304
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Danny Raz: Deciding Properties of Nonregular Programs. SIAM J. Comput. 22(4): 857-874 (1993)
1992
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Chaim-Arie Kahana: On Statecharts with Overlapping. ACM Trans. Softw. Eng. Methodol. 1(4): 399-421 (1992)
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Biting the Silver Bullet - Toward a Brighter Future for System Development. IEEE Computer 25(1): 8-20 (1992)
1991
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Hamiltonian Paths in Infinite Graphs STOC 1991: 220-229
1990
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTirza Hirst, David Harel: On the Power of Bounded Concurrency II: The Pushdown Automata Level. CAAP 1990: 1-17
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Danny Raz: Deciding Properties of Nonregular Programs (Preliminary Version) FOCS 1990: 652-661
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: How Hard Is It to Reason about Propositional Programs? ICLP 1990: 772-773
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Roni Rosner, Moshe Y. Vardi: On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report) LICS 1990: 478-488
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot: STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Trans. Software Eng. 16(4): 403-414 (1990)
1989
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: A Thesis for Bounded Concurrency. MFCS 1989: 35-48
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoron Drusinsky, David Harel: Using statecharts for hardware description and synthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 8(7): 798-807 (1989)
1988
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoron Drusinsky, David Harel: On the Power of Cooperative Concurrency. Concurrency 1988: 74-103
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring: STATEMATE; A Working Environment for the Development of Complex Reactive Systems. ICSE 1988: 396-406
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: On Visual Formalisms. Commun. ACM 31(5): 514-530 (1988)
1987
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Amir Pnueli, Jeanette P. Schmidt, Rivi Sherman: On the Formal Semantics of Statecharts (Extended Abstract) LICS 1987: 54-64
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Statecharts: A Visual Formulation for Complex Systems. Sci. Comput. Program. 8(3): 231-274 (1987)
1986
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness. J. ACM 33(1): 224-248 (1986)
1985
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, David Peleg: More on Looping vs. Repeating in Dynamic Logic. Inf. Process. Lett. 20(2): 87-90 (1985)
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Rivi Sherman: Propositional Dynamic Logic of Flowcharts Information and Control 64(1-3): 119-135 (1985)
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshok K. Chandra, David Harel: Horn Clauses Queries and Generalizations. J. Log. Program. 2(1): 1-15 (1985)
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, David Peleg: Process Logic with Regular Formulas. Theor. Comput. Sci. 38: 307-322 (1985)
1984
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: A General Result on Infinite Trees and Its Applications (Preliminary Report) STOC 1984: 418-427
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, David Peleg: On Static Logics, Dynamic Logics, and Complexity Classes Information and Control 60(1-3): 86-102 (1984)
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Dexter Kozen: A Programming Language for the Inductive Sets, and Applications Information and Control 63(1/2): 118-139 (1984)
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYishai A. Feldman, David Harel: A Probabilistic Dynamic Logic. J. Comput. Syst. Sci. 28(2): 193-215 (1984)
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Mike Paterson: Undecidability of PDL with L={a^(2i)|i>=0}. J. Comput. Syst. Sci. 29(3): 359-365 (1984)
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRivi Sherman, Amir Pnueli, David Harel: Is the Interesting Part of Process Logic Uninteresting? A Translation from PL to PDL. SIAM J. Comput. 13(4): 825-839 (1984)
1983
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Recurring Dominoes: Making the Highly Undecidable Highly Understandable (Preliminary Report). FCT 1983: 177-194
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Rivi Sherman: Propositional Dynamic Logic of Flowcharts. FCT 1983: 195-206
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Amir Pnueli, Jonathan Stavi: Propositional Dynamic Logic of Nonregular Programs. J. Comput. Syst. Sci. 26(2): 222-243 (1983)
1982
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Dexter Kozen: A Programming Language for the Inductive Sets, and Applications. ICALP 1982: 313-329
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshok K. Chandra, David Harel: Horn Clauses and the Fixpoint Query Hierarchy. PODS 1982: 158-163
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRivi Sherman, Amir Pnueli, David Harel: Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL. POPL 1982: 347-360
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYishai A. Feldman, David Harel: A Probabilistic Dynamic Logic STOC 1982: 181-195
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Rivi Sherman: Looping vs. Repeating in Dynamic Logic Information and Control 55(1-3): 175-192 (1982)
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshok K. Chandra, David Harel: Structure and Complexity of Relational Queries. J. Comput. Syst. Sci. 25(1): 99-128 (1982)
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Dexter Kozen, Rohit Parikh: Process Logic: Expressiveness, Decidability, Completeness. J. Comput. Syst. Sci. 25(2): 144-170 (1982)
1981
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Amir Pnueli, Jonathan Stavi: Propositional Dynamic Logic of Context-Free Programs FOCS 1981: 310-321
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Amir Pnueli, Jonathan Stavi: Further Results on Propositional Dynamic Logic of Nonregular Programs. Logic of Programs 1981: 124-136
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: On the Total Correctness of Nondeterministic Programs. Theor. Comput. Sci. 13: 175-192 (1981)
1980
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Dexter Kozen, Rohit Parikh: Process Logic: Expressiveness, Decidability, Completeness FOCS 1980: 129-142
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshok K. Chandra, David Harel: Structure and Complexity of Relational Queries FOCS 1980: 333-347
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: on And/Or Schemes. MFCS 1980: 246-260
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshok K. Chandra, David Harel: Structure and Complexity of Relational Queries. XP1 Workshop on Database Theory 1980
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: And/Or Programs: A New Approach to Structured Programming. ACM Trans. Program. Lang. Syst. 2(1): 1-17 (1980)
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: On Folk Theorems. Commun. ACM 23(7): 379-389 (1980)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshok K. Chandra, David Harel: Computable Queries for Relational Data Bases. J. Comput. Syst. Sci. 21(2): 156-178 (1980)
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Proving the Correctness of Regular Deterministic Programs: A Unifying Survey Using Dynamic Logic. Theor. Comput. Sci. 12: 61-81 (1980)
1979
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: First-Order Dynamic Logic Springer 1979
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Recursion in Logics of Programs. POPL 1979: 81-92
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshok K. Chandra, David Harel: Computable Queries for Relational Data Bases (Preliminary Report) STOC 1979: 309-318
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Two Results on Process Logic. Inf. Process. Lett. 8(4): 195-198 (1979)
1978
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel: Arithmetical Completeness in Logics of Programs. ICALP 1978: 268-288
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Vaughan R. Pratt: Nondeterminism in Logics of Programs. POPL 1978: 203-213
1977
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Amir Pnueli, Jonathan Stavi: A Complete Axiomatic System for Proving Deductions about Recursive Programs STOC 1977: 249-260
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Harel, Albert R. Meyer, Vaughan R. Pratt: Computability and Completeness in Logics of Programs (Preliminary Report) STOC 1977: 261-268

Coauthor Index

1Yishai Admanit [175]
2Hila Amir-Kroll [172]
3Yoram Atir [168] [182]
4Dan Barak [139] [157] [175]
5Catriel Beeri [70]
6Yves Bontemps [154]
7Ed Brinksma [162] [163] [171]
8Liran Carmel [125] [129] [135] [146]
9Ashok K. Chandra [6] [10] [13] [15] [21] [25] [37]
10Irun R. Cohen [115] [130] [152] [172] [177]
11Pierre Combes [156] [174]
12James Coplien [87]
13Werner Damm [101] [111]
14Ron Davidson [79]
15Bruce Powel Douglass [83]
16Doron Drusinsky [45] [46] [62]
17Sol Efroni [130] [152] [177]
18Yael Etzion-Petruschka [60]
19Yishai A. Feldman [23] [32]
20Jasmin Fisher [151] [175]
21Judith Gal-Ezer [70] [94]
22Eran Gery [82] [85] [126]
23Joseph Gil (Yossi Gil) [87]
24Noa Globerman [66] [74]
25Michal Gordon (Michal Gordon-Kiwkowitz) [183] [186]
26Ronny Hadany [100] [112]
27Tirza Hirst [52] [57] [58] [61] [75] [76] [81]
28E. Jane Albert Hubbard [144] [151] [175]
29Michael Hucka [158]
30Chaim-Arie Kahana [55]
31Na'aman Kam [115] [144]
32Asaf Kleinbort [166] [170] [182]
33Yehuda Koren [103] [108] [114] [116] [118] [122] [125] [128] [129] [140] [142] [145] [146] [153]
34Dexter Kozen [16] [20] [26] [33] [109]
35Hillel Kugler [106] [119] [123] [131] [137] [138] [144] [149] [150] [154] [155] [156] [174] [180] [187]
36Orna Kupferman [92] [102] [120] [121] [134]
37Marta Z. Kwiatkowska [158]
38Hagi Lachover [44] [48]
39Doron Lancet [135]
40Yuan Lu [154]
41Angelika Mader [162] [163] [171]
42Shahar Maoz [160] [161] [166] [170] [173] [179] [182] [185] [187]
43Rami Marelly [123] [124] [131] [133] [138] [139] [144] [157]
44Pedro Mendes [158]
45Albert R. Meyer [1]
46Bertrand Meyer [87]
47Dale Myers [60]
48Amnon Naamad [44] [48] [78]
49Oscar Nierstrasz [165]
50Eldad Palachi [126]
51Rohit Parikh [16] [20]
52Mike Paterson [31]
53David Peleg [34] [36] [39]
54Nir Piterman [151]
55Amir Pnueli [2] [18] [19] [24] [27] [30] [42] [44] [48] [131] [138] [144] [150] [154] [155]
56Michal Politi [44] [48]
57Vaughan R. Pratt [1] [3]
58Danny Raz [51] [56] [63]
59Gianna Reggio [165]
60Roni Rosner [49]
61Bernhard Rumpe [147]
62Avital Sadot [172] [175]
63Meir Sardas [67] [69] [95]
64Herbert M. Sauro [158]
65Jeanette P. Schmidt [42]
66Itai Segall [167] [178] [179] [180] [187]
67Yaki Setty [177] [180] [181]
68Clifford A. Shaffer [158]
69Rivi Sherman [22] [24] [28] [30] [38] [42] [44] [48]
70Aharon Shtull-Trauring [44] [48]
71Eli Singerman [72] [77] [91] [99]
72Jonathan Stavi [2] [18] [19] [27]
73Michael J. Stern [144] [151] [175]
74Perdita Stevens [162] [163] [171]
75Lena Strömbäck [158]
76Naamah Swerdlin [151] [177]
77Jerzy Tiuryn [109]
78Mark B. Trakhtenbrot [48] [83]
79John J. Tyson [158]
80Adelinde M. Uhrmacher (Adelinde Uhrmacher) [158]
81Moshe Y. Vardi [49] [92] [120]
82Gera Weiss [137]
83Jon Whittle (Jonathan Whittle) [165]
84Roel Wieringa [162] [163] [171]
85Gregory Yashchin [107] [117]
86Amiram Yehudai [70]

Colors in the list of coauthors

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