Sage Journals: Discover world-class research

Retricted access

Research article

First published 2016

An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements

Vladislav Podymov

Fundamenta Informaticae

Retricted access

Research article

First published 1993-6

Equivalency of the Forms of Set 1 of the Depression Adjective Check Lists

Rodney Van Whitlock, Bernard Lubin, Amy Warner

Psychological Reports

Retricted access

Research article

First published 1987-8

Children's Oral Hygiene: Spot Checks and Contingency Management are Equivalent

P. A. Street, S. Sheaves, R. J. Konopasky [...]

Psychological Reports

Retricted access

Research article

First published 2013-8

On Modal μ-Calculus in S5 and Applications

Giovanna D'Agostino, Giacomo Lenzi

Fundamenta Informaticae

Retricted access

Research article

First published 2006-4

Towards Integrated Verification of Timed Transition Models

Mark Lawford, Vera Pantelic, Hong Zhang

Fundamenta Informaticae

Open access

Research article

First published 2014-6

Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks

Gianpiero Cabodi, Carmelo Loiacono, Marco Palena [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2021

Coinductive Algorithms for Büchi Automata

Denis Kuperberg, Laureline Pinault, Damien Pous

Fundamenta Informaticae

Retricted access

Research article

First published 2022

A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking

Nicolas Amat, Bernard Berthomieu, Silvano Dal Zilio

Fundamenta Informaticae

Retricted access

Other

First published 2000-4

Equivalence Testing in Dose-Response Studies

Edward J. Channon

Therapeutic Innovation & Regulatory Science

Retricted access

Research article

First published 1995-6

Longitudinal Data Analysis Examples With Random Coefficient Models

David Rogosa, Hilary Saner

Journal of Educational and Behavioral Statistics

Search results