Вы здесь

Главная

Wang F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ First-Order LTL Model Checking Using MDGs 2004 Wang F., Tahar S., Mohamed O. A. Lecture Notes in Computer Science Lecture Notes in Computer Science 29.01.2005
СТ Preserving and Querying Histories of XML-Published Relational Databases 2003 Wang F., Zaniolo C. Lecture Notes in Computer Science 17.12.2003
СТ Efficient Verification of Timed Automata with BDD-Like Data-Structure 2003 Wang F. Lecture Notes in Computer Science 31.01.2003
СТ Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures 1900 Wang F., Schmidt K. Lecture Notes in Computer Science 29.11.2002
СТ Parametric Optimization of Open Real-Time Systems 2001 Wang F., Yen H. -C. Lecture Notes in Computer Science 31.07.2001
СТ Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems 2000 Wang F. Lecture Notes in Computer Science 26.04.2000
СТ Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes 1999 Wang F. Lecture Notes in Computer Science 30.10.1999
СТ Scheduling System Verification 1999 Hsiung P. -A., Wang F., Kuo Y. -S. Lecture Notes in Computer Science 08.04.1999
СТ Performance Evaluation of Gang Scheduling for Parallel and Distributed Multiprogramming 1997 Wang F., Papaefthymiou M., Squillante M. Lecture Notes in Computer Science Lecture Notes in Computer Science 22.10.1997
СТ Reachability Analysis at Procedure Level through Timing Coincidence 1995 Wang F. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 14.10.1995
СТ A Temporal Logic for Real-Time Partial-Ordering with Named Transactions 1995 Wang F. Lecture Notes in Computer Science 14.04.1995
СТ RTL and Refutation by Positive Cycles 1994 Wang F., Mok A. K. Lecture Notes in Computer Science 14.12.1994
СТ Distributed Real-Time System Sprcification and Verification in APTL 1993 Wang F., Mok A., Emerson E. A. ACM Trans. Software Engineering and Methodology 29.12.1993
СТ Symbolic Model Checking for Distributed Real-Time Systems 1993 Wang F., Mok A., Emerson E. A. Lecture Notes in Computer Science 27.05.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Heterogeneous Data Management, Polystores, and Analytics for Healthcare: Revised Selected Papers/VLDB 2018 Workshops, Poly and DMAH, Rio de Janeiro, Brazil, August 2018 2019 Lecture Notes in Computer Science
  1. Gadepally V.
  2. Mattson T. G.
  3. Stonebraker M.
  4. Wang F.
 20.03.2019
СБ Algorithms and Architectures for Parallel Processing: Proc./ICA3PP 2018 International Workshops, Guangzhou, China, November 2018 2018 Lecture Notes in Computer Science
  1. Hu T.
  2. Wang F.
  3. Li H.
  4. Wang Q.
 19.02.2019
СБ Data Management and Analytics for Medicine and Healthcare: Proc./3rd International Workshop, DMAN 2017, Held at VLDB 2017, Munich, Germany, September 2017 2017 Lecture Notes in Computer Science
  1. Begoli E.
  2. Wang F.
  3. Luo G.
 26.09.2017
СБ Theoretical Aspects of Computing - ICTAC 2016: Proc./13th International Colloquium, Taipei. Taiwan, ROC, October 2016 2016 Lecture Notes in Computer Science
  1. Sampaio A.
  2. Wang F.
 26.10.2016
СБ Biomedical Data Management and Graph Online Querying: Revised Selected Papers/VLDB 2015 Workshops, Big-O(Q) and DMAH, Waikoloa,HI,USA, August 2015 2016 Lecture Notes in Computer Science
  1. Wang F.
  2. Luo G.
  3. Weng C.
  4. Khan A.
 02.08.2016
СБ Machine Learning in Medical Imaging: Revised Selected Papers/3rd International Workshop, MLMI 2012 Held in Conjunction with MICCAI 2012, Nice, France, October 2012 2012 Lecture Notes in Computer Science
  1. Wang F.
  2. Shen D.
  3. Yan P.
  4. Suzuki K.
 19.02.2013
СБ Machine Learning in Medical Imaging: Proc./2nd International Workshop, MLMI 2011 Held in Conjunction with MICCAI 2011, Toronto, Canada, September 2011 2011 Lecture Notes in Computer Science
  1. Suzuki K.
  2. Wang F.
  3. Shen D.
  4. Yan P.
 18.10.2011
СБ Machine Learning in Medical Imaging: Proc./First International Workshop, MLMI 2010 Held in Conjunction with MICCAI 2010, Beijing, China, September 2010 2010 Lecture Notes in Computer Science
  1. Wang F.
  2. Yan P.
  3. Suzuki K.
  4. Shen D.
 09.11.2010
СБ Formal Techniques for Networked and Distributed Systems - Forte 2005: Proc./25th IFIP WG 6.1 International Conference. Taipei, Taiwan, October 2005 2005 Lecture Notes in Computer Science
  1. Wang F.
 29.11.2005
СБ Automated Technology for Verification and Analysis: Proc./Second International Conference, ATVA 2004. Taipei, Taiwan, ROC, October/November 2004 2004 Lecture Notes in Computer Science
  1. Wang F.
 29.01.2005