Sage Journals: Discover world-class research

Retricted access

Research article

First published 2004-4

Open Maps and Observational Equivalences for Timed Partial Order Models

Irina B. Virbitskaite, Natalya S. Gribovskaya

Fundamenta Informaticae

Retricted access

Research article

First published 2016-12-24

True Concurrent Equivalences in Time Petri Nets *

Irina Virbitskaite, Dmitry Bushin, Eike Best

Fundamenta Informaticae

Retricted access

Research article

First published 2006-8

Observational Equivalences for Timed Stable Event Structures

Maria V. Andreeva, Irina B. Virbitskaite

Fundamenta Informaticae

Retricted access

Research article

First published 2008-09

Time-fractional Diffusion of Distributed Order

Francesco Mainardi, Antonio Mura, Gianni Pagnini [...]

Journal of Vibration and Control

Retricted access

Research article

First published 2010-6

Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems

Alessio Lomuscio, Wojciech Penczek, Hongyang Qu

Fundamenta Informaticae

Retricted access

Research article

First published 2018-1-31

Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets

Elisabeth Pelz

Fundamenta Informaticae

Retricted access

Research article

First published 2016-08

Inventory Rationing for Multiple Class Demand under Continuous Review

Qing Ding, Panos Kouvelis, Joseph Milner

Production and Operations Management

Retricted access

Research article

First published 1996-2

ON SETS OF TERMS: A STUDY OF A GENERALISATION RELATION AND OF ITS ALGORITHMIC PROPERTIES

Colin De La Higuera, Marie-Catherine Daniel-Vatonne

Fundamenta Informaticae

Retricted access

Research article

First published 2021-4

Improving the controllability of partial fuel stratification at low boost levels by applying a double late injection strategy

Ziming Yan, Brian Gainey, Deivanayagam Hariharan [...]

International Journal of Engine Research

Retricted access

Research article

First published 2019-9

Using the Adolescent Time Inventory—Time Attitudes (ATI-TA) to assess time attitudes in Italian adolescents and young adults: Psychometric properties and validity

Maria Anna Donati, Jessica Boncompagni, Aurora Scabia [...]

International Journal of Behavioral Development

Search results