Automated verification of shape and size properties via separation logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lee, M.L.
Yu, J.X.
Bellahsène, Z.
Unland, R.

January 2010

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Continuous verification using multimodal biometrics

Zhang, S.
Janakiraman, R.
Sim, T.
Kumar, S.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Automatically refining partial specifications for program verification

Qin, S.
Luo, C.
Chin, W.-N.
He, G.

January 2011

10.1007/978-3-642-21437-0_28Lecture Notes in Computer Science (including subseries Lecture Notes in ...

Manifestation and exploitation of invariants in bioinformatics

Wong, L.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Unfold/fold transformations for automated verification of parameterized concurrent systems

Roychoudhury, A.
Ramakrishnan, C.R.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Type processing by constraint reasoning

Stuckey, P.J.
Sulzmann, M.
Wazny, J.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Affine-based size-change termination

Anderson, H.
Khoo, S.-C.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Statistics- and spatiality-based feature distance measure for error resilient image authentication

Ye, S.
Sun, Q.
Chang, E.-C.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Directional feature detection and correspondence

Wang W.-H.
Hsiao F.-J.
Chen T.

January 2005

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Extraction in scientific publications

Nguyen, T.D.
Kan, M.-Y.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Extracting microstructure in binary constraint networks

Likitvivatanavong, C.
Yap, R.H.C.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

A verification framework for agent knowledge

Dong, J.S.
Feng, Y.
Leung, H.-F.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Variations on U-shaped learning

Carlucci, L.
Jain, S.
Kinber, E.
Stephan, F.

January 2005

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Runtime checking for separation logic

Nguyen, H.H.
Kuncak, V.
Chin, W.-N.

January 2008

10.1007/978-3-540-78163-9_19Lecture Notes in Computer Science (including subseries Lecture Notes in ...

Memory-limited U-shaped learning

Carlucci, L.
Case, J.
Jain, S.
Stephan, F.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lee, M.L.
Yu, J.X.
Bellahsène, Z.
Unland, R.

January 2010

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Continuous verification using multimodal biometrics

Zhang, S.
Janakiraman, R.
Sim, T.
Kumar, S.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Automatically refining partial specifications for program verification

Qin, S.
Luo, C.
Chin, W.-N.
He, G.

January 2011

10.1007/978-3-642-21437-0_28Lecture Notes in Computer Science (including subseries Lecture Notes in ...

Manifestation and exploitation of invariants in bioinformatics

Wong, L.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Unfold/fold transformations for automated verification of parameterized concurrent systems

Roychoudhury, A.
Ramakrishnan, C.R.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Type processing by constraint reasoning

Stuckey, P.J.
Sulzmann, M.
Wazny, J.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Affine-based size-change termination

Anderson, H.
Khoo, S.-C.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Statistics- and spatiality-based feature distance measure for error resilient image authentication

Ye, S.
Sun, Q.
Chang, E.-C.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Directional feature detection and correspondence

Wang W.-H.
Hsiao F.-J.
Chen T.

January 2005

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Extraction in scientific publications

Nguyen, T.D.
Kan, M.-Y.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Extracting microstructure in binary constraint networks

Likitvivatanavong, C.
Yap, R.H.C.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

A verification framework for agent knowledge

Dong, J.S.
Feng, Y.
Leung, H.-F.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Variations on U-shaped learning

Carlucci, L.
Jain, S.
Kinber, E.
Stephan, F.

January 2005

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Runtime checking for separation logic

Nguyen, H.H.
Kuncak, V.
Chin, W.-N.

January 2008

10.1007/978-3-540-78163-9_19Lecture Notes in Computer Science (including subseries Lecture Notes in ...

Memory-limited U-shaped learning

Carlucci, L.
Case, J.
Jain, S.
Stephan, F.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lee, M.L.
Yu, J.X.
Bellahsène, Z.
Unland, R.

January 2010

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Continuous verification using multimodal biometrics

Zhang, S.
Janakiraman, R.
Sim, T.
Kumar, S.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Automatically refining partial specifications for program verification

Qin, S.
Luo, C.
Chin, W.-N.
He, G.

January 2011

10.1007/978-3-642-21437-0_28Lecture Notes in Computer Science (including subseries Lecture Notes in ...

Automated verification of shape and size properties via separation logic

Abstract

Extracted data

Automated verification of shape and size properties via separation logic

Abstract

Extracted data

Related items

Related items