WEIT

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