Search results: Sage Journals

Available accessResearch articleFirst published February 20, 2014

Effective verification of confidentiality for multi-threaded programs

Tri Minh Ngo, Mariëlle Stoelinga, Marieke Huisman

Journal of Computer Security

Available accessResearch articleFirst published August, 2010

Marco Montali, Paolo Torroni, Federico Chesani [...]

Fundamenta Informaticae

Free accessResearch articleFirst published May, 2007

Junyan Qian, Baowen Xu

Informatica: An International Journal of Computing and Informatics

Available accessResearch articleFirst published February, 2011

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Intelligenza Artificiale

Retricted accessResearch articleFirst published July, 2025

Anton N. Sidawy

The American Surgeon™

Available accessResearch articleFirst published May, 2008

Andrzej Zbrzezny, Bożena Woźna

Fundamenta Informaticae

Available accessResearch articleFirst published 2017

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi [...]

Fundamenta Informaticae

Open accessResearch articleFirst published June, 2012

Jozef Novak-Marcincin, Miroslav Janak, Jozef Barna [...]

International Journal of Advanced Robotic Systems

Available accessResearch articleFirst published October, 2015

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi [...]

Fundamenta Informaticae

Available accessResearch articleFirst published 2021

Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen

Fundamenta Informaticae