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="Tian, Cong"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Normal form expressions of propositional projection temporal logic
Zhenhua Duan
,
Cong Tian
,
Nan Zhang
Lecture Notes in Computer Science
8591
, 2014, pp. 84-93
A practical decision procedure for Propositional Projection Temporal Logic with infinite models
Zhenhua Duan
,
Cong Tian
Theoretical Computer Science
554
, 2014, pp. 169-190
A formal proof of the deadline driven scheduler in PPTL axiomatic system
Nan Zhang
,
Zhenhua Duan
,
Cong Tian
,
Dingzhu Du
Theoretical Computer Science
554
, 2014, pp. 229-253
An axiomatization for cylinder computation model
Nan Zhang
,
Zhenhua Duan
,
Cong Tian
Lecture Notes in Computer Science
8591
, 2014, pp. 71-83
Bounded model checking for propositional projection temporal logic
Zhenhua Duan
,
Cong Tian
,
Mengfei Yang
,
Jia He
Lecture Notes in Computer Science
7936
, 2013, pp. 591-602
Deternimization of Büchi automata as partitioned automata
Cong Tian
,
Zhenhua Duan
,
Mengfei Yang
Lecture Notes in Computer Science
7936
, 2013, pp. 158-168
A cylinder computation model for many-core parallel computing
Nan Zhang
,
Zhenhua Duan
,
Cong Tian
Theoretical Computer Science
497
, 2013, pp. 68-83
An efficient approach for abstraction-refinement in model checking
Cong Tian
,
Zhenhua Duan
,
Nan Zhang
Theoretical Computer Science
461
, 2012, pp. 76-85
Making abstraction-refinement efficient in model checking
Cong Tian
,
Zhenhua Duan
Lecture Notes in Computer Science
6842
, 2011, pp. 402-413
Expressiveness of propositional projection temporal logic with star
Cong Tian
,
Zhenhua Duan
Theoretical Computer Science
412
(18), 2011, pp. 1729-1744
A note on stutter-invariant PLTL
Cong Tian
,
Zhenhua Duan
Information Processing Letters
109
(13), 2009, pp. 663-667
A decision procedure for propositional projection temporal logic with infinite models
Zhenhua Duan
,
Cong Tian
,
Li Zhang
Acta Informatica
45
(1), 2008, pp. 43-78