Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Joseph Boudou

Iteration-Free PDL With Storing, Recovering and Parallel Composition: A Complete Axiomatization

Journal of Logic and Computation

Theoretical Computer Science

English

Axiomatization and Computability of a Variant of Iteration-Free PDL With Fork

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic

Lecture Notes in Computer Science

Computer Science

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