Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Gerardo Schneider

Low Dimensional Hybrid Systems – Decidable, Undecidable, Donʼt Know

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2012English

COST Action IC1402 Runtime Verification Beyond Monitoring

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Implementación De Un Software Para El Análisis De Imágenes Aéreas Multiespectrales De Caña De Azúcar [Implementation of Software for the Analysis of Multispectral Aerial Images Sugarcane]

Ventana Informatica
2013English

Algorithmic Analysis of Polygonal Hybrid Systems, Part I: Reachability

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2007English

Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Abstract Specification of Legal Contracts

2009English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy