Search results: Sage Journals

Available accessResearch articleFirst published November, 2008

A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties

Hanifa Boucheneb, Hind Rakkay

Fundamenta Informaticae

Available accessResearch articleFirst published February, 2015

Oscar Sapena, Eva Onaindia, Alejandro Torreño

The European Journal on Artificial Intelligence

Retricted accessResearch articleFirst published

Guillaume Blin, Eric Blais, Danny Hermelin [...]

Journal of Computational Biology

Retricted accessResearch articleFirst published May, 1980

Herbert M. Kritzer

Sociological Methods & Research

Available accessResearch articleFirst published September, 2004

Victor Khomenko, Maciej Koutny, Alex Yakovlev

Fundamenta Informaticae

Available accessResearch articleFirst published June, 2014

Abdallah A. Hlayel, Adnan Hnaif

Journal of Information Science

Available accessResearch articleFirst published January, 2011

Alfred Huber

Journal of Computational Methods in Sciences and Engineering

Available accessResearch articleFirst published September, 2003

Robert Demolombe

Fundamenta Informaticae

Retricted accessResearch articleFirst published June, 2003

Amir Ben-Dor, Richard M. Karp, Benno Schwikowski [...]

Journal of Computational Biology

Available accessResearch articleFirst published April, 2010

Roman Barták, Daniel Toropila

Fundamenta Informaticae