Search results: Sage Journals

Free accessResearch articleFirst published February, 2010

Formal Correctness Proof for DPLL Procedure

Filip Marić, Predrag Janičić

Informatica: An International Journal of Computing and Informatics

Restricted accessResearch articleFirst published February, 2020

Weiqing Wan, Yongqing Yu, Qingyan Zeng [...]

Journal of Computational Methods in Sciences and Engineering

Restricted accessResearch articleFirst published September 20, 2010

Jean Goubault-Larrecq

Journal of Computer Security

Restricted accessResearch articleFirst published 2019

Carlos G. Lopez Pombo, Pablo F. Castro, Nazareno M. Aguirre [...]

Fundamenta Informaticae

Restricted accessResearch articleFirst published February 12, 2013

Simon Meier, Cas Cremers, David Basin

Journal of Computer Security

Restricted accessResearch articleFirst published 1977

Luigia Aiello, Mario Aiello, Giuseppe Attardi [...]

Fundamenta Informaticae

Restricted accessResearch articleFirst published February, 2004

Alexander Mielke, Yibin B. Fu

Mathematics and Mechanics of Solids

Restricted accessOtherFirst published November, 2013

Mauro J. Gómez Lucero

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published January, 2021

Jesus Ezurmendia, Maria de los Angeles Gonzalez

The International Journal of Evidence & Proof

Restricted accessResearch articleFirst published October, 1992

Saverio Alberti, Silvia Miotti, Manuela Stella [...]

Monoclonal Antibodies in Immunodiagnosis & Immunotherapy