default search action

combined dblp search
author search
venue search
publication search

ask others

80th Birthday: Chaochen Zhou 2017

> Home > Conferences and Workshops > Birthday

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/birthday/zhou2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/zhou2017
Cliff B. Jones, Ji Wang, Naijun Zhan:
Symposium on Real-Time and Hybrid Systems - Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday. Lecture Notes in Computer Science 11180, Springer 2018, ISBN 978-3-030-01460-5
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/FanLXHLM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/FanLXHLM17
Wenfei Fan, Muyang Liu, Ruiqi Xu, Lei Hou, Dongze Li, Zizhong Meng:
Think Sequential, Run Parallel. 1-25
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Jones17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Jones17
Cliff B. Jones:
Concurrency: Handling Interference Formally. 26-43
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/WangZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/WangZ17
Lingtai Wang, Naijun Zhan:
Decidability of the Initial-State Opacity of Real-Time Automata. 44-60
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Bjorner17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Bjorner17
Dines Bjørner:
Domain Science and Engineering A Review of 10 Years Work and a Laudatio The ZCC Fest, 20 October 2017, Changsha, China. 61-84
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BuJCTL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BuJCTL17
Lei Bu, Hui Jiang, Xin Chen, Enyi Tang, Xuandong Li:
HAT: Analyzing Linear Hybrid Automata as Labelled Transition System. 85-104
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/DongWX17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/DongWX17
Yunwei Dong, Xiaomin Wei, Mingrui Xiao:
Overview: System Architecture Virtual Integration based on an AADL Model. 105-115
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/LiuZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/LiuZ17
Xinxin Liu, Wenhui Zhang:
Characterization and Verification of Stuttering Equivalence. 116-132
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/LiuWZGLHDY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/LiuWZGLHDY17
Shusen Liu, Xin Wang, Li Zhou, Ji Guan, Yinan Li, Yang He, Runyao Duan, Mingsheng Ying:
Q|SI⟩ : A Quantum Programming Environment. 133-164
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/FranzleK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/FranzleK17
Martin Fränzle, Paul Kröger:
The Demon, the Gambler, and the Engineer - Reconciling Hybrid-System Theory with Metrology. 165-185
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/He17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/He17
Jifeng He:
Linking Theories of Probabilistic Programming. 186-210
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Olderog17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Olderog17
Ernst-Rüdiger Olderog:
Space for Traffic Manoeuvres: An Overview. 211-230
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/WangDX17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/WangDX17
Huaimin Wang, Bo Ding, Jie Xu:
Cloud Robotics: A Distributed Computing View. 231-245
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/WuCW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/WuCW17
Xueguang Wu, Liqian Chen, Ji Wang:
Analyzing Interrupt Handlers via Interprocedural Summaries. 246-262

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.