Sage Journals: Discover world-class research

Retricted access

Research article

First published 2021

Continuous Domains in Formal Concept Analysis *

Longchun Wang, Lankun Guo, Qingguo Li

Fundamenta Informaticae

Retricted access

Research article

First published 2006-12

A Categorical View on Algebraic Lattices in Formal Concept Analysis

Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang

Fundamenta Informaticae

Retricted access

Research article

First published 2008-5

Automated formal analysis of human multi-issue negotiation processes

Tibor Bosse, Catholijn M. Jonker, Lourens van der Meij [...]

Multiagent and Grid Systems

Retricted access

Research article

First published 2019-3-29

Secure authentication in the grid: A formal analysis of DNP3 SAv5

Cas Cremers, Martin Dehnel-Wild, Kevin Milner

Journal of Computer Security

Retricted access

Research article

First published 2009-11

Formal Specification and Analysis of Domain Specific Models Using Maude

José E. Rivera, Francisco Durán, Antonio Vallecillo

SIMULATION

Retricted access

Research article

First published 2007-11

Formal Concept Analysis in Relational Database and Rough Relational Database

Feng Jiang, Yuefei Sui, Cungen Cao

Fundamenta Informaticae

Retricted access

Research article

First published

Identifying Genes of Gene Regulatory Networks Using Formal Concept Analysis

Jutta Gebert, Susanne Motameny, Ulrich Faigle [...]

Journal of Computational Biology

Retricted access

Research article

First published 2019

Galois Lattices-based Formal Design Concept Analysis for Crowdsourcing Design

Jihoon Kim, Kyoung-Yun Kim

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 2007-06

Formal Strategic Analyses and Organizational Performance: Decomposing the Rational Model

George C. Mueller, Mark A. Mone, Vincent L. Barker

Organization Studies

Retricted access

Research article

First published 2009-11

Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques

Maciej Koutny, Brian Randell

Fundamenta Informaticae

Search results