Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Răzvan Diaconescu

Quasi-Varieties and Initial Semantics for Hybridized Institutions

Journal of Logic and Computation

Theoretical Computer Science

English

On the Algebra of Structured Specifications

Theoretical Computer Science

Computer Science

Theoretical Computer Science

English

Introducing H, an Institution-Based Formal Specification and Verification Language

Logica Universalis

Applied Mathematics

English

An Encoding of Partial Algebras as Total Algebras

Information Processing Letters

Signal Processing

Computer Science Applications

Information Systems

Theoretical Computer Science

English

Related publications

Beyond Occupational Differences

Administrative Science Quarterly

Political Science

Public Administration

English

Dismantling Knowledge Boundaries at NASA: The Critical Role of Professional Identity in Open Innovation

Administrative Science Quarterly

Political Science

Public Administration

English

From the Editor

Administrative Science Quarterly

Political Science

Public Administration

English

Seeing More Than Orange: Organizational Respect and Positive Identity Transformation in a Prison Context

Administrative Science Quarterly

Political Science

Public Administration

English

How Cinderella Became a Queen

Administrative Science Quarterly

Political Science

Public Administration

English

The Role of Accelerator Designs in Mitigating Bounded Rationality in New Ventures

Administrative Science Quarterly

Political Science

Public Administration

English

Fraud and Market Participation

Administrative Science Quarterly

Political Science

Public Administration

English

Corrigendum

Administrative Science Quarterly

Political Science

Public Administration

English

The Forward Search for Very Large Datasets

Journal of Statistical Software

English

R Graphics (3rd Edition)

Journal of Statistical Software

English