Search results

Articles (4)

Journals (0)

1-4 of 4 results for decompilation

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2006-1

A Multiple-Clause Folding Rule Using Instantiation and Generalization

David A. Rosenblueth

Fundamenta Informaticae

Open access

Research article

First published 2015-9

Dongwoo Kim, Jin Kwak, Jaecheol Ryou

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2021-2-3

Chiara Bodei, Lorenzo Ceragioli, Pierpaolo Degano [...]

Journal of Computer Security

Retricted access

Research article

First published 2026-1

Jinxiong Zhao, Ji’en Niu, Yong Yang [...]

Journal of Computer Security