Sage Journals: Discover world-class research

Retricted access

Research article

First published 2000-8

Improving Partial Order Reductions for Universal Branching Time Properties

Wojciech Penczek, Maciej Szreter, Rob Gerth [...]

Fundamenta Informaticae

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 2010-6-1

Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols

Sebastian Mödersheim, Luca Viganò, David Basin

Journal of Computer Security

Retricted access

Research article

First published 2009-6

Model reduction in commensurate fractional-order linear systems

M Tavakoli-Kakhki, M Haeri

Proceedings of the Institution of Mechanical Engineers,Part I: Journal of Systems and Control Engineering

Retricted access

Research article

First published 2003-9

Model reduction in the physical domain

A Y Orbak, O S Turkay, E Eskinat [...]

Proceedings of the Institution of Mechanical Engineers,Part I: Journal of Systems and Control Engineering

Retricted access

Research article

First published 2021-05

Kinetics of hydrogen reduction of magnetite concentrate particles at 1623–1873 K relevant to flash ironmaking

Mohamed Elzohiery, Deqiu Fan, Yousef Mohassab [...]

Ironmaking & Steelmaking: Processes,Products and Applications

Retricted access

Research article

First published 2001-4

Kinetics of reduction of nickel oxide with helium–hydrogen gas mixtures in the range 300–400°C

Y. K. Rao, A. H. Rashed

Mineral Processing and Extractive Metallurgy: Transactions of the Institutions of Mining and Metallurgy

Retricted access

Research article

First published 1975-10

Obtaining Paired Comparisons Data from Multiple Rank Orders Using Partially Balanced Incomplete Block Designs

Ralph G. Straton

Educational and Psychological Measurement

Retricted access

Research article

First published 2019-9

Reduced-order observer design with unknown input for fractional order descriptor nonlinear systems

Tao Zhan, Shuping Ma

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 1993

On the Undecidability of Partial Polymorphic Type Reconstruction

Frank Pfenning

Fundamenta Informaticae

Search results