Synthesis and Analysis of Petri Nets from Causal Specifications

von Oliveira, Mateus de Oliveira
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 2 (2022)

From Width-Based Model Checking to Width-Based Automated Theorem Proving

von Oliveira, Mateus de Oliveira
Veröffentlicht in AAAI Conference on Artificial Intelligence (37. : 2023 : Washington, DC; Online) 37th AAAI Conference on Artificial Intelligence (AAAI-23) ; Volume 5, part 2 of 2 (2023)

On the Fine Grained Complexity of Finite Automata Non-emptiness of Intersection

von Oliveira, Mateus de Oliveira
Veröffentlicht in DLT (24. : 2020 : Tampa, Fla.) Developments in language theory (2020)

Un nouveau genre et une nouvelle espèce d'AMPHIPODE troglobie du Portugal

von Mateus, Amílcar
Veröffentlicht 1958

Are we planning investments to fail? Consequences of traffic forecast effects on PPP contracts : Portuguese and Brazilian cases

von Oliveira, Matheus
Veröffentlicht in Research in transportation economics (2016)

Learning from Positive and Negative Examples: Dichotomies and Parameterized Algorithms

von Lingg, Jonas
Veröffentlicht in IWOCA (33. : 2022 : Trier) Combinatorial algorithms (2022)

SYMBOLIC SOLUTIONS FOR SYMBOLIC CONSTRAINT SATISFACTION PROBLEMS

von Melo, Alexsander Andrade De
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 1 of 2 (2021)

Second-Order Finite Automata

von Melo, Alexsander Andrade de
Veröffentlicht in International Computer Science Symposium (15. : 2020 : Online) Computer science - theory and applications (2020)

La participation à la gestion de l'eau : le cas du bassin du São Francisco au Brésil

von Valle de Carvalho e Oliveira, Matheus
Veröffentlicht 2009

A BENCHMARK DATASET FOR SEMI-AUTOMATIC SEISMIC INTERPRETATION BASED ON A NEW ZEALAND'S SEISMIC SURVEY

von Oliveira, Matheus
Veröffentlicht in Society of Exploration Geophysicists (90. : 2020 : Online) 90th Society of Exploration Geophysicists International Exposition and Annual Meeting 2020 ; Volume 5 of 5 (2021)

Scheduling pumpoff operations in onshore oilfields under electric-power constraints

von Camponogara, Eduardo
Veröffentlicht in European journal of operational research (2015)

ANALYSIS OF SEISMIC AND TEXTURE ATTRIBUTES FOR STRATIGRAPHIC SEGMENTATION

von Ferraz, Marco
Veröffentlicht in Society of Exploration Geophysicists (89. : 2019 : San Antonio, Tex.) 89th Society of Exploration Geophysicists International Exposition and Annual Meeting 2019 ; Volume 3 of 7 (2020)

233-1 - ANÁLISE ESTATÍSTICA MULTIVARIADA DE DADOS DE XRF OBTIDOS DE MOEDAS HISTÓRICAS UTILIZANDO PYTHON

von Goncalves, Barbara
Veröffentlicht in International Nuclear Atlantic Conference (10. : 2021 : Online) Nuclear technology: reducing our carbon footprint and increasing quality of life ; Volume 2 of 2 (2022)

UNITARY BRANCHING PROGRAMS: LEARNABILITY AND LOWER BOUNDS

von ANDINO, FIDEL ERNESTO DÍAZ
Veröffentlicht in International Conference on Machine Learning (38. : 2021 : Online) International Conference on Machine Learning (ICML 2021 ; Part 1 of 16 (2022)

Succinct Monotone Circuit Certification: Planarity and Parameterized Complexity

von Alves, Mateus Rodrigues
Veröffentlicht in COCOON (26. : 2020 : Online) Computing and combinatorics (2020)