Search dblp for Publications

export results for "toc:db/conf/weit/weit2013.bht:"

 download as .bib file

@inproceedings{DBLP:conf/weit/ArnaldoB13,
  author       = {Heloina Alves Arnaldo and
                  Benjam{\'{\i}}n Ren{\'{e}} Callejas Bedregal},
  title        = {A New Way to Obtain the Initial Centroid Clusters in Fuzzy C-Means
                  Algorithm},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {139--144},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.30},
  doi          = {10.1109/WEIT.2013.30},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/ArnaldoB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/BenitezRYB13,
  author       = {Ibero Camilo Kreps Benitez and
                  Renata Hax Sander Reiser and
                  Adenauer C. Yamin and
                  Benjam{\'{\i}}n Ren{\'{e}} Callejas Bedregal},
  title        = {Aggregating Fuzzy QL-Implications},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {121--128},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.11},
  doi          = {10.1109/WEIT.2013.11},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/BenitezRYB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/BriaoDM13,
  author       = {Stephanie Loi Briao and
                  Gra{\c{c}}aliz Pereira Dimuro and
                  Catia Maria dos Santos Machado},
  title        = {Linear Programming Modeling for Solving Fuzzy Zero-Sum Games},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {84--91},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.12},
  doi          = {10.1109/WEIT.2013.12},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/BriaoDM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/CalegaroV13,
  author       = {Bruno Crestani Calegaro and
                  Juliana Kaizer Vizzotto},
  title        = {Quantum Monad Using Java Closures},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {34--39},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.31},
  doi          = {10.1109/WEIT.2013.31},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/CalegaroV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/CarvalhoASACAFPR13,
  author       = {Taina Carvalho and
                  Daiane Andrade and
                  Jayne Silveira and
                  Victor Auler and
                  Simone Andr{\'{e}} da Costa Cavalheiro and
                  Marilton S. de Aguiar and
                  Luciana Foss and
                  Ana Marilza Pernas and
                  Renata Reiser},
  title        = {Discussing the Challenges Related to Deployment of Computational Thinking
                  in Brazilian Basic Education},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {111--115},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.27},
  doi          = {10.1109/WEIT.2013.27},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/CarvalhoASACAFPR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/Costa13,
  author       = {Ant{\^{o}}nio Carlos da Rocha Costa},
  title        = {Toward a Formal Reconstruction of Kelsen's Theory of Legal Systems},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {165--171},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.23},
  doi          = {10.1109/WEIT.2013.23},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/Costa13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/CostaPFCBW13,
  author       = {Andrei Costa and
                  Vin{\'{\i}}cius Steffens Pazzini and
                  Luciana Foss and
                  Simone Andr{\'{e}} da Costa Cavalheiro and
                  Lisane B. de Brisolara and
                  Fl{\'{a}}vio Rech Wagner},
  title        = {Automatic Translation from {UML} to Simulink {CAAM} Using Graph Grammars},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {59--66},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.20},
  doi          = {10.1109/WEIT.2013.20},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/CostaPFCBW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/Duarte13,
  author       = {Lucio Mauro Duarte},
  title        = {Behaviour Model Extraction from Software},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {1--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.19},
  doi          = {10.1109/WEIT.2013.19},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/Duarte13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/FingerLF13,
  author       = {Alice Fonseca Finger and
                  Aline Brum Loreto and
                  Vinicius Signori Furlan},
  title        = {The Computational Complexity of Random Variables with Uniform, Exponential
                  and Pareto Distributions in Real and Interval Forms},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {79--83},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.28},
  doi          = {10.1109/WEIT.2013.28},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/FingerLF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/GularteMBA13,
  author       = {Alexander Gularte and
                  Odorico Machado Mendizabal and
                  Raquel de Miranda Barbosa and
                  Diana Francisca Adamatti},
  title        = {Using {DCOP} to Solve Virtual Network Allocation Problems},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {116--120},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.17},
  doi          = {10.1109/WEIT.2013.17},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/GularteMBA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/JaccottetRYB13,
  author       = {Diego Jaccottet and
                  Renata Reiser and
                  Adenauer C. Yamin and
                  Benjam{\'{\i}}n Ren{\'{e}} Callejas Bedregal},
  title        = {Analysing Properties, Conjugate and Dual Constructions on Fuzzy s-X(N)or
                  Connectives},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {78},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.37},
  doi          = {10.1109/WEIT.2013.37},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/JaccottetRYB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/JuniorCF13,
  author       = {Luiz Carlos Lemos Junior and
                  Simone Andr{\'{e}} da Costa Cavalheiro and
                  Luciana Foss},
  title        = {Towards the Use and Description of Proof Tactics for Theorem Proving
                  Graph Grammars through Rodin},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {51--58},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.24},
  doi          = {10.1109/WEIT.2013.24},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/JuniorCF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/JuniorRDC13,
  author       = {Marcos Antonio de Oliveira Junior and
                  Leila Ribeiro and
                  Lucio Mauro Duarte and
                  {\'{E}}rika F. Cota},
  title        = {Specification of Models Based on Contexts using Graph Grammars},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {129--134},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.36},
  doi          = {10.1109/WEIT.2013.36},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/JuniorRDC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/LemkeRBP13,
  author       = {Alexandre Lemke and
                  Renata Hax Sander Reiser and
                  Andr{\'{e}} Rauber Du Bois and
                  Maur{\'{\i}}cio Lima Pilla},
  title        = {Aggregation Operators on the Fuzzy e-Xor and e-XNor Classes},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {151--157},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.14},
  doi          = {10.1109/WEIT.2013.14},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/LemkeRBP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/Machado13,
  author       = {Rodrigo Machado},
  title        = {An Introduction to Lambda Calculus and Functional Programming},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {26--33},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.40},
  doi          = {10.1109/WEIT.2013.40},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/Machado13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/Martini13,
  author       = {Alfio Martini},
  title        = {Programming Language Semantics with Isabelle/HOL},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {14--21},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.29},
  doi          = {10.1109/WEIT.2013.29},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/Martini13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/MelloFC13,
  author       = {Andre Moura de Mello and
                  Luciana Foss and
                  Simone Andr{\'{e}} da Costa Cavalheiro},
  title        = {Graph Grammar Specification for the Populational Level of Multi-agent
                  System Organizations},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {97--104},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.26},
  doi          = {10.1109/WEIT.2013.26},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/MelloFC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/MezzomoBSR13,
  author       = {Ivan Mezzomo and
                  Benjam{\'{\i}}n Ren{\'{e}} Callejas Bedregal and
                  Regivan Hugo Nunes Santiago and
                  Renata Hax Sander Reiser},
  title        = {Fuzzy a-Ideals of Product Operator on Bounded Fuzzy Lattices},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {45--50},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.15},
  doi          = {10.1109/WEIT.2013.15},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/MezzomoBSR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/PalmeiraB13,
  author       = {Eduardo Silva Palmeira and
                  Benjam{\'{\i}}n Ren{\'{e}} Callejas Bedregal},
  title        = {Extension of Lattice-valued QL-implications},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {158--164},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.38},
  doi          = {10.1109/WEIT.2013.38},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/PalmeiraB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/PereiraGA13,
  author       = {Francisco Revson Fernandes Pereira and
                  Ello{\'{a}} Barreto Guedes and
                  Francisco Marcos de Assis},
  title        = {Simulating the Quantum Fourier Transform},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {40--44},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.10},
  doi          = {10.1109/WEIT.2013.10},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/PereiraGA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/RamosBP13,
  author       = {Jer{\^{o}}nimo da Cunha Ramos and
                  Andr{\'{e}} Rauber Du Bois and
                  Maur{\'{\i}}cio Lima Pilla},
  title        = {A Domain Specific Language based on Monads for Distributed Transactional
                  Memory in Java},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {172--174},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.39},
  doi          = {10.1109/WEIT.2013.39},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/RamosBP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/RibeiroNCM13,
  author       = {Leila Ribeiro and
                  Daltro Jos{\'{e}} Nunes and
                  Marcia E. J. Kniphoff da Cruz and
                  Ecivaldo de Souza Matos},
  title        = {Computational Thinking: Possibilities and Challenges},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {22--25},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.32},
  doi          = {10.1109/WEIT.2013.32},
  timestamp    = {Thu, 15 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/RibeiroNCM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/SantosCA13,
  author       = {Daniel Vaz dos Santos and
                  Lucas Fernando Souza de Castro and
                  Gleifer Vaz Alves},
  title        = {N-GraphML: Language and Formal Grammar for Proof-Graphs},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {135--138},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.35},
  doi          = {10.1109/WEIT.2013.35},
  timestamp    = {Sun, 19 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/SantosCA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/SantosGGMWM13,
  author       = {Matheus Machado dos Santos and
                  Mauricio G. Goulart and
                  Giovana J. Gelatti and
                  Karina S. Machado and
                  Adriano Velasque Werhli and
                  Odorico Machado Mendizabal},
  title        = {Parallel Algorithm for the {HP} Protein Folding Problem},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {72--77},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.18},
  doi          = {10.1109/WEIT.2013.18},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/SantosGGMWM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/SantosPRK13,
  author       = {Vinicius R. dos Santos and
                  Maur{\'{\i}}cio L. Pilla and
                  Renata Reiser and
                  Alice J. Kozakevicius},
  title        = {Int-Haar: Improving Precision of the Haar Interval Wavelet Extension},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {92--96},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.16},
  doi          = {10.1109/WEIT.2013.16},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/SantosPRK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/SchmalfussRPM13,
  author       = {Murilo Schmalfuss and
                  Renata Reiser and
                  Maur{\'{\i}}cio L. Pilla and
                  Adriano Maron},
  title        = {qGMC-Analyzer - Quantum Simulation on Multicore Architectures},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {145--150},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.25},
  doi          = {10.1109/WEIT.2013.25},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/SchmalfussRPM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/VargasB13,
  author       = {Rogerio Rodrigues de Vargas and
                  Benjam{\'{\i}}n Ren{\'{e}} Callejas Bedregal},
  title        = {A Way to Obtain the Quality of a Partition by Adjusted Rand Index},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {67--71},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.33},
  doi          = {10.1109/WEIT.2013.33},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/VargasB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/Vizzotto13,
  author       = {Juliana Kaizer Vizzotto},
  title        = {Quantum Computing: State-of-Art and Challenges},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {9--13},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.34},
  doi          = {10.1109/WEIT.2013.34},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/Vizzotto13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/weit/ZanotelliRCF13,
  author       = {Rosana Medina Zanotelli and
                  Renata Hax Sander Reiser and
                  Simone Andr{\'{e}} da Costa Cavalheiro and
                  Luciana Foss},
  title        = {Sensitivity and Dual Constructions on the Fuzzy f-Xor Class},
  booktitle    = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  pages        = {105--110},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WEIT.2013.13},
  doi          = {10.1109/WEIT.2013.13},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/weit/ZanotelliRCF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/weit/2013,
  title        = {2nd Workshop-School on Theoretical Computer Science, {WEIT} 2013,
                  Rio Grande, RS, Brazil, October 15-17, 2013},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6777801/proceeding},
  isbn         = {978-1-4799-3057-9},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/weit/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics