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
Hilfe
Suche: Author="Orgun, Mehmet A."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Locking without requesting a lock: A consistency maintenance mechanism in Internet-based real-time group editors
Liyin Xue
,
Mehmet A. Orgun
Journal Parallel Distributed Computing
65
(7), 2005, pp. 801-814
Verification of reactive systems using temporal logic with clocks
Chuchang Liu
,
Mehmet A. Orgun
Theoretical Computer Science
220
(2), 1999, pp. 377-408
Multi-dimensional logic programming: Theoretical foundations
Mehmet A. Orgun
,
Weichang Du
Theoretical Computer Science
185
(2), 1997, pp. 319-345
Dealing with multiple granularity of time in temporal logic programming
Chuchang Liu
,
Mehmet A. Orgun
Journal Symbolic Computation
22
(5-6), 1996, pp. 699-720
The Chronolog familiy of languages
Mehmet A. Orgun
,
Anthony A. Faustini
Journal Symbolic Computation
22
(5-6), 1996, pp. 722-724