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="Xie, Gaoyan"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Real-counter automata and their decision problems
Zhe Dang
,
Oscar H. Ibarra
,
Pierluigi San Pietro
,
Gaoyan Xie
Lecture Notes in Computer Science
3328
, 2004, pp. 198-210
Linear reachability problems and minimal solutions to linear Diophantine equation systems
Gaoyan Xie
,
Cheng Li
,
Zhe Dang
Theoretical Computer Science
328
(1-2), 2004, pp. 203-219
A solvable class of quadratic diophantine equations with applications to verification of infinite-state systems
Gaoyan Xie
,
Zhe Dang
,
Oscar H. Ibarra
Lecture Notes in Computer Science
2719
, 2003, pp. 668-680