| 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  |
WEIT  |
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. |
WEIT |
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. |
WEIT |
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. |
WEIT |
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. |
WEIT |
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. |
WEIT |
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. |
WEIT |
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. |
WEIT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Kaizer Vizzotto |
Preface. |
WEIT |
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. |
WEIT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Antônio Carlos da Rocha Costa |
Elements for a Formal Model of Intentional Systems. |
WEIT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Bertei, Luciana Foss, Simone André da Costa Cavalheiro |
Translating Controlled Graph Grammars to Ordinary Graph Grammars. |
WEIT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Saad Nogueira Nunes, Mauricio Ayala-Rincón |
A Practical Semi-External Memory Method for Approximate Pattern Matching. |
WEIT |
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. |
WEIT |
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. |
WEIT |
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. |
WEIT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfio Martini |
Programming Language Semantics with Isabelle/HOL. |
WEIT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Silva Palmeira, Benjamín René Callejas Bedregal |
Extension of Lattice-valued QL-implications. |
WEIT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Revson Fernandes Pereira, Elloá Barreto Guedes, Francisco Marcos de Assis |
Simulating the Quantum Fourier Transform. |
WEIT |
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. |
WEIT |
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. |
WEIT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Antônio Carlos da Rocha Costa |
Toward a Formal Reconstruction of Kelsen's Theory of Legal Systems. |
WEIT |
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. |
WEIT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Crestani Calegaro, Juliana Kaizer Vizzotto |
Quantum Monad Using Java Closures. |
WEIT |
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. |
WEIT |
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. |
WEIT |
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. |
WEIT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Murilo Schmalfuss, Renata Reiser, Maurício L. Pilla, Adriano Maron |
qGMC-Analyzer - Quantum Simulation on Multicore Architectures. |
WEIT |
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. |
WEIT |
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. |
WEIT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | |
2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013 |
WEIT |
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. |
WEIT |
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. |
WEIT |
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. |
WEIT |
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. |
WEIT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Kaizer Vizzotto |
Quantum Computing: State-of-Art and Challenges. |
WEIT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Machado |
An Introduction to Lambda Calculus and Functional Programming. |
WEIT |
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. |
WEIT |
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. |
WEIT |
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. |
WEIT |
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. |
WEIT |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucio Mauro Duarte |
Behaviour Model Extraction from Software. |
WEIT |
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. |
WEIT |
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. |
WEIT |
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. |
WEIT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alice Finger, Aline Loreto |
Applications of Numerical Methods with Linear Complexity in Flood Forecasting in Rivers. |
WEIT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | |
2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011 |
WEIT |
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. |
WEIT |
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. |
WEIT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonardo Martins Rodrigues, Graçaliz Pereira Dimuro |
Measuring the Quality of Internet Shopping: An Experiment Using Fuzzy Logic. |
WEIT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antônio Carlos da Rocha Costa |
Theoretical Computing Machines: A Systemic Approach. |
WEIT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leila Ribeiro 0001, Fernando Luís Dotti |
Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars. |
WEIT |
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. |
WEIT |
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. |
WEIT |
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. |
WEIT |
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. |
WEIT |
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. |
WEIT |
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. |
WEIT |
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. |
WEIT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Paula Lüdtke Ferreira |
Model Checking. |
WEIT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antônio Carlos da Rocha Costa |
Epistemic Relativism in Agent Societies: A Preliminary Semantic Model. |
WEIT |
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. |
WEIT |
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. |
WEIT |
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. |
WEIT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiago da Cruz Asmus, Graçaliz Pereira Dimuro |
On Fuzzy Probabilities in Bayesian Games. |
WEIT |
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. |
WEIT |
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. |
WEIT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Murian dos Reis Ribeiro, Marilton Sanchotene de Aguiar |
Cultural Algorithms: A Study of Concepts and Approaches. |
WEIT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Graçaliz Pereira Dimuro |
On Interval Fuzzy Numbers. |
WEIT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lidiane Visintin, Renata Hax Sander Reiser, Benjamín René Callejas Bedregal |
Interval-Valued Intuitionistic Fuzzy Implications. |
WEIT |
2011 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license