Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Valerie Novitzká

Coalgebras for Modelling Observable Behaviour of Programs

Journal of Applied Mathematics and Computational Mechanics

English

Related publications

A Note on Descent for Coalgebras

Homology, Homotopy and Applications

English

André-Quillen Cohomology for Commutative Coalgebras

Colloquium Mathematicum

English

Coalgebras of Bounded Type

Mathematical Structures in Computer Science

Computer Science Applications

English

The Modelling of Pedestrian Vehicle Interaction for Post-Exiting Behaviour

Collective Dynamics

English

Observational Ultraproducts of Polynomial Coalgebras

Annals of Pure and Applied Logic

English

The $${{\Mathcal {HS}} = {\Mathcal {SH}}}$$ Problem for Coalgebras

Algebra Universalis

English

An Agent-Based Design for the Learner Behaviour Modelling

Information Technology Journal

English

Finite Element Modelling for Tensile Behaviour of Thermally Bonded Nonwoven Fabric

Autex Research Journal

Materials Science

Management of Technology

Manufacturing Engineering

English

Phase Behaviour Modelling of Athabasca Bitumen for in Situ Combustion Applications

Canadian Journal of Chemical Engineering

Chemical Engineering

English