Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Juliana Kaizer Vizzotto (eds.) |
Third Workshop-School on Theoretical Computer Science, WEIT 2015, Porto Alegre, Brazil, October 14-16, 2015 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![Elsevier The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: Third Workshop-School on Theoretical Computer Science, WEIT 2015, Porto Alegre, Brazil, October 14-16, 2015, pp. 135-150, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: Third Workshop-School on Theoretical Computer Science, WEIT 2015, Porto Alegre, Brazil, October 14-16, 2015, pp. 151-164, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Daniel Macedo, Edward Hermann Haeusler, Alex de V. Garcia |
Defining Effectiveness Using Finite Sets A Study on Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: Third Workshop-School on Theoretical Computer Science, WEIT 2015, Porto Alegre, Brazil, October 14-16, 2015, pp. 91-106, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois |
FJQuantum - A Quantum Object Oriented Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: Third Workshop-School on Theoretical Computer Science, WEIT 2015, Porto Alegre, Brazil, October 14-16, 2015, pp. 67-77, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: Third Workshop-School on Theoretical Computer Science, WEIT 2015, Porto Alegre, Brazil, October 14-16, 2015, pp. 3-13, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alison R. Panisson, Rafael H. Bordini, Antônio Carlos da Rocha Costa |
Towards Multi-Level Semantics for Multi-Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: Third Workshop-School on Theoretical Computer Science, WEIT 2015, Porto Alegre, Brazil, October 14-16, 2015, pp. 123-134, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Amaral Hölbig, Vanessa Lago Machado, Willingthon Pavan |
Statistical Correction of the Result of Weather Forecast by Applying the Model Output Calibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: Third Workshop-School on Theoretical Computer Science, WEIT 2015, Porto Alegre, Brazil, October 14-16, 2015, pp. 79-90, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Juliana Kaizer Vizzotto |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: Third Workshop-School on Theoretical Computer Science, WEIT 2015, Porto Alegre, Brazil, October 14-16, 2015, pp. 1, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Santos Bezerra, Andrei Costa, Leila Ribeiro 0001, Érika F. Cota |
Formal Verification of Health Assessment Tools: a Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: Third Workshop-School on Theoretical Computer Science, WEIT 2015, Porto Alegre, Brazil, October 14-16, 2015, pp. 31-50, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Antônio Carlos da Rocha Costa |
Elements for a Formal Model of Intentional Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: Third Workshop-School on Theoretical Computer Science, WEIT 2015, Porto Alegre, Brazil, October 14-16, 2015, pp. 51-66, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alex Bertei, Luciana Foss, Simone André da Costa Cavalheiro |
Translating Controlled Graph Grammars to Ordinary Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: Third Workshop-School on Theoretical Computer Science, WEIT 2015, Porto Alegre, Brazil, October 14-16, 2015, pp. 15-30, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Saad Nogueira Nunes, Mauricio Ayala-Rincón |
A Practical Semi-External Memory Method for Approximate Pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: Third Workshop-School on Theoretical Computer Science, WEIT 2015, Porto Alegre, Brazil, October 14-16, 2015, pp. 107-122, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jefferson de Barros Santos, Bruno Lopes Vieira, Edward Hermann Haeusler |
A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: Third Workshop-School on Theoretical Computer Science, WEIT 2015, Porto Alegre, Brazil, October 14-16, 2015, pp. 165-179, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alice Fonseca Finger, Aline Brum Loreto, Vinicius Signori Furlan |
The Computational Complexity of Random Variables with Uniform, Exponential and Pareto Distributions in Real and Interval Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 79-83, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Costa, Vinícius Steffens Pazzini, Luciana Foss, Simone André da Costa Cavalheiro, Lisane B. de Brisolara, Flávio Rech Wagner |
Automatic Translation from UML to Simulink CAAM Using Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 59-66, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alfio Martini |
Programming Language Semantics with Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 14-21, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eduardo Silva Palmeira, Benjamín René Callejas Bedregal |
Extension of Lattice-valued QL-implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 158-164, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Revson Fernandes Pereira, Elloá Barreto Guedes, Francisco Marcos de Assis |
Simulating the Quantum Fourier Transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 40-44, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rosana Medina Zanotelli, Renata Hax Sander Reiser, Simone André da Costa Cavalheiro, Luciana Foss |
Sensitivity and Dual Constructions on the Fuzzy f-Xor Class. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 105-110, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Mezzomo, Benjamín René Callejas Bedregal, Regivan Hugo Nunes Santiago, Renata Hax Sander Reiser |
Fuzzy a-Ideals of Product Operator on Bounded Fuzzy Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 45-50, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Antônio Carlos da Rocha Costa |
Toward a Formal Reconstruction of Kelsen's Theory of Legal Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 165-171, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andre Moura de Mello, Luciana Foss, Simone André da Costa Cavalheiro |
Graph Grammar Specification for the Populational Level of Multi-agent System Organizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 97-104, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Crestani Calegaro, Juliana Kaizer Vizzotto |
Quantum Monad Using Java Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 34-39, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stephanie Loi Briao, Graçaliz Pereira Dimuro, Catia Maria dos Santos Machado |
Linear Programming Modeling for Solving Fuzzy Zero-Sum Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 84-91, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matheus Machado dos Santos, Mauricio G. Goulart, Giovana J. Gelatti, Karina S. Machado, Adriano Velasque Werhli, Odorico Machado Mendizabal |
Parallel Algorithm for the HP Protein Folding Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 72-77, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luiz Carlos Lemos Junior, Simone André da Costa Cavalheiro, Luciana Foss |
Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through Rodin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 51-58, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Murilo Schmalfuss, Renata Reiser, Maurício L. Pilla, Adriano Maron |
qGMC-Analyzer - Quantum Simulation on Multicore Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 145-150, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Heloina Alves Arnaldo, Benjamín René Callejas Bedregal |
A New Way to Obtain the Initial Centroid Clusters in Fuzzy C-Means Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 139-144, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vinicius R. dos Santos, Maurício L. Pilla, Renata Reiser, Alice J. Kozakevicius |
Int-Haar: Improving Precision of the Haar Interval Wavelet Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 92-96, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | |
2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![IEEE Computer Society, 978-1-4799-3057-9 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Diego Jaccottet, Renata Reiser, Adenauer C. Yamin, Benjamín René Callejas Bedregal |
Analysing Properties, Conjugate and Dual Constructions on Fuzzy s-X(N)or Connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 78, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jerônimo da Cunha Ramos, André Rauber Du Bois, Maurício Lima Pilla |
A Domain Specific Language based on Monads for Distributed Transactional Memory in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 172-174, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Gularte, Odorico Machado Mendizabal, Raquel de Miranda Barbosa, Diana Francisca Adamatti |
Using DCOP to Solve Virtual Network Allocation Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 116-120, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rogerio Rodrigues de Vargas, Benjamín René Callejas Bedregal |
A Way to Obtain the Quality of a Partition by Adjusted Rand Index. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 67-71, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Juliana Kaizer Vizzotto |
Quantum Computing: State-of-Art and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 9-13, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Machado |
An Introduction to Lambda Calculus and Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 26-33, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Taina Carvalho, Daiane Andrade, Jayne Silveira, Victor Auler, Simone André da Costa Cavalheiro, Marilton S. de Aguiar, Luciana Foss, Ana Marilza Pernas, Renata Reiser |
Discussing the Challenges Related to Deployment of Computational Thinking in Brazilian Basic Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 111-115, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Vaz dos Santos, Lucas Fernando Souza de Castro, Gleifer Vaz Alves |
N-GraphML: Language and Formal Grammar for Proof-Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 135-138, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marcos Antonio de Oliveira Junior, Leila Ribeiro 0001, Lucio Mauro Duarte, Érika F. Cota |
Specification of Models Based on Contexts using Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 129-134, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Lemke, Renata Hax Sander Reiser, André Rauber Du Bois, Maurício Lima Pilla |
Aggregation Operators on the Fuzzy e-Xor and e-XNor Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 151-157, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lucio Mauro Duarte |
Behaviour Model Extraction from Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 1-8, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Leila Ribeiro 0001, Daltro José Nunes, Marcia E. J. Kniphoff da Cruz, Ecivaldo de Souza Matos |
Computational Thinking: Possibilities and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 22-25, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ibero Camilo Kreps Benitez, Renata Hax Sander Reiser, Adenauer C. Yamin, Benjamín René Callejas Bedregal |
Aggregating Fuzzy QL-Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 121-128, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Simone André da Costa Cavalheiro, Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro |
Towards Developmental Turing Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011, pp. 156-162, 2011, IEEE Computer Society, 978-1-4673-0225-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alice Finger, Aline Loreto |
Applications of Numerical Methods with Linear Complexity in Flood Forecasting in Rivers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011, pp. 113-119, 2011, IEEE Computer Society, 978-1-4673-0225-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | |
2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![IEEE Computer Society, 978-1-4673-0225-8 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Nícolas Nogueira Bisi, Vinícius Steffens Pazzini, Luciana Foss, Simone André da Costa Cavalheiro, Lisane B. de Brisolara, Flávio Rech Wagner |
Using Graph Grammars to Develop Embedded Systems Based on UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011, pp. 81-87, 2011, IEEE Computer Society, 978-1-4673-0225-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Giovani Parente Farias, Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa |
A Fuzzy-BDI Agent Model for Exchanges of Non-economic Services, Based on the Social Exchange Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011, pp. 134-137, 2011, IEEE Computer Society, 978-1-4673-0225-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Martins Rodrigues, Graçaliz Pereira Dimuro |
Measuring the Quality of Internet Shopping: An Experiment Using Fuzzy Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011, pp. 60-66, 2011, IEEE Computer Society, 978-1-4673-0225-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Antônio Carlos da Rocha Costa |
Theoretical Computing Machines: A Systemic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011, pp. 21, 2011, IEEE Computer Society, 978-1-4673-0225-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Leila Ribeiro 0001, Fernando Luís Dotti |
Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011, pp. 15-20, 2011, IEEE Computer Society, 978-1-4673-0225-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Felipe Martins Müller, Guilherme Dhein, Olinto César Bassi de Araújo |
Theoretical and Experimental Analysis of the Jurema Branch-and-Bound Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011, pp. 102-107, 2011, IEEE Computer Society, 978-1-4673-0225-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andre Moura de Mello, Luiz Carlos Lemos Junior, Luciana Foss, Simone André da Costa Cavalheiro |
Graph Grammars: A Comparison between Verification Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011, pp. 88-94, 2011, IEEE Computer Society, 978-1-4673-0225-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gesner Antonio Azevedo dos Reis, Lidiane Visintin, Renata Hax Sander Reiser, Benjamín René Callejas Bedregal |
Conjugate and Dual Constructions on Interval Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011, pp. 53-59, 2011, IEEE Computer Society, 978-1-4673-0225-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Cícero Augusto de S. Camargo, Gerson Geraldo Homrich Cavalheiro, Luciana Foss, Simone André da Costa Cavalheiro |
A Graph Grammar to Transform DAGs into Graphs Describing Multithreaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011, pp. 95-101, 2011, IEEE Computer Society, 978-1-4673-0225-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Luis B. Ribes, Graçaliz Pereira Dimuro, Marilton Sanchotene de Aguiar |
On Vector and Matrices of Fuzzy Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011, pp. 39-45, 2011, IEEE Computer Society, 978-1-4673-0225-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rogerio Rodrigues de Vargas, Benjamín René Callejas Bedregal, Eduardo Silva Palmeira |
A Comparison between K-Means, FCM and ckMeans Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011, pp. 32-38, 2011, IEEE Computer Society, 978-1-4673-0225-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Renan Spencer Trindade, Guilherme Dhein, Felipe Martins Müller, Olinto César Bassi de Araújo |
Mixed Integer Linear Programming Models to Solve the Shisen-Sho Puzzle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011, pp. 108-112, 2011, IEEE Computer Society, 978-1-4673-0225-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ana Paula Lüdtke Ferreira |
Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011, pp. 9-14, 2011, IEEE Computer Society, 978-1-4673-0225-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Antônio Carlos da Rocha Costa |
Epistemic Relativism in Agent Societies: A Preliminary Semantic Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011, pp. 149-155, 2011, IEEE Computer Society, 978-1-4673-0225-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mateus Madail Santin, Silvia Silva da Costa Botelho, Graçaliz Pereira Dimuro, Celso Luiz Lopes Rodrigues |
Hand Skill Programming: Using Fuzzy Sets to Program Topobo Kinectis Memory Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011, pp. 67-73, 2011, IEEE Computer Society, 978-1-4673-0225-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Raquel de Miranda Barbosa, Antônio Carlos da Rocha Costa |
Using RSL for the Formal Specification of PopOrg-based Multiagent Systems Organizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011, pp. 127-133, 2011, IEEE Computer Society, 978-1-4673-0225-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Juliano Dertzbacher, Abraham Lincoln Rabelo de Sousa, Daltro J. Nunes |
A Simulation Model for Process-Centered Software Engineering Environments Using Sensitivity Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011, pp. 74-80, 2011, IEEE Computer Society, 978-1-4673-0225-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tiago da Cruz Asmus, Graçaliz Pereira Dimuro |
On Fuzzy Probabilities in Bayesian Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011, pp. 25-31, 2011, IEEE Computer Society, 978-1-4673-0225-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stephanie Loi Briao, Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa |
Modeling Uncertainty and Decision Making in Strategic Interactions in Multiagent Systems: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011, pp. 120-126, 2011, IEEE Computer Society, 978-1-4673-0225-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Luís Felipe K. de Macedo, Graçaliz Pereira Dimuro, Marilton Sanchotene de Aguiar |
Hybrid Intelligent Systems: A Study on Genetic Algorithms and Fuzzy Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011, pp. 138-144, 2011, IEEE Computer Society, 978-1-4673-0225-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Murian dos Reis Ribeiro, Marilton Sanchotene de Aguiar |
Cultural Algorithms: A Study of Concepts and Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011, pp. 145-148, 2011, IEEE Computer Society, 978-1-4673-0225-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Graçaliz Pereira Dimuro |
On Interval Fuzzy Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011, pp. 3-8, 2011, IEEE Computer Society, 978-1-4673-0225-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Lidiane Visintin, Renata Hax Sander Reiser, Benjamín René Callejas Bedregal |
Interval-Valued Intuitionistic Fuzzy Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011, pp. 46-52, 2011, IEEE Computer Society, 978-1-4673-0225-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|