Sage Journals: Discover world-class research

Retricted access

Research article

First published 2006-9

A Value-propagating Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs

Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis

Fundamenta Informaticae

Retricted access

Research article

First published 2005-3

Tracing Relations Probabilistically

Ernst-Erich Doberkat

Fundamenta Informaticae

Retricted access

Research article

First published 2005-6

Tracing Relations Probabilistically

Ernst-Erich Doberkat

Fundamenta Informaticae

Retricted access

Research article

First published 2021

Coinductive Algorithms for Büchi Automata

Denis Kuperberg, Laureline Pinault, Damien Pous

Fundamenta Informaticae

Free access

Research article

First published 2002-8

A New Algorithm of Constructing the Basis Finite Automaton

Boris Melnikov, Alexandra Melnikova

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2017-3-3

Non-monotonic Pre-fix Points and Learning

Stefano Berardi, Ugo de’ Liguoro

Fundamenta Informaticae

Retricted access

Research article

First published 2003-2

A Non-Standard Finite-Difference Scheme for a Model of HIV Transmission and Control

A.B. Gumel, R.E. Mickens, B.D. Corbett

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2014-1

Multiobjective dynamic topology optimization of truss with interval parameters based on interval possibility degree

Bin Xu, Yu Jia Jin

Journal of Vibration and Control

Retricted access

Research article

First published 2026

Unified health domain relation learning for train transmission systems fault detection under varying operating conditions

Zuoyi Chen, Zhixu Duan, Hua-Ming Qian [...]

Structural Health Monitoring

Retricted access

Research article

First published 2014-3-1

Acyclic Constraint Logic and Games

Hendrik Jan Hoogeboom, Walter A. Kosters, Jan N. van Rijn [...]

ICGA Journal: The Journal of the Computer Games Community

Search results