Sage Journals: Discover world-class research

Open access

Research article

First published 2021-5

Experimental Analysis of Algebraic Modelling Languages for Mathematical Optimization

Vaidas Jusevičius, Richard Oberdieck, Remigijus Paulavičius

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2014-1

Universal Query Language for Unified State Model

Piotr Wiśniewski, Krzysztof Stencel

Fundamenta Informaticae

Retricted access

Research article

First published 2002-1

The Bhopalator: An Information/Energy Dual Model of the Living Cell (II)

Sungchul Ji

Fundamenta Informaticae

Retricted access

Other

First published 2003-09

Object-Oriented Description of Hybrid Dynamic Systems of Variable Structure

Alfonso Urquia, Sebastian Dormido

SIMULATION

Retricted access

Research article

First published 1981-02

General Equation Modeling Systems (GEMS)- a mathematical simulation language

Paul D. Babcock, Leroy F. Stutzman, Thomas G. Koup

SIMULATION

Retricted access

Research article

First published 1997-9

A Concurrent Functional Semantics for a Process Algebra Based on Action Systems

Ugo Montanari, Gioia Ristori

Fundamenta Informaticae

Retricted access

Research article

First published 2018-12-19

Notions of semicomputability in topological algebras over the reals

Mark Armstrong, Jeffery Zucker

Computability

Retricted access

Research article

First published 2014-1

Formal Description of Alvis Language with α 0 System Layer

Marcin Szpyrka, Piotr Matyasik, Rafał Mrówka [...]

Fundamenta Informaticae

Retricted access

Research article

First published 1994-6

COMBINING CCS AND PETRI NETS VIA STRUCTURAL AXIOMS

Ugo Montanari, Daniel Yankelevich

Fundamenta Informaticae

Retricted access

Research article

First published 2017-12-21

Mereotopologies with Predicates of Actual Existence and Actual Contact

Dimiter Vakarelov

Fundamenta Informaticae

Search results