---
_id: '18961'
author:
- first_name: Tamás
full_name: Lukovszki, Tamás
last_name: Lukovszki
- first_name: A.
full_name: Benczúr, A.
last_name: Benczúr
citation:
ama: Lukovszki T, Benczúr A. A Degree O(Log Log n) Fault Tolerant Distributed
Location Service for Geographic Ad-Hoc Routing. Paderborn; 2002.
apa: Lukovszki, T., & Benczúr, A. (2002). A Degree O(log log n) Fault Tolerant
Distributed Location Service for Geographic Ad-Hoc Routing. Paderborn.
bibtex: '@book{Lukovszki_Benczúr_2002, place={Paderborn}, title={A Degree O(log
log n) Fault Tolerant Distributed Location Service for Geographic Ad-Hoc Routing},
author={Lukovszki, Tamás and Benczúr, A.}, year={2002} }'
chicago: Lukovszki, Tamás, and A. Benczúr. A Degree O(Log Log n) Fault Tolerant
Distributed Location Service for Geographic Ad-Hoc Routing. Paderborn, 2002.
ieee: T. Lukovszki and A. Benczúr, A Degree O(log log n) Fault Tolerant Distributed
Location Service for Geographic Ad-Hoc Routing. Paderborn, 2002.
mla: Lukovszki, Tamás, and A. Benczúr. A Degree O(Log Log n) Fault Tolerant Distributed
Location Service for Geographic Ad-Hoc Routing. 2002.
short: T. Lukovszki, A. Benczúr, A Degree O(Log Log n) Fault Tolerant Distributed
Location Service for Geographic Ad-Hoc Routing, Paderborn, 2002.
date_created: 2020-09-03T13:16:48Z
date_updated: 2022-01-06T06:53:55Z
department:
- _id: '63'
language:
- iso: eng
place: Paderborn
status: public
title: A Degree O(log log n) Fault Tolerant Distributed Location Service for Geographic
Ad-Hoc Routing
type: report
user_id: '15415'
year: '2002'
...
---
_id: '1921'
author:
- first_name: Thu
full_name: Ngo-Quynh, Thu
last_name: Ngo-Quynh
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
- first_name: Adam
full_name: Wolisz, Adam
last_name: Wolisz
- first_name: Klaus
full_name: Rebensburg, Klaus
last_name: Rebensburg
citation:
ama: 'Ngo-Quynh T, Karl H, Wolisz A, Rebensburg K. New Scheduling Algorithm for
Providing Proportional Jitter in Differentiated Service Network . In: Proc.
IST Mobile & Wireless Telecommunications Summit 2002. ; 2002.'
apa: Ngo-Quynh, T., Karl, H., Wolisz, A., & Rebensburg, K. (2002). New Scheduling
Algorithm for Providing Proportional Jitter in Differentiated Service Network
. In Proc. IST Mobile & Wireless Telecommunications Summit 2002.
bibtex: '@inproceedings{Ngo-Quynh_Karl_Wolisz_Rebensburg_2002, title={New Scheduling
Algorithm for Providing Proportional Jitter in Differentiated Service Network
}, booktitle={Proc. IST Mobile & Wireless Telecommunications Summit 2002.},
author={Ngo-Quynh, Thu and Karl, Holger and Wolisz, Adam and Rebensburg, Klaus},
year={2002} }'
chicago: Ngo-Quynh, Thu, Holger Karl, Adam Wolisz, and Klaus Rebensburg. “New Scheduling
Algorithm for Providing Proportional Jitter in Differentiated Service Network
.” In Proc. IST Mobile & Wireless Telecommunications Summit 2002.,
2002.
ieee: T. Ngo-Quynh, H. Karl, A. Wolisz, and K. Rebensburg, “New Scheduling Algorithm
for Providing Proportional Jitter in Differentiated Service Network ,” in Proc.
IST Mobile & Wireless Telecommunications Summit 2002., 2002.
mla: Ngo-Quynh, Thu, et al. “New Scheduling Algorithm for Providing Proportional
Jitter in Differentiated Service Network .” Proc. IST Mobile & Wireless
Telecommunications Summit 2002., 2002.
short: 'T. Ngo-Quynh, H. Karl, A. Wolisz, K. Rebensburg, in: Proc. IST Mobile &
Wireless Telecommunications Summit 2002., 2002.'
date_created: 2018-03-28T11:36:45Z
date_updated: 2022-01-06T06:54:00Z
department:
- _id: '75'
publication: Proc. IST Mobile & Wireless Telecommunications Summit 2002.
status: public
title: 'New Scheduling Algorithm for Providing Proportional Jitter in Differentiated
Service Network '
type: conference
user_id: '15572'
year: '2002'
...
---
_id: '18169'
abstract:
- lang: ger
text: Die Implementierung von Algorithmen zur Lösung geometrischer Probleme im Euklidischen
Raum (z.B. Berechnung der konvexen Hülle oder des Durchschnitts zweier Polyeder)
stellt sich oftmals als hochgradig nichttrivial heraus. Ob und unter welchen Voraussetzungen
die verursachenden numerischen Instabilitäten überhaupt ini den Griff zu kriegen
oder vielmehr dem Problem inhärent sind, untersucht diese Arbeit in einem auf
Turing zurückgehenden Rechenmodell. Im Gegensatz zu algebraischen Ansätzen geht
jenes nicht von der Verfügbarkeit exakter Tests auf z.B. Gleichheit reeller Zahlen
aus, sondern berücksichtigt die auf Digitalcomputern tatsächlich realisierbare
Approximation durch rationale Zahlen. In diesem Rahmen werden beweisbar stabile
Algorithmen zum Lösen linearer Gleichungssysteme, zur Matrix-Diagonalisierung
und zur linearen wie nichtlinearen Optimierung präsentiert. Als wichtiges technisches
Hilfsmittel dient ein neuer Berechenbarkeitsbegriff für reguläre unendliche Mengen
reller Zahlen, der sich aus dem systematischen Vergleich verschiedener der Literatur
entnommener ad-hoc Ansätze ergibt.
- lang: eng
text: Quite often, the implementation of well-known algorithms for solving geometric
problems in Euclidean space (such as convex hull computation or intersecting two
polyhedra) turns out to be a highly nontrivial task. Whether and under what prerequisites
the underlying numerical numerical instabilities can be avoided or are rather
inherent to the problem is investigated by the present work in a model of computation
dating back to Alan Turing himself. Other than algebraic approaches, this does
not rely on (volatile) exact tests for, e.g., equality of real numbers but reflects
the property of actual digital computers to only approximate real numbers by rationals.
In this framework, we devise and present provably stable algorithms for solving
systems of linear equations, matrix diagonalization, and lineare as well as non-linear
optimization. As major technical tool, a new notion of computability for regular
infinite sets of real numbers is introduced that arises from formalizing and systematically
comparing several ad-hoc notions found in previous literature.
author:
- first_name: Martin
full_name: Ziegler, Martin
last_name: Ziegler
citation:
ama: Ziegler M. Zur Berechenbarkeit reeller geometrischer Probleme. Vol 115.
Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2002.
apa: Ziegler, M. (2002). Zur Berechenbarkeit reeller geometrischer Probleme
(Vol. 115). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
bibtex: '@book{Ziegler_2002, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts,
Paderborn}, title={Zur Berechenbarkeit reeller geometrischer Probleme}, volume={115},
publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Ziegler,
Martin}, year={2002}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts,
Paderborn} }'
chicago: Ziegler, Martin. Zur Berechenbarkeit reeller geometrischer Probleme.
Vol. 115. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn, 2002.
ieee: M. Ziegler, Zur Berechenbarkeit reeller geometrischer Probleme, vol.
115. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.
mla: Ziegler, Martin. Zur Berechenbarkeit reeller geometrischer Probleme.
Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.
short: M. Ziegler, Zur Berechenbarkeit reeller geometrischer Probleme, Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn, 2002.
date_created: 2020-08-24T11:36:55Z
date_updated: 2022-01-06T06:53:26Z
department:
- _id: '63'
- _id: '26'
intvolume: ' 115'
language:
- iso: ger
publication_identifier:
isbn:
- 3-935433-24-7
publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
related_material:
link:
- relation: confirmation
url: http://digital.ub.uni-paderborn.de/ubpb/urn/urn:nbn:de:hbz:466-20020101320
series_title: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
status: public
supervisor:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
title: Zur Berechenbarkeit reeller geometrischer Probleme
type: dissertation
user_id: '5786'
volume: 115
year: '2002'
...
---
_id: '18176'
author:
- first_name: Martin
full_name: Ziegler, Martin
last_name: Ziegler
citation:
ama: Ziegler M. Computability on Regular Subsets of Euclidean Space. Mathematical
Logic Quarterly (MLQ). 2002;48(S1):157-181. doi:10.1002/1521-3870(200210)48:1+<157::aid-malq157>3.0.co;2-4
apa: Ziegler, M. (2002). Computability on Regular Subsets of Euclidean Space. Mathematical
Logic Quarterly (MLQ), 48(S1), 157–181. https://doi.org/10.1002/1521-3870(200210)48:1+<157::aid-malq157>3.0.co;2-4
bibtex: '@article{Ziegler_2002, title={Computability on Regular Subsets of Euclidean
Space}, volume={48}, DOI={10.1002/1521-3870(200210)48:1+<157::aid-malq157>3.0.co;2-4},
number={S1}, journal={Mathematical Logic Quarterly (MLQ)}, author={Ziegler, Martin},
year={2002}, pages={157–181} }'
chicago: 'Ziegler, Martin. “Computability on Regular Subsets of Euclidean Space.”
Mathematical Logic Quarterly (MLQ) 48, no. S1 (2002): 157–81. https://doi.org/10.1002/1521-3870(200210)48:1+<157::aid-malq157>3.0.co;2-4.'
ieee: M. Ziegler, “Computability on Regular Subsets of Euclidean Space,” Mathematical
Logic Quarterly (MLQ), vol. 48, no. S1, pp. 157–181, 2002.
mla: Ziegler, Martin. “Computability on Regular Subsets of Euclidean Space.” Mathematical
Logic Quarterly (MLQ), vol. 48, no. S1, 2002, pp. 157–81, doi:10.1002/1521-3870(200210)48:1+<157::aid-malq157>3.0.co;2-4.
short: M. Ziegler, Mathematical Logic Quarterly (MLQ) 48 (2002) 157–181.
date_created: 2020-08-24T12:05:40Z
date_updated: 2022-01-06T06:53:26Z
department:
- _id: '63'
doi: 10.1002/1521-3870(200210)48:1+<157::aid-malq157>3.0.co;2-4
intvolume: ' 48'
issue: S1
language:
- iso: eng
page: 157-181
publication: Mathematical Logic Quarterly (MLQ)
publication_identifier:
issn:
- 0942-5616
- 1521-3870
publication_status: published
status: public
title: Computability on Regular Subsets of Euclidean Space
type: journal_article
user_id: '15415'
volume: 48
year: '2002'
...
---
_id: '18177'
abstract:
- lang: eng
text: 'Consider the classical point location problem: for a fixed arrangement of
m hyperplanes and its induced partition of d-space report, upon input of some
point, which face it lies in. With sufficient memory, this is easy to solve in
logarithmic time O(log m). But how fast can algorithms (formalized as Linear Decision
Trees) of *minimum* size be? The present work gives lower and upper bounds for
the time complexity of point location under this constraint. They show that, in
addition to m, the maximum number w of walls of a cell turns out to be a crucial
parameter. We also consider a relaxation of the strict minimum-size condition
allowing for constant factor overhead.'
author:
- first_name: Martin
full_name: Ziegler, Martin
last_name: Ziegler
- first_name: Valentina
full_name: Damerow, Valentina
last_name: Damerow
- first_name: Lukas
full_name: Finschi, Lukas
last_name: Finschi
citation:
ama: 'Ziegler M, Damerow V, Finschi L. Point Location Algorithms of Minimum Size.
In: Proceedings of the 14th Canadian Conference on Computational Geometry (CCCG’02).
; 2002.'
apa: Ziegler, M., Damerow, V., & Finschi, L. (2002). Point Location Algorithms
of Minimum Size. In Proceedings of the 14th Canadian Conference on Computational
Geometry (CCCG’02).
bibtex: '@inproceedings{Ziegler_Damerow_Finschi_2002, title={Point Location Algorithms
of Minimum Size}, booktitle={Proceedings of the 14th Canadian Conference on Computational
Geometry (CCCG’02)}, author={Ziegler, Martin and Damerow, Valentina and Finschi,
Lukas}, year={2002} }'
chicago: Ziegler, Martin, Valentina Damerow, and Lukas Finschi. “Point Location
Algorithms of Minimum Size.” In Proceedings of the 14th Canadian Conference
on Computational Geometry (CCCG’02), 2002.
ieee: M. Ziegler, V. Damerow, and L. Finschi, “Point Location Algorithms of Minimum
Size,” in Proceedings of the 14th Canadian Conference on Computational Geometry
(CCCG’02), 2002.
mla: Ziegler, Martin, et al. “Point Location Algorithms of Minimum Size.” Proceedings
of the 14th Canadian Conference on Computational Geometry (CCCG’02), 2002.
short: 'M. Ziegler, V. Damerow, L. Finschi, in: Proceedings of the 14th Canadian
Conference on Computational Geometry (CCCG’02), 2002.'
date_created: 2020-08-24T12:09:15Z
date_updated: 2022-01-06T06:53:26Z
department:
- _id: '63'
language:
- iso: eng
publication: Proceedings of the 14th Canadian Conference on Computational Geometry
(CCCG'02)
publication_status: published
status: public
title: Point Location Algorithms of Minimum Size
type: conference
user_id: '15415'
year: '2002'
...
---
_id: '18179'
abstract:
- lang: eng
text: Do the solutions of linear equations depend computably on their coefficients?
Implicitly, this has been one of the central questions in linear algebra since
the very beginning of the subject and the famous Gauß algorithm is one of its
numerical answers. Today there exists a tremendous number of algorithms which
solve this problem for different types of linear equations. However, actual implementations
in floating point arithmetic keep exhibiting numerical instabilities for ill-conditioned
inputs. This situation raises the question which of these instabilities are intrinsic,
thus caused by the very nature of the problem, and which are just side effects
of specific algorithms. To approach this principle question we revisit linear
equations from the rigorous point of view of computability. Therefore we apply
methods of computable analysis, which is the Turing machine based theory of computable
real number functions. It turns out that, given the coefficients of a system of
linear equations, we can compute the space of solutions, if and only if the dimension
of the solution space is known in advance. Especially, this explains why there
cannot exist any stable algorithms under weaker assumptions.
author:
- first_name: Vasco
full_name: Brattka, Vasco
last_name: Brattka
- first_name: Martin
full_name: Ziegler, Martin
last_name: Ziegler
citation:
ama: 'Brattka V, Ziegler M. Computability of Linear Equations. In: Proceedings
of the 2nd IFIP International Conference on Theoretical Computer Science.
Boston, MA; 2002:95-106. doi:10.1007/978-0-387-35608-2_9'
apa: Brattka, V., & Ziegler, M. (2002). Computability of Linear Equations. In
Proceedings of the 2nd IFIP International Conference on Theoretical Computer
Science (pp. 95–106). Boston, MA. https://doi.org/10.1007/978-0-387-35608-2_9
bibtex: '@inproceedings{Brattka_Ziegler_2002, place={Boston, MA}, title={Computability
of Linear Equations}, DOI={10.1007/978-0-387-35608-2_9},
booktitle={Proceedings of the 2nd IFIP International Conference on Theoretical
Computer Science}, author={Brattka, Vasco and Ziegler, Martin}, year={2002}, pages={95–106}
}'
chicago: Brattka, Vasco, and Martin Ziegler. “Computability of Linear Equations.”
In Proceedings of the 2nd IFIP International Conference on Theoretical Computer
Science, 95–106. Boston, MA, 2002. https://doi.org/10.1007/978-0-387-35608-2_9.
ieee: V. Brattka and M. Ziegler, “Computability of Linear Equations,” in Proceedings
of the 2nd IFIP International Conference on Theoretical Computer Science,
2002, pp. 95–106.
mla: Brattka, Vasco, and Martin Ziegler. “Computability of Linear Equations.” Proceedings
of the 2nd IFIP International Conference on Theoretical Computer Science,
2002, pp. 95–106, doi:10.1007/978-0-387-35608-2_9.
short: 'V. Brattka, M. Ziegler, in: Proceedings of the 2nd IFIP International Conference
on Theoretical Computer Science, Boston, MA, 2002, pp. 95–106.'
date_created: 2020-08-24T12:11:07Z
date_updated: 2022-01-06T06:53:26Z
department:
- _id: '63'
doi: 10.1007/978-0-387-35608-2_9
language:
- iso: eng
page: 95-106
place: Boston, MA
publication: Proceedings of the 2nd IFIP International Conference on Theoretical Computer
Science
publication_status: published
status: public
title: Computability of Linear Equations
type: conference
user_id: '15415'
year: '2002'
...
---
_id: '18369'
abstract:
- lang: eng
text: "Visualising is a method used to help experiencing and understanding causal
cohesions in simulation processes. For this purpose, tools for visualising are
already implemented in prevalent simulation systems. The user creates his simulation
model and generates a 3-dimensional (2,5-dimensional) visualising by means of
the simulation system. This helps examining the process which makes it easier
for the viewer to \x93understand\x94 it. Simulation tools usually only provide
the opportunity for a unidirectional visualising. In a 3-dimensional surrounding
the viewer can not implement an interaction with the simulation while the system
is running. Though an interaction during the simulation run enables the user to
gain a better understanding of causal cohesions. Solutions via HLA are sophisticated
and therefore rather suited for extensive projects.\r\nWe present a distributed
system consisting of a commercial manufacturing simulation tool, a coupling module
and a walkthrough system. The distributed system in conjunctions with the coupling
module guarantees generality and a wide field of applications of the walkthrough
system. Further it guarantees flexibility and selection of the specialized graphics
hardware for the walkthrough system. A further contribution of this paper is the
solution of the time synchronisation problem caused by simulation tool and walkthrough
system.\r\n"
author:
- first_name: Bengt
full_name: Mueck, Bengt
last_name: Mueck
- first_name: Wilhelm
full_name: Dangelmaier, Wilhelm
last_name: Dangelmaier
- first_name: Matthias
full_name: Fischer, Matthias
id: '146'
last_name: Fischer
- first_name: Wolfram
full_name: Klemisch, Wolfram
last_name: Klemisch
citation:
ama: 'Mueck B, Dangelmaier W, Fischer M, Klemisch W. Bi-directional Coupling of
Simulation Tools with a Walkthrough-System. In: Simulation Und Visualisierung.
Ghent, BE: SCS European Publishing House; 2002:71-84.'
apa: 'Mueck, B., Dangelmaier, W., Fischer, M., & Klemisch, W. (2002). Bi-directional
Coupling of Simulation Tools with a Walkthrough-System. In Simulation und Visualisierung
(pp. 71–84). Ghent, BE: SCS European Publishing House.'
bibtex: '@inproceedings{Mueck_Dangelmaier_Fischer_Klemisch_2002, place={Ghent, BE},
title={Bi-directional Coupling of Simulation Tools with a Walkthrough-System},
booktitle={Simulation und Visualisierung}, publisher={SCS European Publishing
House}, author={Mueck, Bengt and Dangelmaier, Wilhelm and Fischer, Matthias and
Klemisch, Wolfram}, year={2002}, pages={71–84} }'
chicago: 'Mueck, Bengt, Wilhelm Dangelmaier, Matthias Fischer, and Wolfram Klemisch.
“Bi-Directional Coupling of Simulation Tools with a Walkthrough-System.” In Simulation
Und Visualisierung, 71–84. Ghent, BE: SCS European Publishing House, 2002.'
ieee: B. Mueck, W. Dangelmaier, M. Fischer, and W. Klemisch, “Bi-directional Coupling
of Simulation Tools with a Walkthrough-System,” in Simulation und Visualisierung,
2002, pp. 71–84.
mla: Mueck, Bengt, et al. “Bi-Directional Coupling of Simulation Tools with a Walkthrough-System.”
Simulation Und Visualisierung, SCS European Publishing House, 2002, pp.
71–84.
short: 'B. Mueck, W. Dangelmaier, M. Fischer, W. Klemisch, in: Simulation Und Visualisierung,
SCS European Publishing House, Ghent, BE, 2002, pp. 71–84.'
date_created: 2020-08-26T13:01:43Z
date_updated: 2022-01-06T06:53:30Z
department:
- _id: '63'
language:
- iso: eng
page: 71-84
place: Ghent, BE
publication: Simulation und Visualisierung
publisher: SCS European Publishing House
status: public
title: Bi-directional Coupling of Simulation Tools with a Walkthrough-System
type: conference
user_id: '15415'
year: '2002'
...
---
_id: '18566'
abstract:
- lang: eng
text: "We analyze a randomized pursuit-evasion game on graphs. This game is played
by two players, a hunter and a rabbit. Let G be any connected, undirected graph
with n nodes. The game is played in rounds and in each round both the hunter and
the rabbit are located at a node of the graph. Between rounds both the hunter
and the rabbit can stay at the current node or move to another node. The hunter
is assumed to be restricted to the graph G: in every round, the hunter can move
using at most one edge. For the rabbit we investigate two models: in one model
the rabbit is restricted to the same graph as the hunter, and in the other model
the rabbit is unrestricted, i.e., it can jump to an arbitrary node in every round.\r\n\r\nWe
say that the rabbit is caught as soon as hunter and rabbit are located at the
same node in a round. The goal of the hunter is to catch the rabbit in as few
rounds as possible, whereas the rabbit aims to maximize the number of rounds until
it is caught. Given a randomized hunter strategy for G, the escape length for
that strategy is the worst case expected number of rounds it takes the hunter
to catch the rabbit, where the worst case is with regards to all (possibly randomized)
rabbit strategies. Our main result is a hunter strategy for general graphs with
an escape length of only O\r\n(n log (diam(G))) against restricted as well as
unrestricted rabbits. This bound is close to optimal since Ω(n) is a trivial lower
bound on the escape length in both models. Furthermore, we prove that our upper
bound is optimal up to constant factors against unrestricted rabbits."
author:
- first_name: Micah
full_name: Adler, Micah
last_name: Adler
- first_name: Harald
full_name: Räcke, Harald
last_name: Räcke
- first_name: Naveen
full_name: Sivadasan, Naveen
last_name: Sivadasan
- first_name: Christian
full_name: Sohler, Christian
last_name: Sohler
- first_name: Berthold
full_name: Vöcking, Berthold
last_name: Vöcking
citation:
ama: 'Adler M, Räcke H, Sivadasan N, Sohler C, Vöcking B. Randomized Pursuit-Evasion
in Graphs. In: Proceedings of the 29th International Colloquium on Automata,
Languages and Programming. Berlin, Heidelberg; 2002. doi:10.1007/3-540-45465-9_77'
apa: Adler, M., Räcke, H., Sivadasan, N., Sohler, C., & Vöcking, B. (2002).
Randomized Pursuit-Evasion in Graphs. In Proceedings of the 29th International
Colloquium on Automata, Languages and Programming. Berlin, Heidelberg. https://doi.org/10.1007/3-540-45465-9_77
bibtex: '@inproceedings{Adler_Räcke_Sivadasan_Sohler_Vöcking_2002, place={Berlin,
Heidelberg}, title={Randomized Pursuit-Evasion in Graphs}, DOI={10.1007/3-540-45465-9_77},
booktitle={Proceedings of the 29th International Colloquium on Automata, Languages
and Programming}, author={Adler, Micah and Räcke, Harald and Sivadasan, Naveen
and Sohler, Christian and Vöcking, Berthold}, year={2002} }'
chicago: Adler, Micah, Harald Räcke, Naveen Sivadasan, Christian Sohler, and Berthold
Vöcking. “Randomized Pursuit-Evasion in Graphs.” In Proceedings of the 29th
International Colloquium on Automata, Languages and Programming. Berlin, Heidelberg,
2002. https://doi.org/10.1007/3-540-45465-9_77.
ieee: M. Adler, H. Räcke, N. Sivadasan, C. Sohler, and B. Vöcking, “Randomized Pursuit-Evasion
in Graphs,” in Proceedings of the 29th International Colloquium on Automata,
Languages and Programming, 2002.
mla: Adler, Micah, et al. “Randomized Pursuit-Evasion in Graphs.” Proceedings
of the 29th International Colloquium on Automata, Languages and Programming,
2002, doi:10.1007/3-540-45465-9_77.
short: 'M. Adler, H. Räcke, N. Sivadasan, C. Sohler, B. Vöcking, in: Proceedings
of the 29th International Colloquium on Automata, Languages and Programming, Berlin,
Heidelberg, 2002.'
date_created: 2020-08-28T12:04:12Z
date_updated: 2022-01-06T06:53:40Z
department:
- _id: '63'
doi: 10.1007/3-540-45465-9_77
language:
- iso: eng
place: Berlin, Heidelberg
publication: Proceedings of the 29th International Colloquium on Automata, Languages
and Programming
publication_identifier:
isbn:
- '9783540438649'
- '9783540454656'
issn:
- 0302-9743
publication_status: published
status: public
title: Randomized Pursuit-Evasion in Graphs
type: conference
user_id: '15415'
year: '2002'
...
---
_id: '7785'
citation:
ama: Heckel R, Mens T, Wermelinger M, eds. Proceedings of the Workshop on Software
Evolution through Transformations, Satellite of the ICGT 2002 Conference, Barcelona
(Spain). Vol 72. Elsevier; 2002.
apa: Heckel, R., Mens, T., & Wermelinger, M. (Eds.). (2002). Proceedings
of the workshop on Software Evolution through Transformations, satellite of the
ICGT 2002 conference, Barcelona (Spain) (Vol. 72). Elsevier.
bibtex: '@book{Heckel_Mens_Wermelinger_2002, series={Electronic Notes in Theoretical
Computer Science}, title={Proceedings of the workshop on Software Evolution through
Transformations, satellite of the ICGT 2002 conference, Barcelona (Spain)}, volume={72},
number={4}, publisher={Elsevier}, year={2002}, collection={Electronic Notes in
Theoretical Computer Science} }'
chicago: Heckel, Reiko, T. Mens, and M. Wermelinger, eds. Proceedings of the
Workshop on Software Evolution through Transformations, Satellite of the ICGT
2002 Conference, Barcelona (Spain). Vol. 72. Electronic Notes in Theoretical
Computer Science. Elsevier, 2002.
ieee: R. Heckel, T. Mens, and M. Wermelinger, Eds., Proceedings of the workshop
on Software Evolution through Transformations, satellite of the ICGT 2002 conference,
Barcelona (Spain), vol. 72, no. 4. Elsevier, 2002.
mla: Heckel, Reiko, et al., editors. Proceedings of the Workshop on Software
Evolution through Transformations, Satellite of the ICGT 2002 Conference, Barcelona
(Spain). Vol. 72, no. 4, Elsevier, 2002.
short: R. Heckel, T. Mens, M. Wermelinger, eds., Proceedings of the Workshop on
Software Evolution through Transformations, Satellite of the ICGT 2002 Conference,
Barcelona (Spain), Elsevier, 2002.
date_created: 2019-02-19T19:07:45Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
editor:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: T.
full_name: Mens, T.
last_name: Mens
- first_name: M.
full_name: Wermelinger, M.
last_name: Wermelinger
intvolume: ' 72'
issue: '4'
language:
- iso: eng
publisher: Elsevier
series_title: Electronic Notes in Theoretical Computer Science
status: public
title: Proceedings of the workshop on Software Evolution through Transformations,
satellite of the ICGT 2002 conference, Barcelona (Spain)
type: conference_editor
user_id: '52534'
volume: 72
year: '2002'
...
---
_id: '7786'
citation:
ama: Clauss M, Hanenberg S, John I, Mehner K, Van Der Straeten R, eds. Proceedings
of the 4th Young Researchers Workshop, Satellite of the 4th International Symposium
on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh, PA (USA).;
2002.
apa: Clauss, M., Hanenberg, S., John, I., Mehner, K., & Van Der Straeten, R.
(Eds.). (2002). Proceedings of the 4th Young Researchers Workshop, satellite
of the 4th International Symposium on Generative and Component-Based Engineering
(GCSE ’02), Pittsburgh, PA (USA).
bibtex: '@book{Clauss_Hanenberg_John_Mehner_Van Der Straeten_2002, series={IESE-Report},
title={Proceedings of the 4th Young Researchers Workshop, satellite of the 4th
International Symposium on Generative and Component-Based Engineering (GCSE ’02),
Pittsburgh, PA (USA)}, number={053.02/E}, year={2002}, collection={IESE-Report}
}'
chicago: Clauss, M., S. Hanenberg, I. John, Katharina Mehner, and Ragnhild Van Der
Straeten, eds. Proceedings of the 4th Young Researchers Workshop, Satellite
of the 4th International Symposium on Generative and Component-Based Engineering
(GCSE ’02), Pittsburgh, PA (USA). IESE-Report, 2002.
ieee: M. Clauss, S. Hanenberg, I. John, K. Mehner, and R. Van Der Straeten, Eds.,
Proceedings of the 4th Young Researchers Workshop, satellite of the 4th International
Symposium on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh,
PA (USA), no. 053.02/E. 2002.
mla: Clauss, M., et al., editors. Proceedings of the 4th Young Researchers Workshop,
Satellite of the 4th International Symposium on Generative and Component-Based
Engineering (GCSE ’02), Pittsburgh, PA (USA). no. 053.02/E, 2002.
short: M. Clauss, S. Hanenberg, I. John, K. Mehner, R. Van Der Straeten, eds., Proceedings
of the 4th Young Researchers Workshop, Satellite of the 4th International Symposium
on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh, PA (USA),
2002.
date_created: 2019-02-19T19:08:18Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
editor:
- first_name: M.
full_name: Clauss, M.
last_name: Clauss
- first_name: S.
full_name: Hanenberg, S.
last_name: Hanenberg
- first_name: I.
full_name: John, I.
last_name: John
- first_name: Katharina
full_name: Mehner, Katharina
last_name: Mehner
- first_name: Ragnhild
full_name: Van Der Straeten, Ragnhild
last_name: Van Der Straeten
issue: 053.02/E
language:
- iso: eng
series_title: IESE-Report
status: public
title: Proceedings of the 4th Young Researchers Workshop, satellite of the 4th International
Symposium on Generative and Component-Based Engineering (GCSE '02), Pittsburgh,
PA (USA)
type: conference_editor
user_id: '52534'
year: '2002'
...
---
_id: '7895'
author:
- first_name: Luciano
full_name: Baresi, Luciano
last_name: Baresi
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Baresi L, Heckel R. Tutorial Introduction to Graph Transformation: A Software
Engineering Perspective. In: Proceedings of the 1st International Conference
on Graph Transformation (ICGT 2002), Barcelona (Spain). Vol 2505. LNCS. Berlin/Heidelberg:
Springer; 2002:402-429. doi:https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934'
apa: 'Baresi, L., & Heckel, R. (2002). Tutorial Introduction to Graph Transformation:
A Software Engineering Perspective. In Proceedings of the 1st International
Conference on Graph Transformation (ICGT 2002), Barcelona (Spain) (Vol. 2505,
pp. 402–429). Berlin/Heidelberg: Springer. https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934'
bibtex: '@inproceedings{Baresi_Heckel_2002, place={Berlin/Heidelberg}, series={LNCS},
title={Tutorial Introduction to Graph Transformation: A Software Engineering Perspective},
volume={2505}, DOI={https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934},
booktitle={Proceedings of the 1st International Conference on Graph Transformation
(ICGT 2002), Barcelona (Spain)}, publisher={Springer}, author={Baresi, Luciano
and Heckel, Reiko}, year={2002}, pages={402–429}, collection={LNCS} }'
chicago: 'Baresi, Luciano, and Reiko Heckel. “Tutorial Introduction to Graph Transformation:
A Software Engineering Perspective.” In Proceedings of the 1st International
Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), 2505:402–29.
LNCS. Berlin/Heidelberg: Springer, 2002. https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934.'
ieee: 'L. Baresi and R. Heckel, “Tutorial Introduction to Graph Transformation:
A Software Engineering Perspective,” in Proceedings of the 1st International
Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), 2002, vol.
2505, pp. 402–429.'
mla: 'Baresi, Luciano, and Reiko Heckel. “Tutorial Introduction to Graph Transformation:
A Software Engineering Perspective.” Proceedings of the 1st International Conference
on Graph Transformation (ICGT 2002), Barcelona (Spain), vol. 2505, Springer,
2002, pp. 402–29, doi:https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934.'
short: 'L. Baresi, R. Heckel, in: Proceedings of the 1st International Conference
on Graph Transformation (ICGT 2002), Barcelona (Spain), Springer, Berlin/Heidelberg,
2002, pp. 402–429.'
date_created: 2019-02-21T10:55:19Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934
intvolume: ' 2505'
language:
- iso: eng
page: 402-429
place: Berlin/Heidelberg
publication: Proceedings of the 1st International Conference on Graph Transformation
(ICGT 2002), Barcelona (Spain)
publisher: Springer
series_title: LNCS
status: public
title: 'Tutorial Introduction to Graph Transformation: A Software Engineering Perspective'
type: conference
user_id: '52534'
volume: 2505
year: '2002'
...
---
_id: '7896'
author:
- first_name: Ralph
full_name: Depke, Ralph
last_name: Depke
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Matthew
full_name: Langham, Matthew
last_name: Langham
- first_name: Björn
full_name: Lütkemeier, Björn
last_name: Lütkemeier
- first_name: Sebastian
full_name: Thöne, Sebastian
last_name: Thöne
citation:
ama: 'Depke R, Engels G, Langham M, Lütkemeier B, Thöne S. Process-Oriented, Consistent
Integration of Software Components. In: Proceedings of the Conference on Prolonging
Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England).
Washington, DC, USA: IEEE Computer Society; 2002:13-18. doi:http://dx.doi.org/10.1109/CMPSAC.2002.1044527'
apa: 'Depke, R., Engels, G., Langham, M., Lütkemeier, B., & Thöne, S. (2002).
Process-Oriented, Consistent Integration of Software Components. In Proceedings
of the conference on Prolonging Software Life: Development and Redevelopment (COMPSAC
2002), Oxford (England) (pp. 13–18). Washington, DC, USA: IEEE Computer Society.
http://dx.doi.org/10.1109/CMPSAC.2002.1044527'
bibtex: '@inproceedings{Depke_Engels_Langham_Lütkemeier_Thöne_2002, place={Washington,
DC, USA}, title={Process-Oriented, Consistent Integration of Software Components},
DOI={http://dx.doi.org/10.1109/CMPSAC.2002.1044527},
booktitle={Proceedings of the conference on Prolonging Software Life: Development
and Redevelopment (COMPSAC 2002), Oxford (England)}, publisher={IEEE Computer
Society}, author={Depke, Ralph and Engels, Gregor and Langham, Matthew and Lütkemeier,
Björn and Thöne, Sebastian}, year={2002}, pages={13–18} }'
chicago: 'Depke, Ralph, Gregor Engels, Matthew Langham, Björn Lütkemeier, and Sebastian
Thöne. “Process-Oriented, Consistent Integration of Software Components.” In Proceedings
of the Conference on Prolonging Software Life: Development and Redevelopment (COMPSAC
2002), Oxford (England), 13–18. Washington, DC, USA: IEEE Computer Society,
2002. http://dx.doi.org/10.1109/CMPSAC.2002.1044527.'
ieee: 'R. Depke, G. Engels, M. Langham, B. Lütkemeier, and S. Thöne, “Process-Oriented,
Consistent Integration of Software Components,” in Proceedings of the conference
on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford
(England), 2002, pp. 13–18.'
mla: 'Depke, Ralph, et al. “Process-Oriented, Consistent Integration of Software
Components.” Proceedings of the Conference on Prolonging Software Life: Development
and Redevelopment (COMPSAC 2002), Oxford (England), IEEE Computer Society,
2002, pp. 13–18, doi:http://dx.doi.org/10.1109/CMPSAC.2002.1044527.'
short: 'R. Depke, G. Engels, M. Langham, B. Lütkemeier, S. Thöne, in: Proceedings
of the Conference on Prolonging Software Life: Development and Redevelopment (COMPSAC
2002), Oxford (England), IEEE Computer Society, Washington, DC, USA, 2002, pp.
13–18.'
date_created: 2019-02-21T10:55:46Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1109/CMPSAC.2002.1044527
language:
- iso: eng
page: 13-18
place: Washington, DC, USA
publication: 'Proceedings of the conference on Prolonging Software Life: Development
and Redevelopment (COMPSAC 2002), Oxford (England)'
publisher: IEEE Computer Society
status: public
title: Process-Oriented, Consistent Integration of Software Components
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '7897'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Luuk
full_name: Groenewegen, Luuk
last_name: Groenewegen
citation:
ama: 'Engels G, Heckel R, Küster J, Groenewegen L. Consistency-Preserving Model
Evolution through Transformations. In: Proceedings of the 5th International
Conference on The Unified Modeling Language (UML 2002), Dresden (Germany).
Vol 2460. LNCS. Berlin/Heidelberg: Springer; 2002:212-226.'
apa: 'Engels, G., Heckel, R., Küster, J., & Groenewegen, L. (2002). Consistency-Preserving
Model Evolution through Transformations. In Proceedings of the 5th International
Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)
(Vol. 2460, pp. 212–226). Berlin/Heidelberg: Springer.'
bibtex: '@inproceedings{Engels_Heckel_Küster_Groenewegen_2002, place={Berlin/Heidelberg},
series={LNCS}, title={Consistency-Preserving Model Evolution through Transformations},
volume={2460}, booktitle={Proceedings of the 5th International Conference on The
Unified Modeling Language (UML 2002), Dresden (Germany)}, publisher={Springer},
author={Engels, Gregor and Heckel, Reiko and Küster, Jochen and Groenewegen, Luuk},
year={2002}, pages={212–226}, collection={LNCS} }'
chicago: 'Engels, Gregor, Reiko Heckel, Jochen Küster, and Luuk Groenewegen. “Consistency-Preserving
Model Evolution through Transformations.” In Proceedings of the 5th International
Conference on The Unified Modeling Language (UML 2002), Dresden (Germany),
2460:212–26. LNCS. Berlin/Heidelberg: Springer, 2002.'
ieee: G. Engels, R. Heckel, J. Küster, and L. Groenewegen, “Consistency-Preserving
Model Evolution through Transformations,” in Proceedings of the 5th International
Conference on The Unified Modeling Language (UML 2002), Dresden (Germany),
2002, vol. 2460, pp. 212–226.
mla: Engels, Gregor, et al. “Consistency-Preserving Model Evolution through Transformations.”
Proceedings of the 5th International Conference on The Unified Modeling Language
(UML 2002), Dresden (Germany), vol. 2460, Springer, 2002, pp. 212–26.
short: 'G. Engels, R. Heckel, J. Küster, L. Groenewegen, in: Proceedings of the
5th International Conference on The Unified Modeling Language (UML 2002), Dresden
(Germany), Springer, Berlin/Heidelberg, 2002, pp. 212–226.'
date_created: 2019-02-21T10:56:48Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
intvolume: ' 2460'
language:
- iso: eng
page: 212-226
place: Berlin/Heidelberg
publication: Proceedings of the 5th International Conference on The Unified Modeling
Language (UML 2002), Dresden (Germany)
publisher: Springer
series_title: LNCS
status: public
title: Consistency-Preserving Model Evolution through Transformations
type: conference
user_id: '52534'
volume: 2460
year: '2002'
...
---
_id: '7898'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Luuk
full_name: Groenewegen, Luuk
last_name: Groenewegen
citation:
ama: 'Engels G, Küster J, Groenewegen L. Consistent Interaction Of Software Components.
In: Proceedings of the Conference on Integrated Design and Process Technology
(IDPT 2002), Pasadena, CA (USA). Vol 6. IOS Press; 2002:2-22.'
apa: Engels, G., Küster, J., & Groenewegen, L. (2002). Consistent Interaction
Of Software Components. In Proceedings of the conference on Integrated Design
and Process Technology (IDPT 2002), Pasadena, CA (USA) (Vol. 6, pp. 2–22).
IOS Press.
bibtex: '@inproceedings{Engels_Küster_Groenewegen_2002, title={Consistent Interaction
Of Software Components}, volume={6}, number={4}, booktitle={Proceedings of the
conference on Integrated Design and Process Technology (IDPT 2002), Pasadena,
CA (USA)}, publisher={IOS Press}, author={Engels, Gregor and Küster, Jochen and
Groenewegen, Luuk}, year={2002}, pages={2–22} }'
chicago: Engels, Gregor, Jochen Küster, and Luuk Groenewegen. “Consistent Interaction
Of Software Components.” In Proceedings of the Conference on Integrated Design
and Process Technology (IDPT 2002), Pasadena, CA (USA), 6:2–22. IOS Press,
2002.
ieee: G. Engels, J. Küster, and L. Groenewegen, “Consistent Interaction Of Software
Components,” in Proceedings of the conference on Integrated Design and Process
Technology (IDPT 2002), Pasadena, CA (USA), 2002, vol. 6, no. 4, pp. 2–22.
mla: Engels, Gregor, et al. “Consistent Interaction Of Software Components.” Proceedings
of the Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena,
CA (USA), vol. 6, no. 4, IOS Press, 2002, pp. 2–22.
short: 'G. Engels, J. Küster, L. Groenewegen, in: Proceedings of the Conference
on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA), IOS
Press, 2002, pp. 2–22.'
date_created: 2019-02-21T10:57:29Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
intvolume: ' 6'
issue: '4'
language:
- iso: eng
page: 2-22
publication: Proceedings of the conference on Integrated Design and Process Technology
(IDPT 2002), Pasadena, CA (USA)
publisher: IOS Press
status: public
title: Consistent Interaction Of Software Components
type: conference
user_id: '52534'
volume: 6
year: '2002'
...
---
_id: '7899'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Jan
full_name: Hendrik Hausmann, Jan
last_name: Hendrik Hausmann
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Engels G, Hendrik Hausmann J, Heckel R, Sauer S. Testing the Consistency of
Dynamic UML Diagrams. In: Proceedings of the Sixth International Conference
on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA).
; 2002.'
apa: Engels, G., Hendrik Hausmann, J., Heckel, R., & Sauer, S. (2002). Testing
the Consistency of Dynamic UML Diagrams. In Proceedings of the Sixth International
Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena,
CA (USA).
bibtex: '@inproceedings{Engels_Hendrik Hausmann_Heckel_Sauer_2002, title={Testing
the Consistency of Dynamic UML Diagrams}, booktitle={Proceedings of the Sixth
International Conference on Integrated Design and Process Technology (IDPT 2002),
Pasadena, CA (USA)}, author={Engels, Gregor and Hendrik Hausmann, Jan and Heckel,
Reiko and Sauer, Stefan}, year={2002} }'
chicago: Engels, Gregor, Jan Hendrik Hausmann, Reiko Heckel, and Stefan Sauer. “Testing
the Consistency of Dynamic UML Diagrams.” In Proceedings of the Sixth International
Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena,
CA (USA), 2002.
ieee: G. Engels, J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Testing the Consistency
of Dynamic UML Diagrams,” in Proceedings of the Sixth International Conference
on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA),
2002.
mla: Engels, Gregor, et al. “Testing the Consistency of Dynamic UML Diagrams.” Proceedings
of the Sixth International Conference on Integrated Design and Process Technology
(IDPT 2002), Pasadena, CA (USA), 2002.
short: 'G. Engels, J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of
the Sixth International Conference on Integrated Design and Process Technology
(IDPT 2002), Pasadena, CA (USA), 2002.'
date_created: 2019-02-21T10:58:02Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the Sixth International Conference on Integrated Design
and Process Technology (IDPT 2002), Pasadena, CA (USA)
status: public
title: Testing the Consistency of Dynamic UML Diagrams
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '7900'
author:
- first_name: Szilvia
full_name: Gyapay, Szilvia
last_name: Gyapay
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Dániel
full_name: Varró, Dániel
last_name: Varró
citation:
ama: 'Gyapay S, Heckel R, Varró D. Graph Transformation with Time: Causality and
Logical Clocks. In: Proceedings of the First International Conference on Graph
Transformation (ICGT 2002), Barcelona (Spain). Vol 2505. LNCS. Berlin/Heidelberg:
Springer; 2002:120-134.'
apa: 'Gyapay, S., Heckel, R., & Varró, D. (2002). Graph Transformation with
Time: Causality and Logical Clocks. In Proceedings of the First International
Conference on Graph Transformation (ICGT 2002), Barcelona (Spain) (Vol. 2505,
pp. 120–134). Berlin/Heidelberg: Springer.'
bibtex: '@inproceedings{Gyapay_Heckel_Varró_2002, place={Berlin/Heidelberg}, series={LNCS},
title={Graph Transformation with Time: Causality and Logical Clocks}, volume={2505},
booktitle={Proceedings of the First International Conference on Graph Transformation
(ICGT 2002), Barcelona (Spain)}, publisher={Springer}, author={Gyapay, Szilvia
and Heckel, Reiko and Varró, Dániel}, year={2002}, pages={120–134}, collection={LNCS}
}'
chicago: 'Gyapay, Szilvia, Reiko Heckel, and Dániel Varró. “Graph Transformation
with Time: Causality and Logical Clocks.” In Proceedings of the First International
Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), 2505:120–34.
LNCS. Berlin/Heidelberg: Springer, 2002.'
ieee: 'S. Gyapay, R. Heckel, and D. Varró, “Graph Transformation with Time: Causality
and Logical Clocks,” in Proceedings of the First International Conference on
Graph Transformation (ICGT 2002), Barcelona (Spain), 2002, vol. 2505, pp.
120–134.'
mla: 'Gyapay, Szilvia, et al. “Graph Transformation with Time: Causality and Logical
Clocks.” Proceedings of the First International Conference on Graph Transformation
(ICGT 2002), Barcelona (Spain), vol. 2505, Springer, 2002, pp. 120–34.'
short: 'S. Gyapay, R. Heckel, D. Varró, in: Proceedings of the First International
Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), Springer, Berlin/Heidelberg,
2002, pp. 120–134.'
date_created: 2019-02-21T10:58:36Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
intvolume: ' 2505'
language:
- iso: eng
page: 120-134
place: Berlin/Heidelberg
publication: Proceedings of the First International Conference on Graph Transformation
(ICGT 2002), Barcelona (Spain)
publisher: Springer
series_title: LNCS
status: public
title: 'Graph Transformation with Time: Causality and Logical Clocks'
type: conference
user_id: '52534'
volume: 2505
year: '2002'
...
---
_id: '7901'
author:
- first_name: Jan
full_name: Hendrik Hausmann, Jan
last_name: Hendrik Hausmann
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Gabriele
full_name: Taentzer, Gabriele
last_name: Taentzer
citation:
ama: 'Hendrik Hausmann J, Heckel R, Taentzer G. Detecting conflicting functional
requirements in a use case driven approach: A static analysis technique based
on graph transformation. In: Proceedings of the 24th International Conference
on Software Engineering (ICSE 2002), Orlando, FL (USA). New York, NY, USA:
ACM Press; 2002:105-155. doi:http://doi.acm.org/10.1145/581339.581355'
apa: 'Hendrik Hausmann, J., Heckel, R., & Taentzer, G. (2002). Detecting conflicting
functional requirements in a use case driven approach: A static analysis technique
based on graph transformation. In Proceedings of the 24th International Conference
on Software Engineering (ICSE 2002), Orlando, FL (USA) (pp. 105–155). New
York, NY, USA: ACM Press. http://doi.acm.org/10.1145/581339.581355'
bibtex: '@inproceedings{Hendrik Hausmann_Heckel_Taentzer_2002, place={New York,
NY, USA}, title={Detecting conflicting functional requirements in a use case driven
approach: A static analysis technique based on graph transformation}, DOI={http://doi.acm.org/10.1145/581339.581355},
booktitle={Proceedings of the 24th International Conference on Software Engineering
(ICSE 2002), Orlando, FL (USA)}, publisher={ACM Press}, author={Hendrik Hausmann,
Jan and Heckel, Reiko and Taentzer, Gabriele}, year={2002}, pages={105–155} }'
chicago: 'Hendrik Hausmann, Jan, Reiko Heckel, and Gabriele Taentzer. “Detecting
Conflicting Functional Requirements in a Use Case Driven Approach: A Static Analysis
Technique Based on Graph Transformation.” In Proceedings of the 24th International
Conference on Software Engineering (ICSE 2002), Orlando, FL (USA), 105–55.
New York, NY, USA: ACM Press, 2002. http://doi.acm.org/10.1145/581339.581355.'
ieee: 'J. Hendrik Hausmann, R. Heckel, and G. Taentzer, “Detecting conflicting functional
requirements in a use case driven approach: A static analysis technique based
on graph transformation,” in Proceedings of the 24th International Conference
on Software Engineering (ICSE 2002), Orlando, FL (USA), 2002, pp. 105–155.'
mla: 'Hendrik Hausmann, Jan, et al. “Detecting Conflicting Functional Requirements
in a Use Case Driven Approach: A Static Analysis Technique Based on Graph Transformation.”
Proceedings of the 24th International Conference on Software Engineering (ICSE
2002), Orlando, FL (USA), ACM Press, 2002, pp. 105–55, doi:http://doi.acm.org/10.1145/581339.581355.'
short: 'J. Hendrik Hausmann, R. Heckel, G. Taentzer, in: Proceedings of the 24th
International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA),
ACM Press, New York, NY, USA, 2002, pp. 105–155.'
date_created: 2019-02-21T10:59:09Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: http://doi.acm.org/10.1145/581339.581355
language:
- iso: eng
page: '105-155 '
place: New York, NY, USA
publication: Proceedings of the 24th International Conference on Software Engineering
(ICSE 2002), Orlando, FL (USA)
publisher: ACM Press
status: public
title: 'Detecting conflicting functional requirements in a use case driven approach:
A static analysis technique based on graph transformation'
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '7902'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Mourad
full_name: Chouikha, Mourad
last_name: Chouikha
citation:
ama: 'Heckel R, Chouikha M. Compositional Control Synthesis for Discrete Event Systems:
An Approach based on Open Petri Nets. In: Proceedings of the Conference on
Integrated Design & Process Technology (IDPT 2002), Pasadena, CA (USA).
Grandview, TX, USA: Society of Design and Process Science; 2002:63-77.'
apa: 'Heckel, R., & Chouikha, M. (2002). Compositional Control Synthesis for
Discrete Event Systems: An Approach based on Open Petri Nets. In Proceedings
of the conference on Integrated Design & Process Technology (IDPT 2002), Pasadena,
CA (USA) (pp. 63–77). Grandview, TX, USA: Society of Design and Process Science.'
bibtex: '@inproceedings{Heckel_Chouikha_2002, place={Grandview, TX, USA}, title={Compositional
Control Synthesis for Discrete Event Systems: An Approach based on Open Petri
Nets}, booktitle={Proceedings of the conference on Integrated Design & Process
Technology (IDPT 2002), Pasadena, CA (USA)}, publisher={Society of Design and
Process Science}, author={Heckel, Reiko and Chouikha, Mourad}, year={2002}, pages={63–77}
}'
chicago: 'Heckel, Reiko, and Mourad Chouikha. “Compositional Control Synthesis for
Discrete Event Systems: An Approach Based on Open Petri Nets.” In Proceedings
of the Conference on Integrated Design & Process Technology (IDPT 2002), Pasadena,
CA (USA), 63–77. Grandview, TX, USA: Society of Design and Process Science,
2002.'
ieee: 'R. Heckel and M. Chouikha, “Compositional Control Synthesis for Discrete
Event Systems: An Approach based on Open Petri Nets,” in Proceedings of the
conference on Integrated Design & Process Technology (IDPT 2002), Pasadena,
CA (USA), 2002, pp. 63–77.'
mla: 'Heckel, Reiko, and Mourad Chouikha. “Compositional Control Synthesis for Discrete
Event Systems: An Approach Based on Open Petri Nets.” Proceedings of the Conference
on Integrated Design & Process Technology (IDPT 2002), Pasadena, CA (USA),
Society of Design and Process Science, 2002, pp. 63–77.'
short: 'R. Heckel, M. Chouikha, in: Proceedings of the Conference on Integrated
Design & Process Technology (IDPT 2002), Pasadena, CA (USA), Society of Design
and Process Science, Grandview, TX, USA, 2002, pp. 63–77.'
date_created: 2019-02-21T10:59:49Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
page: 63-77
place: Grandview, TX, USA
publication: Proceedings of the conference on Integrated Design & Process Technology
(IDPT 2002), Pasadena, CA (USA)
publisher: Society of Design and Process Science
status: public
title: 'Compositional Control Synthesis for Discrete Event Systems: An Approach based
on Open Petri Nets'
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '7903'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Jochen
full_name: Küster, Jochen
last_name: Küster
- first_name: Gabriele
full_name: Taentzer, Gabriele
last_name: Taentzer
citation:
ama: 'Heckel R, Küster J, Taentzer G. Confluence of Typed Attributed Graph Transformation
Systems. In: Proceedings of the First International Conference on Graph Transformation
(ICGT 2002), Barcelona (Spain). Berlin/Heidelberg: Springer; 2002:161-176.'
apa: 'Heckel, R., Küster, J., & Taentzer, G. (2002). Confluence of Typed Attributed
Graph Transformation Systems. In Proceedings of the First International Conference
on Graph Transformation (ICGT 2002), Barcelona (Spain) (pp. 161–176). Berlin/Heidelberg:
Springer.'
bibtex: '@inproceedings{Heckel_Küster_Taentzer_2002, place={Berlin/Heidelberg},
title={Confluence of Typed Attributed Graph Transformation Systems}, booktitle={Proceedings
of the First International Conference on Graph Transformation (ICGT 2002), Barcelona
(Spain)}, publisher={Springer}, author={Heckel, Reiko and Küster, Jochen and Taentzer,
Gabriele}, year={2002}, pages={161–176} }'
chicago: 'Heckel, Reiko, Jochen Küster, and Gabriele Taentzer. “Confluence of Typed
Attributed Graph Transformation Systems.” In Proceedings of the First International
Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), 161–76.
Berlin/Heidelberg: Springer, 2002.'
ieee: R. Heckel, J. Küster, and G. Taentzer, “Confluence of Typed Attributed Graph
Transformation Systems,” in Proceedings of the First International Conference
on Graph Transformation (ICGT 2002), Barcelona (Spain), 2002, pp. 161–176.
mla: Heckel, Reiko, et al. “Confluence of Typed Attributed Graph Transformation
Systems.” Proceedings of the First International Conference on Graph Transformation
(ICGT 2002), Barcelona (Spain), Springer, 2002, pp. 161–76.
short: 'R. Heckel, J. Küster, G. Taentzer, in: Proceedings of the First International
Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), Springer, Berlin/Heidelberg,
2002, pp. 161–176.'
date_created: 2019-02-21T11:00:30Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
page: 161-176
place: Berlin/Heidelberg
publication: Proceedings of the First International Conference on Graph Transformation
(ICGT 2002), Barcelona (Spain)
publisher: Springer
status: public
title: Confluence of Typed Attributed Graph Transformation Systems
type: conference
user_id: '52534'
year: '2002'
...
---
_id: '7904'
author:
- first_name: Katharina
full_name: Mehner, Katharina
last_name: Mehner
citation:
ama: 'Mehner K. JaVis: A UML-Based Visualization and Debugging Environment for Concurrent
Java Programs. In: Proceedings of the International Seminar on Software Visualization,
Dagstuhl (Germany). Vol 2269. LNCS. Berlin/Heidelberg: Springer; 2002:163-175.'
apa: 'Mehner, K. (2002). JaVis: A UML-Based Visualization and Debugging Environment
for Concurrent Java Programs. In Proceedings of the International Seminar on
Software Visualization, Dagstuhl (Germany) (Vol. 2269, pp. 163–175). Berlin/Heidelberg:
Springer.'
bibtex: '@inproceedings{Mehner_2002, place={Berlin/Heidelberg}, series={LNCS}, title={JaVis:
A UML-Based Visualization and Debugging Environment for Concurrent Java Programs},
volume={2269}, booktitle={Proceedings of the International Seminar on Software
Visualization, Dagstuhl (Germany)}, publisher={Springer}, author={Mehner, Katharina},
year={2002}, pages={163–175}, collection={LNCS} }'
chicago: 'Mehner, Katharina. “JaVis: A UML-Based Visualization and Debugging Environment
for Concurrent Java Programs.” In Proceedings of the International Seminar
on Software Visualization, Dagstuhl (Germany), 2269:163–75. LNCS. Berlin/Heidelberg:
Springer, 2002.'
ieee: 'K. Mehner, “JaVis: A UML-Based Visualization and Debugging Environment for
Concurrent Java Programs,” in Proceedings of the International Seminar on Software
Visualization, Dagstuhl (Germany), 2002, vol. 2269, pp. 163–175.'
mla: 'Mehner, Katharina. “JaVis: A UML-Based Visualization and Debugging Environment
for Concurrent Java Programs.” Proceedings of the International Seminar on
Software Visualization, Dagstuhl (Germany), vol. 2269, Springer, 2002, pp.
163–75.'
short: 'K. Mehner, in: Proceedings of the International Seminar on Software Visualization,
Dagstuhl (Germany), Springer, Berlin/Heidelberg, 2002, pp. 163–175.'
date_created: 2019-02-21T11:01:07Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
intvolume: ' 2269'
language:
- iso: eng
page: 163-175
place: Berlin/Heidelberg
publication: Proceedings of the International Seminar on Software Visualization, Dagstuhl
(Germany)
publisher: Springer
series_title: LNCS
status: public
title: 'JaVis: A UML-Based Visualization and Debugging Environment for Concurrent
Java Programs'
type: conference
user_id: '52534'
volume: 2269
year: '2002'
...