Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Wang Yi

Evolution of Microstructure and Mechanical Properties of PIP-C/SiC Composites After High-Temperature Oxidation

Journal of Asian Ceramic Societies
CompositesCeramics
2017English

Penile and Intramuscular Metastases From Esophageal Squamous Cell Carcinoma: A Rare Case Report and Review of the Literature

Canadian Urological Association Journal
Urology
2014English

Modeling and Simulation of Discharging Characteristics of External Melt Ice-On Coil Storage System

International Journal of Smart Home
Computer Science
2015English

On the Tractability of Digraph-Based Task Models

2011English

A Lycopsid With Novel Reproductive Structures From the Upper Devonian of Jiangsu, China

International Journal of Plant Sciences
Plant ScienceEvolutionEcologySystematicsBehavior
2003English

TIMES B— A Tool for Modelling and Implementation of Embedded Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Formal Verification of UML Statecharts With Real-Time Extensions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

UPPAAL - Now, Next, and Future

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Uppaal in 1995

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy