Search results for: Taolue Chen
Discrete Applied Mathematics > 2017 > 225 > C > 136-142
Lecture Notes in Computer Science > Theory and Applications of Models of Computation > Contributed Papers > 128-137
Lecture Notes in Computer Science > CONCUR 2006 – Concurrency Theory > Bisimulation and Simulation > 421-434
Lecture Notes in Computer Science > Fuzzy Systems and Knowledge Discovery > Fuzzy Theory and Algorithms > 149-158
IEEE Transactions on Software Engineering > 2016 > 42 > 7 > 623 - 639
Lecture Notes in Computer Science > SOFSEM 2009: Theory and Practice of Computer Science > Regular Papers > 167-180
Lecture Notes in Computer Science > Artificial Intelligence and Computational Intelligence > Automated Problem Solving > 41-48
Lecture Notes in Computer Science > Computational Logic in Multi-Agent Systems > Cooperation > 190-207
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Probabilistic Systems > 104-119
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Timed and Probabilistic Systems > 128-142
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Invited Talk > 1-15
Lecture Notes in Computer Science > FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 128-139
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 1: Probabilistic Models > 26-42