Sage Journals: Discover world-class research

Retricted access

Research article

First published 2018

Evaluating Compliance: From LTL to Abductive Logic Programming

Federico Chesani, Marco Gavanelli, Evelina Lamma [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2004-4

Compositional Synthesis of Generalized Mealy Machines

Simone Tini, Andrea Maggiolo-Schettini

Fundamenta Informaticae

Retricted access

Other

First published 2011-8

LTL model-checking for security protocols

Roberto Carbone

The European Journal on Artificial Intelligence

Free access

Research article

First published 1999-9

Estimation by a Sorption Technique of the Amorphous Contribution in the Phases Obtained during the Hydrothermal Crystallization of LTL-Type Zeolite

P.N. Joshi, T.H. Kim, K.I. Kim [...]

Adsorption Science & Technology

Retricted access

Research article

First published 2015-2

Multi-agent plan reconfiguration under local LTL specifications

Meng Guo, Dimos V. Dimarogonas

The International Journal of Robotics Research

Retricted access

Research article

First published 2017

Monitoring with Parametrized Extended Life Sequence Charts

Ming Chai, Bernd-Holger Schlingloff

Fundamenta Informaticae

Retricted access

Research article

First published 2016

Temporal normal form for Linear Temporal Logic formulae 1

Hui-Xian Shi, Yong-Ming Li

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2007-11

Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous

Vladimir V. Rybakov

Fundamenta Informaticae

Retricted access

Research article

First published 2024-9

Telomere length as a biomarker in multiple sclerosis

Maria Agustina Piedrabuena, Jorge Correale, Mauricio Franco Farez [...]

Multiple Sclerosis Journal

Retricted access

Research article

First published 2016-9

Childhood Personality,Betrayal Trauma,and Leukocyte Telomere Length in Adulthood: A Lifespan Perspective on Conscientiousness and Betrayal Traumas as Predictors of a Biomarker of Cellular Ageing

Grant W. Edmonds, Sarah E. Hampson, Hélène C. F. Côté [...]

European Journal of Personality

Search results