Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Harel, David"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Multi-modal scenarios revisited: A net-based representation
David Harel
,
Amir Kantor
Theoretical Computer Science
429
, 2012, pp. 118-127
Synthesis from scenario-based specifications
David Harel
,
Itai Segall
Journal of Computer and System Sciences
78
(3), 2012, pp. 970-980
Standing on the shoulders of a giant: One persons experience of Turings impact
David Harel
Lecture Notes in Computer Science
7392
, 2012, pp. 16-22
Some thoughts on behavioral programming - Distinguished Carl Adam Petri Lecture
David Harel
Lecture Notes in Computer Science
6128
, 2010, pp. 18-18
GemCell: A generic platform for modeling multi-cellular biological systems
Hila Amir-Kroll
,
Avital Sadot
,
Irun R. Cohen
,
David Harel
Theoretical Computer Science
391
(3), 2008, pp. 276-290
Axis-by-axis stress minimization
Yehuda Koren
,
David Harel
Lecture Notes in Computer Science
2912
, 2004, pp. 450-459
A grand challenge for computing: Towards full reactive modeling of a multi-cellular animal
David Harel
Bull. EATCS
81
, 2003, October, pp. 226-235
Drawing directed graphs using one-dimensional optimization
Liran Carmel
,
David Harel
,
Yehuda Koren
Lecture Notes in Computer Science
2528
, 2002, pp. 193-206
Graph drawing by high-dimensional embedding
David Harel
,
Yehuda Koren
Lecture Notes in Computer Science
2528
, 2002, pp. 207-219
Synthesizing state-based object systems from LSC specifications
David Harel
,
Hillel Kugler
International Journal of Foundations of Computer Science
13
(1), 2002, pp. 5-51
On the complexity of verifying concurrent transition systems
David Harel
,
Orna Kupferman
,
Moshe Y. Vardi
Information and Computation
173
(2), 2002, pp. 143-161
Das Affenpuzzle und weitere bad news aus der Computerwelt
David Harel
Buch, 2002, pp. xvii, 207
A multi-scale algorithm for the linear arrangement problem
Yehuda Koren
,
David Harel
Lecture Notes in Computer Science
2573
, 2002, pp. 296-309
A multi-scale algorithm for drawing graphs nicely
Ronny Hadany
,
David Harel
Discrete Applied Mathematics
113
(1), 2001, pp. 3-21
A fast multi-scale method for drawing large graphs
David Harel
,
Yehuda Koren
Lecture Notes in Computer Science
1984
, 2001, pp. 183-196
On clustering using random walks
David Harel
,
Yehuda Koren
Lecture Notes in Computer Science
2245
, 2001, pp. 18-41
On the behavioral inheritance of state-based objects
David Harel
,
Orna Kupferman
Technical Report (2000-17), 2000
On the behavioral inheritance of state-based objects.
David Harel
,
Orna Kupferman
Technical Report (2000-55), 2000
A multi-scale algorithm for drawing graphs nicely
Ronny Hadany
,
David Harel
Lecture Notes in Computer Science
1665
, 1999, pp. 262-277
Towards a theory of recursive structures
David Harel
Lecture Notes in Computer Science
1450
, 1998, pp. 36-53
Computation paths logic: An expressive, yet elementary, process logic
David Harel
,
Eli Singerman
Lecture Notes in Computer Science
1256
, 1997, pp. 408-418
Towards a theory of recursive structures
David Harel
Lecture Notes in Computer Science
1234
, 1997, pp. 141-144
Complexity results for two-way and multi-pebble automata and their logics
Noa Globerman
,
David Harel
Theoretical Computer Science
169
(2), 1996, pp. 161-184
More on nonregular PDL: Finite models and Fibonacci-like programs
David Harel
,
Eli Singerman
Information and Computation
128
(2), 1996, pp. 109-118
Completeness results for recursive data bases
Tirza Hirst
,
David Harel
Journal of Computer and System Sciences
52
(3), 1996, pp. 522-536
Seiten 1
2
>