Login / Signup
WEIT
2011
2016
2011
2016
Keyphrases
Publications
volume 324, 2016
Third Workshop-School on Theoretical Computer Science, WEIT 2015, Porto Alegre, Brazil, October 14-16, 2015
WEIT
324 (2016)
2013
Eduardo Silva Palmeira
,
Benjamín René Callejas Bedregal
Extension of Lattice-valued QL-implications.
WEIT
(2013)
Stephanie Loi Briao
,
Graçaliz Pereira Dimuro
,
Catia Maria dos Santos Machado
Linear Programming Modeling for Solving Fuzzy Zero-Sum Games.
WEIT
(2013)
Marcos Antonio de Oliveira Junior
,
Leila Ribeiro
,
Lucio Mauro Duarte
,
Érika F. Cota
Specification of Models Based on Contexts using Graph Grammars.
WEIT
(2013)
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)
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)
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)
Rogerio Rodrigues de Vargas
,
Benjamín René Callejas Bedregal
A Way to Obtain the Quality of a Partition by Adjusted Rand Index.
WEIT
(2013)
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)
Lucio Mauro Duarte
Behaviour Model Extraction from Software.
WEIT
(2013)
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)
2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013
WEIT
(2013)
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)
Alexander Gularte
,
Odorico Machado Mendizabal
,
Raquel de Miranda Barbosa
,
Diana Francisca Adamatti
Using DCOP to Solve Virtual Network Allocation Problems.
WEIT
(2013)
Alfio Martini
Programming Language Semantics with Isabelle/HOL.
WEIT
(2013)
Juliana Kaizer Vizzotto
Quantum Computing: State-of-Art and Challenges.
WEIT
(2013)
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)
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)
Bruno Crestani Calegaro
,
Juliana Kaizer Vizzotto
Quantum Monad Using Java Closures.
WEIT
(2013)
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)
Daniel Vaz dos Santos
,
Lucas Fernando de Souza Castro
,
Gleifer Vaz Alves
N-GraphML: Language and Formal Grammar for Proof-Graphs.
WEIT
(2013)
Heloina Alves Arnaldo
,
Benjamín René Callejas Bedregal
A New Way to Obtain the Initial Centroid Clusters in Fuzzy C-Means Algorithm.
WEIT
(2013)
Murilo Schmalfuss
,
Renata Reiser
,
Maurício L. Pilla
,
Adriano Maron
qGMC-Analyzer - Quantum Simulation on Multicore Architectures.
WEIT
(2013)
Ibero Camilo Kreps Benitez
,
Renata Hax Sander Reiser
,
Adenauer C. Yamin
,
Benjamín René Callejas Bedregal
Aggregating Fuzzy QL-Implications.
WEIT
(2013)
Antônio Carlos da Rocha Costa
Toward a Formal Reconstruction of Kelsen's Theory of Legal Systems.
WEIT
(2013)
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)
Francisco Revson Fernandes Pereira
,
Elloá Barreto Guedes
,
Francisco Marcos de Assis
Simulating the Quantum Fourier Transform.
WEIT
(2013)
Rodrigo Machado
An Introduction to Lambda Calculus and Functional Programming.
WEIT
(2013)
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)
Leila Ribeiro
,
Daltro José Nunes
,
Marcia Kniphoff da Cruz
,
Ecivaldo de Souza Matos
Computational Thinking: Possibilities and Challenges.
WEIT
(2013)
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)
2011
Ana Paula Lüdtke Ferreira
Model Checking.
WEIT
(2011)
2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011
WEIT
(2011)
Leila Ribeiro
,
Fernando Luís Dotti
Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars.
WEIT
(2011)
Antônio Carlos da Rocha Costa
Epistemic Relativism in Agent Societies: A Preliminary Semantic Model.
WEIT
(2011)
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)
Raquel de Miranda Barbosa
,
Antônio Carlos da Rocha Costa
Using RSL for the Formal Specification of PopOrg-based Multiagent Systems Organizations.
WEIT
(2011)
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)
Juliano Dertzbacher
,
Abraham Lincoln Rabelo de Sousa
,
Daltro J. Nunes
A Simulation Model for Process-Centered Software Engineering Environments Using Sensitivity Analysis.
WEIT
(2011)
Tiago da Cruz Asmus
,
Graçaliz Pereira Dimuro
On Fuzzy Probabilities in Bayesian Games.
WEIT
(2011)
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)
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)
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)
Leonardo Martins Rodrigues
,
Graçaliz Pereira Dimuro
Measuring the Quality of Internet Shopping: An Experiment Using Fuzzy Logic.
WEIT
(2011)
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)
Andre Moura de Mello
,
Luiz Carlos Lemos Junior
,
Luciana Foss
,
Simone André da Costa Cavalheiro
Graph Grammars: A Comparison between Verification Methods.
WEIT
(2011)
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)
Jorge Luis B. Ribes
,
Graçaliz Pereira Dimuro
,
Marilton Sanchotene de Aguiar
On Vector and Matrices of Fuzzy Numbers.
WEIT
(2011)
Simone André da Costa Cavalheiro
,
Antônio Carlos da Rocha Costa
,
Graçaliz Pereira Dimuro
Towards Developmental Turing Machines.
WEIT
(2011)
Rogerio Rodrigues de Vargas
,
Benjamín René Callejas Bedregal
,
Eduardo Silva Palmeira
A Comparison between K-Means, FCM and ckMeans Algorithms.
WEIT
(2011)