Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Geert Jan Bex

A Formal Model for an Expressive Fragment of XSLT

Information Systems
HardwareInformation SystemsArchitectureSoftware
2002English

Related publications

SoNeUCONABC, an Expressive Usage Control Model for Web-Based Social Networks

Computers and Security
LawComputer Science
2014English

A Formal Model of Requirements

Open Transportation Journal
ModelingTransportationSimulation
2011English

A Formal Security Model for Microprocessor Hardware

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Formal Analysis of a Model for Electronic Payment Systems

2017English

An Expressive Semantics of Mocking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Prototypes With Multiple Dispatch: An Expressive and Dynamic Object Model

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

A Formal Model of Identity Mixer

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Formal Relaxation Oscillations for a Model of a Catalytic Particle

Quarterly of Applied Mathematics
Applied Mathematics
1984English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy