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="Song, Xiaoyu"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL
Yongjian Li
,
William N.N. Hung
,
Xiaoyu Song
Theoretical Computer Science
412
(25), 2011, pp. 2746-2765
Realization and synthesis of reversible functions
Guowu Yang
,
Fei Xie
,
William N.N. Hung
,
Xiaoyu Song
,
Marek A. Perkowski
Theoretical Computer Science
412
(17), 2011, pp. 1606-1613
Algebraic characterization of reversible logic gates
Xiaoyu Song
,
Guowu Yang
,
Marek Perkowski
,
Yuke Wang
Theory of Computing Systems
39
(2), 2006, pp. 311-319
Majority-based reversible logic gates
Guowu Yang
,
William N.N. Hung
,
Xiaoyu Song
,
Marek Perkowski
Theoretical Computer Science
334
(1-3), 2005, pp. 259-274
A theoretical upper bound for IP-based floorplanning
Guowu Yang
,
Xiaoyu Song
,
Hannah H. Yang
,
Fei Xie
Lecture Notes in Computer Science
3595
, 2005, pp. 411-419
On the non-termination of
M_{DG}
-based abstract state enumeration
Otmane Aït Mohamed
,
Xiaoyu Song
,
Eduard Cerny
Theoretical Computer Science
300
(1-3), 2003, pp. 161-179
Routing multiterminal nets on a hexagonal grid
Xuehou Tan
,
Xiaoyu Song
Discrete Applied Mathematics
90
(1-3), 1999, pp. 245-255
Hexagonal routing of multiterminal nets
Xuehou Tan
,
Xiaoyu Song
Lecture Notes in Computer Science
1276
, 1997, pp. 311-320
Hexagonal three-layer channel routing
Xuehou Tan
,
Xiaoyu Song
Information Processing Letters
55
, 1995, pp. 223-228