Sage Journals: Discover world-class research

Retricted access

Research article

First published 2014-11

Quantitative Analysis of Lattice-valued Kripke Structures

Haiyu Pan, Min Zhang, Hengyang Wu [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2014-9

Parameter Synthesis for Timed Kripke Structures

Michał Knapik, Wojciech Penczek

Fundamenta Informaticae

Retricted access

Research article

First published 2019-02-16

Multi-valued bisimulation quotienting algorithms 1

Deng Hui, Li Zhi

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

Open access

Research article

First published 2023-05-04

Quantitative reachability analysis of generalized possibilistic decision processes

Zhanyou Ma, Yingnan Gao, Zhaokai Li [...]

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

Retricted access

Research article

First published 2004-1-1

Information hiding,anonymity and privacy: a modular approach

Dominic Hughes, Vitaly Shmatikov

Journal of Computer Security

Retricted access

Research article

First published 1989

A Nonmonotonic Logic of Belief

Louise E. Moser

Fundamenta Informaticae

Retricted access

Research article

First published 1991

Axiom System Induced by CTL* Logic

Maciej Koutny

Fundamenta Informaticae

Retricted access

Research article

First published 2005-1

Logical Analysis of Biological Systems

Radu Mardare, Corrado Priami

Fundamenta Informaticae

Free access

Research article

First published 2012-5

Comparing Real and Intended System Usages: A Case for Web Portal

Jérémy Besson, Audronė Lupeikienė, Viktor Medvedev

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 1994-2

POSSIBLE WORLDS SEMANTICS FOR DEFAULT LOGICS

Philippe Besnard, Torsten Schaub

Fundamenta Informaticae

Search results