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="Jifeng, He"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Transaction calculus
He Jifeng
Lecture Notes in Computer Science
5062
, 2008, pp. 8-8
rCOS: A refinement calculus of object systems
He Jifeng
,
Xiaoshan Li
,
Zhiming Liu
Theoretical Computer Science
365
(1-2), 2006, pp. 109-142
Integrating variants of
DC
He Jifeng
,
Jin Naiyong
Lecture Notes in Computer Science
3407
, 2005, pp. 14-34
A framework for specification and validation of real-time systems using circus actions
Adnan Sherif
,
He Jifeng
,
Ana Cavalcanti
,
Augusto Sampaio
Lecture Notes in Computer Science
3407
, 2005, pp. 478-493
Contract oriented development of component software
Zhiming Liu
,
He Jifeng
,
Xiaoshan Li
Proceedings of the 18th World Computer Congress and TC1 3rd International Conference on Theoretical Computer Science - Exploring New Frontiers of Theoretical Informatics, IFIP TCS'2004 (Toulouse, France, August 22-27, 2004)
, 2004, pp. 349-365
A specification-oriented semantics for the refinement of real-time systems
David Scholefield
,
Hussein Zedan
,
He Jifeng
Theoretical Computer Science
131
(1), 1994, pp. 219-241
Normal form approach to compiler design
C.A.R. Hoare
,
He Jifeng
,
A. Sampaio
Acta Informatica
30
, 1993, pp. 701-739
From algebra to operational semantics
He Jifeng
,
C.A.R. Hoare
Information Processing Letters
45
(2), 1993, pp. 75-80
Real-time refinement: Semantics and application
David Scholefield
,
Hussein Zedan
,
He Jifeng
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(GdaĆsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 693-702