Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Mario Gleirscher

Isabelle/Sacm: Computer-Assisted Assurance Cases With Integrated Formal Methods

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Related publications

Formal Methods in Computer-Aided Design

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

2008 Formal Methods in Computer-Aided Design

2008English

Computer Facilities for Isabelle Data Handling

1977English

Erratum To: The Handbook of Formal Methods in Human-Computer Interaction

The Handbook of Formal Methods in Human-Computer Interaction
2017English

Integrated Reporting en Assurance

Maandblad Voor Accountancy en Bedrijfseconomie
2011English

Computer-Aided Dispatch System Family Architecture and Verification: An Integrated Formal Approach

IEE Proceedings - Software
2006English

Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains

2015English

Top-Down Processing in Four-Skills Integrated Computer-Assisted Language Learning

2018English

Computer-Assisted Restriction Mapping: An Integrated Approach to Handling Experimental Uncertainty

Bioinformatics
StatisticsProbabilityMolecular BiologyBiochemistryComputational TheoryComputer Science ApplicationsMathematicsComputational Mathematics
1994English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy