Sage Journals: Discover world-class research

Retricted access

Research article

First published 2014-10

On Hierarchical Graphs: Reconciling Bigraphs,Gs-monoidal Theories and Gs-graphs

Roberto Bruni, Ugo Montanari, Gordon Plotkin [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2017-11

A multi-agent based approach for modelling context-aware systems

Ali Sahnoun, Ahmed Taki Eddine Dib, Ramdane Maamri

Multiagent and Grid Systems

Retricted access

Research article

First published 2007-10

Static BiLog: a Unifying Language for Spatial Structures

Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone

Fundamenta Informaticae

Retricted access

Research article

First published 2016-5

Specification and verification of reconfigurable multi-agent system architectures

Ahmed Taki Eddine Dib, Kamel Barkaoui, Zaidi Sahnoun

Multiagent and Grid Systems

Retricted access

Research article

First published 2016

Congruences of Edge-bipartite Graphs with Applications to Grothendieck Group Recognition II. Coxeter Type Study *

Andrzej Mróz

Fundamenta Informaticae

Retricted access

Research article

First published 2016

Congruences of Edge-bipartite Graphs with Applications to Grothendieck Group Recognition I. Inflation Algorithm Revisited *

Andrzej Mróz

Fundamenta Informaticae

Retricted access

Research article

First published 2017-8-3

Inflation Agorithm for Cox-regular Postive Edge-bipartite Graphs with Loops

Bartosz Makuracki, Daniel Simson, Błażej Zyglarski

Fundamenta Informaticae

Retricted access

Research article

First published 2016

Symbolic Algorithms Computing Gram Congruences in the Coxeter Spectral Classification of Edge-bipartite Graphs,II. Isotropy Mini-groups

Daniel Simson

Fundamenta Informaticae

Search results