default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd WEIT 2015: Porto Alegre, Brazil
- Juliana Kaizer Vizzotto:
Third Workshop-School on Theoretical Computer Science, WEIT 2015, Porto Alegre, Brazil, October 14-16, 2015. Electronic Notes in Theoretical Computer Science 324, Elsevier 2016 - Juliana Kaizer Vizzotto:
Preface. 1 - Vítor Bujés Ubatuba De Araújo, Álvaro Freitas Moreira, Rodrigo Machado:
Týr: A Dependent Type System for Spatial Memory Safety in LLVM. 3-13 - Alex Bertei, Luciana Foss, Simone André da Costa Cavalheiro:
Translating Controlled Graph Grammars to Ordinary Graph Grammars. 15-30 - Jonas Santos Bezerra
, Andrei Costa, Leila Ribeiro, Érika F. Cota:
Formal Verification of Health Assessment Tools: a Case Study. 31-50 - Antônio Carlos da Rocha Costa:
Elements for a Formal Model of Intentional Systems. 51-66 - Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois:
FJQuantum - A Quantum Object Oriented Language. 67-77 - Carlos Amaral Hölbig, Vanessa Lago Machado, Willingthon Pavan:
Statistical Correction of the Result of Weather Forecast by Applying the Model Output Calibration. 79-90 - Hugo Daniel Macedo, Edward Hermann Haeusler, Alex de V. Garcia:
Defining Effectiveness Using Finite Sets A Study on Computability. 91-106 - Daniel Saad Nogueira Nunes, Mauricio Ayala-Rincón:
A Practical Semi-External Memory Method for Approximate Pattern Matching. 107-122 - Alison R. Panisson, Rafael H. Bordini, Antônio Carlos da Rocha Costa:
Towards Multi-Level Semantics for Multi-Agent Systems. 123-134 - Renata Reiser, Alexandre Lemke, Anderson Braga de Avila, Júlia Vieira, Maurício L. Pilla, André Rauber Du Bois:
Interpretations on Quantum Fuzzy Computing: Intuitionistic Fuzzy Operations × Quantum Operators. 135-150 - Renata Reiser, Rosana Medina Zanotelli, Simone André da Costa Cavalheiro, Luciana Foss, Benjamín R. C. Bedregal:
Robustness of f- and g-generated Fuzzy (Co)Implications: The Yager's (Co)Implication Case Study. 151-164 - Jefferson de Barros Santos, Bruno Lopes Vieira, Edward Hermann Haeusler:
A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic. 165-179
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-11 21:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
