Search results: Sage Journals

Available accessResearch articleFirst published February 20, 2014

Union,intersection and refinement types and reasoning about type disjointness for secure protocol implementations

Michael Backes, Cătălin Hriţcu, Matteo Maffei

Journal of Computer Security

Available accessResearch articleFirst published November, 2010

Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch

Fundamenta Informaticae

Open accessResearch articleFirst published August, 2020

Anna van der Vleuten, Anouka van Eerdewijk

Political Studies Review

Available accessResearch articleFirst published May, 2006

Attila Sali, Klaus-Dieter Schewe

Fundamenta Informaticae

Available accessResearch articleFirst published March, 2007

Helen Meenan

Maastricht Journal of European and Comparative Law

Restricted accessResearch articleFirst published

Damian Wójtowicz, Jerzy Tiuryn

Journal of Computational Biology

Available accessResearch articleFirst published July 23, 2024

Walter Guttmann

Fundamenta Informaticae

Restricted accessResearch articleFirst published August, 1995

Bernhard Gramlich

Fundamenta Informaticae

Available accessOtherFirst published June, 2003

Christian Lahusen

European Union Politics

Available accessResearch articleFirst published November, 2002

Julia Padberg

Journal of Integrated Design and Process Science