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="Liu, Zhiming"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Failure-divergence semantics and refinement of long running transactions
Zhenbang Chen
,
Zhiming Liu
,
Ji Wang
Theoretical Computer Science
455
, 2012, pp. 31-65
rCOS: A refinement calculus of object systems
He Jifeng
,
Xiaoshan Li
,
Zhiming Liu
Theoretical Computer Science
365
(1-2), 2006, pp. 109-142
Object connectivity and full abstraction for a concurrent calculus of classes
Erika Ábrahám
,
Marcello M. Bonsangue
,
Frank S. de Boer
,
Martin Steffen
Lecture Notes in Computer Science
3407
, 2005, pp. 37-51
An algebraic approach for codesign
Marc Aiguier
,
Stefan Béroff
,
Pierre-Yves Schobbens
Lecture Notes in Computer Science
3407
, 2005, pp. 415-430
Specifying software connectors
Marco Antonio Barbosa
,
Luís Soares Barbosa
Lecture Notes in Computer Science
3407
, 2005, pp. 52-67
Minimal spanning set for coverage testing of interactive systems
Fevzi Belli
,
Christof J. Budnik
Lecture Notes in Computer Science
3407
, 2005, pp. 220-234
An approach to integration testing based on data flow specifications
Yuting Chen
,
Shaoying Liu
,
Fumiko Nagoya
Lecture Notes in Computer Science
3407
, 2005, pp. 235-249
Switched probabilistic I/0 automata
Ling Cheung
,
Nancy Lynch
,
Roberto Segala
,
Frits Vaandrager
Lecture Notes in Computer Science
3407
, 2005, pp. 494-510
Duration calculus: A real-time semantic for
B
Samuel Colin
,
Georges Mariano
,
Vincent Poirriez
Lecture Notes in Computer Science
3407
, 2005, pp. 431-446
Combining algebraic and model-based test case generation
Li Dan
,
Bernhard K. Aichernig
Lecture Notes in Computer Science
3407
, 2005, pp. 250-264
Symbolic and parametric model checking of discrete-time Markov chains
Conrado Daws
Lecture Notes in Computer Science
3407
, 2005, pp. 280-294
Verifying OWL and ORL ontologies in PVS
Jin Song Dong
,
Yuzhang Feng
,
Yuan Fang Li
Lecture Notes in Computer Science
3407
, 2005, pp. 265-279
Random generators for dependent types
Peter Dybjer
,
Qiao Haiyan
,
Makoto Takeyama
Lecture Notes in Computer Science
3407
, 2005, pp. 341-355
Software services: Scientific challenge or industrial hype?
José Luiz Fiadeiro
Lecture Notes in Computer Science
3407
, 2005, pp. 1-13
A proof of weak termination providing the right way to terminate
Olivier Fissore
,
Isabelle Gnaedig
,
Hélène Kirchner
Lecture Notes in Computer Science
3407
, 2005, pp. 356-371
Replicative-distribution rules in
P
systems with active membranes
Tseren-Onolt Ishdorj
,
Mihai Ionescu
Lecture Notes in Computer Science
3407
, 2005, pp. 68-83
A generalisation of a relational structures model of concurrency
Ryszard Janicki
Lecture Notes in Computer Science
3407
, 2005, pp. 84-98
Integrating variants of
DC
He Jifeng
,
Jin Naiyong
Lecture Notes in Computer Science
3407
, 2005, pp. 14-34
Idempotent relations in Isabelle/HOL
Florian Kammüller
,
J.W. Sanders
Lecture Notes in Computer Science
3407
, 2005, pp. 310-324
A logical characterization of efficiency preorders
Neelesh Korade
,
S. Arun-Kumar
Lecture Notes in Computer Science
3407
, 2005, pp. 99-112
Decomposing controllers into non-conflicting distributed controllers
Padmanabhan Krishnan
Lecture Notes in Computer Science
3407
, 2005, pp. 511-526
Reasoning about co-Büchi tree automata
Salvatore La Torre
,
Aniello Murano
Lecture Notes in Computer Science
3407
, 2005, pp. 527-542
Challenges in increasing tool support for programming
K. Rustan M. Leino
Lecture Notes in Computer Science
3407
, 2005, pp. 35-35
A predicate spatial logic and model checking for mobile processes
Huimin Lin
Lecture Notes in Computer Science
3407
, 2005, pp. 36-36
A summary of the tutorials at ITAC 2004
Zhiming Liu
Lecture Notes in Computer Science
3407
, 2005, pp. 557-560
Seiten 1
2
>