Skip to main content

ETHNOS_APP

Home • Search • Journals • List 0

Gerardo Schneider

Biographic Data

ID9730187
NAMEGerardo Schneider
GIVEN NAMESGerardo
FAMILY NAMESchneider
SIGNATURESCHNEIDER G
AFFILIATIONSChalmers University of Technology
ORCID0000-0003-0629-6853
VERIFIEDYes
TOTAL WORKS2
TOTAL CITATIONS0
WORKS AS AUTHOR2
WORKS AS EDITOR0
FIRST PUBLICATION YEAR2004
LATEST PUBLICATION YEAR2023
H-INDEX0
  • When is good enough good enough? On software assurances

    Open Access•Joshua Ellul, Gordon J Pace et al.•ARTICLE•ERA•2023

  • Model Checking Polygonal Differential Inclusions Using Invariance Kernels

    Gordon J Pace, Gerardo Schneider•CHAPTER•Verification, Model Checking, and…•2004

No prominent works on this page.

  • Model Checking Polygonal Differential Inclusions Using Invariance Kernels

    Gordon J Pace, Gerardo Schneider•CHAPTER•Verification, Model Checking, and…•2004

  • When is good enough good enough? On software assurances

    Open Access•Joshua Ellul, Gordon J Pace et al.•ARTICLE•ERA•2023

Computer Science (2 works) · Advanced Malware Detection Techniques (1 work) · Algorithm (1 work) · Automaton (1 work) · Business (1 work) · Computer security (1 work) · Differential inclusion (1 work) · Discrete mathematics (1 work) · European integration (1 work) · European union (1 work)

Ethnos_APP • Open Source Project • MIT License • Frontend v2.0.0 • Privacy and Cookies • API Documentation: api.ethnos.app/docs • API Source Code: GitHub • DOI: 10.5281/zenodo.17049435 • Frontend Source Code: GitHub • DOI: 10.5281/zenodo.17050053 • cruz.rio.br • Expectantes Misericordiae