Search results for: Zhenjiang Hu
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Analysis > 106-107
Lecture Notes in Computer Science > Euro-Par 2003 Parallel Processing > Topic 10: Parallel Programming: Models, Methods, and Programming Languages > 789-798
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Session 2a: Verifying Consistency and Conformance > 181-195
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2005 > Model-Checking and Algorithms > 562-578
Lecture Notes in Computer Science > Euro-Par 2010 - Parallel Processing > Topic 9: Parallel and Distributed Programming > 26-37
Lecture Notes in Computer Science > Advances in Neural Networks – ISNN 2005 > Pattern Analysis > 118-123
Lecture Notes in Computer Science > Theory and Practice of Model Transformations > Full Papers > 213-228
Lecture Notes in Computer Science > Advances in Data and Web Management > XML and Semi-structured Data II > 721-732
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Transformation and Specialisation > 128-142
Lecture Notes in Computer Science > Generative and Transformational Techniques in Software Engineering > Tutorials > 144-168
Lecture Notes in Computer Science > Euro-Par 2007 Parallel Processing > Topic 9: Parallel and Distributed Programming > 705-714
Lecture Notes in Computer Science > Euro-Par 2011 Parallel Processing > Topic 9: Parallel and Distributed Programming > 39-50
Lecture Notes in Computer Science > Theory and Practice of Model Transformations > Panel on Bidirectional Transformations > 260-283