Sage Journals: Discover world-class research

Retricted access

Research article

First published 2011-1

Proof-graphs: a Thorough Cycle Treatment,Normalization and Subformula Property

Gleifer V. Alves, Anjolina G. de Oliveira, Ruy de Queiroz

Fundamenta Informaticae

Retricted access

Research article

First published 2021-10-14

Heterogeneous identity trust management method based on risk assessment

Wenye Zhu, Chengxiang Tan, Qian Xu [...]

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

Retricted access

Research article

First published 2012-8

Hoare-Style Verification of Graph Programs

Christopher M. Poskitt, Detlef Plump

Fundamenta Informaticae

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 2012-9

Reduced-by-matching Graphs: Toward Simplifying Hamiltonian Circuit Problem

Jacek Blazewicz, Marta Kasprzak

Fundamenta Informaticae

Retricted access

Research article

First published 1994-6-1

Proof-Number Search and Transpositions

M. Schijf, L.V. Allis, J.W.H.M. Uiterwijk

ICGA Journal: The Journal of the Computer Games Community

Retricted access

Research article

First published 2015-9

An analysis of graphs that represent a role-based security policy hierarchy

Sergey Belim, Nadezda Bogachenko, Evgeniy Ilushechkin

Journal of Computer Security

Free access

Research article

First published 2000-2

An Algorithm for Transformation of Finite Automata to Regular Expressions

Larisa Stanevichene, Aleksei Vylitok

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 1998-2

Termination of Graph Rewriting is Undecidable

Detlef Plump

Fundamenta Informaticae

Retricted access

Research article

First published 2007-4

RAM Simulation of BGS Model of Abstract-state Machines

Comandur Seshadhri, Anil Seth, Somenath Biswas

Fundamenta Informaticae

Search results