نتائج بحث المؤلف

1

Solving a class of higher-order equations over a group structure

Solving a class of higher-order equations over a group structure

بواسطة Andrei, Ş., Chin, W.-N.
منشور في 2013

احصل على النص الكامل

مقال

2

Incremental satisfiability counting for real-time systems

Incremental satisfiability counting for real-time systems

بواسطة Andrei, Ş., Chin, W.-N.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

3

Mapping statecharts to verilog for hardware/software co-specification

Mapping statecharts to verilog for hardware/software co-specification

بواسطة Qin, S., Chin, W.-N.
منشور في 2013

احصل على النص الكامل

مقال

4

Inferring disjunctive postconditions

Inferring disjunctive postconditions

بواسطة Popeea, C., Chin, W.-N.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

5

Calculating sized types

Calculating sized types

بواسطة Chin, W.-N., Khoo, S.-C.
منشور في 2013

احصل على النص الكامل

مقال

6

A higher-order removal method

A higher-order removal method

بواسطة Chin, W.-N., Darlington, J.
منشور في 2014

احصل على النص الكامل

مقال

7

Proceedings for FTfJP 2012: The 14th Workshop on Formal Techniques for Java-Like Programs - Co-located with ECOOP 2012 and PLDI 2012, Papers Presented at the Workshop: Foreword

Proceedings for FTfJP 2012: The 14th Workshop on Formal Techniques for Java-Like Programs - Co-located with ECOOP 2012 and PLDI 2012, Papers Presented at the Workshop: Foreword

بواسطة Chin, W.-N., Hobor, A.
منشور في 2013

احصل على النص الكامل

Editorial

8

Foreword

بواسطة Chin, W.-N., Hage, J.
منشور في 2016

احصل على النص الكامل

Editorial

9

A transformation method for dynamic-sized tabulation

A transformation method for dynamic-sized tabulation

بواسطة Chin, W.-N., Hagiya, M.
منشور في 2014

احصل على النص الكامل

مقال

10

Dual analysis for proving safety and finding bugs

Dual analysis for proving safety and finding bugs

بواسطة Popeea, C., Chin, W.-N.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

11

Immutable specifications for more concise and precise verification

Immutable specifications for more concise and precise verification

بواسطة David, C., Chin, W.-N.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

12

From verification to specification inference

From verification to specification inference

بواسطة Chin, W.-N., David, C.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

13

A type system for resource protocol verification and its correctness proof

A type system for resource protocol verification and its correctness proof

بواسطة Popeea, C., Chin, W.-N.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

14

Immutable specifications for more concise and precise verification

Immutable specifications for more concise and precise verification

بواسطة David, C., Chin, W.-N.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

15

Dual analysis for proving safety and finding bugs

Dual analysis for proving safety and finding bugs

بواسطة Popeea, C., Chin, W.-N.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

16

A formal soundness proof of region-based memory management for object-oriented paradigm

A formal soundness proof of region-based memory management for object-oriented paradigm

بواسطة Craciun, F., Qin, S., Chin, W.-N.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

17

Charting patterns on price history

Charting patterns on price history

بواسطة Anand, S., Chin, W.-N., Khoo, S.-C.
منشور في 2013

احصل على النص الكامل

مقال

18

Enhancing program verification with lemmas

Enhancing program verification with lemmas

بواسطة Nguyen, H.H., Chin, W.-N.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

19

Incremental deterministic planning

Incremental deterministic planning

بواسطة Andrei, Ş., Chin, W.-N., Rinard, M.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

20

Charting patterns on price history

Charting patterns on price history

بواسطة Anand, S., Chin, W.-N., Khoo, S.-C.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

1
2
3
4
5
التالي
[5]