Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Charles Grellois
Probabilistic Termination by Monadic Affine Sized Typing
ACM Transactions on Programming Languages and Systems
Software
Related publications
On Decidability of Monadic Logic of Order Over the Naturals Extended by Monadic Predicates
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Modeling and Control of State-Affine Probabilistic Systems for Atomic-Scale Dynamics
Termination by Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Monadic Constraint Programming
Journal of Functional Programming
Software
Monadic GMV-algebras
Archive for Mathematical Logic
Philosophy
Logic
High-Resolution Typing of Leptospira Interrogans Strains by Multispacer Sequence Typing
Journal of Clinical Microbiology
Microbiology
Handling Uncertainties With Affine Arithmetic and Probabilistic OPF for Increased Utilisation of Overhead Transmission Lines
Electric Power Systems Research
Electronic Engineering
Power Technology
Electrical
Energy Engineering
Epidemiological Typing of Serratia Marcescens by Whole Genome Multi-Locus Sequence Typing
Journal of Clinical Microbiology
Microbiology
Monadic Refinements for Relational Cost Analysis
Proceedings of the ACM on Programming Languages
