Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/entcs/entcs324.bht:"
@proceedings{DBLP:conf/weit/2015, editor = {Juliana Kaizer Vizzotto}, title = {Third Workshop-School on Theoretical Computer Science, {WEIT} 2015, Porto Alegre, Brazil, October 14-16, 2015}, series = {Electronic Notes in Theoretical Computer Science}, volume = {324}, publisher = {Elsevier}, year = {2016}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/324/suppl/C}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/weit/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AraujoMM16, author = {V{\'{\i}}tor Buj{\'{e}}s Ubatuba De Ara{\'{u}}jo and {\'{A}}lvaro Freitas Moreira and Rodrigo Machado}, editor = {Juliana Kaizer Vizzotto}, title = {T{\'{y}}r: {A} Dependent Type System for Spatial Memory Safety in {LLVM}}, booktitle = {Third Workshop-School on Theoretical Computer Science, {WEIT} 2015, Porto Alegre, Brazil, October 14-16, 2015}, series = {Electronic Notes in Theoretical Computer Science}, volume = {324}, pages = {3--13}, publisher = {Elsevier}, year = {2015}, url = {https://doi.org/10.1016/j.entcs.2016.09.003}, doi = {10.1016/J.ENTCS.2016.09.003}, timestamp = {Thu, 10 Nov 2022 13:34:40 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AraujoMM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BerteiFC16, author = {Alex Bertei and Luciana Foss and Simone Andr{\'{e}} da Costa Cavalheiro}, editor = {Juliana Kaizer Vizzotto}, title = {Translating Controlled Graph Grammars to Ordinary Graph Grammars}, booktitle = {Third Workshop-School on Theoretical Computer Science, {WEIT} 2015, Porto Alegre, Brazil, October 14-16, 2015}, series = {Electronic Notes in Theoretical Computer Science}, volume = {324}, pages = {15--30}, publisher = {Elsevier}, year = {2015}, url = {https://doi.org/10.1016/j.entcs.2016.09.004}, doi = {10.1016/J.ENTCS.2016.09.004}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BerteiFC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BezerraCRC16, author = {Jonas Santos Bezerra and Andrei Costa and Leila Ribeiro and {\'{E}}rika F. Cota}, editor = {Juliana Kaizer Vizzotto}, title = {Formal Verification of Health Assessment Tools: a Case Study}, booktitle = {Third Workshop-School on Theoretical Computer Science, {WEIT} 2015, Porto Alegre, Brazil, October 14-16, 2015}, series = {Electronic Notes in Theoretical Computer Science}, volume = {324}, pages = {31--50}, publisher = {Elsevier}, year = {2015}, url = {https://doi.org/10.1016/j.entcs.2016.09.005}, doi = {10.1016/J.ENTCS.2016.09.005}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BezerraCRC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Costa16, author = {Ant{\^{o}}nio Carlos da Rocha Costa}, editor = {Juliana Kaizer Vizzotto}, title = {Elements for a Formal Model of Intentional Systems}, booktitle = {Third Workshop-School on Theoretical Computer Science, {WEIT} 2015, Porto Alegre, Brazil, October 14-16, 2015}, series = {Electronic Notes in Theoretical Computer Science}, volume = {324}, pages = {51--66}, publisher = {Elsevier}, year = {2015}, url = {https://doi.org/10.1016/j.entcs.2016.09.006}, doi = {10.1016/J.ENTCS.2016.09.006}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Costa16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FeitosaVPB16, author = {Samuel da Silva Feitosa and Juliana Kaizer Vizzotto and Eduardo Kessler Piveta and Andr{\'{e}} Rauber Du Bois}, editor = {Juliana Kaizer Vizzotto}, title = {FJQuantum - {A} Quantum Object Oriented Language}, booktitle = {Third Workshop-School on Theoretical Computer Science, {WEIT} 2015, Porto Alegre, Brazil, October 14-16, 2015}, series = {Electronic Notes in Theoretical Computer Science}, volume = {324}, pages = {67--77}, publisher = {Elsevier}, year = {2015}, url = {https://doi.org/10.1016/j.entcs.2016.09.007}, doi = {10.1016/J.ENTCS.2016.09.007}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FeitosaVPB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/HolbigMP16, author = {Carlos Amaral H{\"{o}}lbig and Vanessa Lago Machado and Willingthon Pavan}, editor = {Juliana Kaizer Vizzotto}, title = {Statistical Correction of the Result of Weather Forecast by Applying the Model Output Calibration}, booktitle = {Third Workshop-School on Theoretical Computer Science, {WEIT} 2015, Porto Alegre, Brazil, October 14-16, 2015}, series = {Electronic Notes in Theoretical Computer Science}, volume = {324}, pages = {79--90}, publisher = {Elsevier}, year = {2015}, url = {https://doi.org/10.1016/j.entcs.2016.09.008}, doi = {10.1016/J.ENTCS.2016.09.008}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/HolbigMP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MacedoHG16, author = {Hugo Daniel Macedo and Edward Hermann Haeusler and Alex de V. Garcia}, editor = {Juliana Kaizer Vizzotto}, title = {Defining Effectiveness Using Finite Sets {A} Study on Computability}, booktitle = {Third Workshop-School on Theoretical Computer Science, {WEIT} 2015, Porto Alegre, Brazil, October 14-16, 2015}, series = {Electronic Notes in Theoretical Computer Science}, volume = {324}, pages = {91--106}, publisher = {Elsevier}, year = {2015}, url = {https://doi.org/10.1016/j.entcs.2016.09.009}, doi = {10.1016/J.ENTCS.2016.09.009}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MacedoHG16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/NunesA16, author = {Daniel Saad Nogueira Nunes and Mauricio Ayala{-}Rinc{\'{o}}n}, editor = {Juliana Kaizer Vizzotto}, title = {A Practical Semi-External Memory Method for Approximate Pattern Matching}, booktitle = {Third Workshop-School on Theoretical Computer Science, {WEIT} 2015, Porto Alegre, Brazil, October 14-16, 2015}, series = {Electronic Notes in Theoretical Computer Science}, volume = {324}, pages = {107--122}, publisher = {Elsevier}, year = {2015}, url = {https://doi.org/10.1016/j.entcs.2016.09.010}, doi = {10.1016/J.ENTCS.2016.09.010}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/NunesA16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/PanissonBC16, author = {Alison R. Panisson and Rafael H. Bordini and Ant{\^{o}}nio Carlos da Rocha Costa}, editor = {Juliana Kaizer Vizzotto}, title = {Towards Multi-Level Semantics for Multi-Agent Systems}, booktitle = {Third Workshop-School on Theoretical Computer Science, {WEIT} 2015, Porto Alegre, Brazil, October 14-16, 2015}, series = {Electronic Notes in Theoretical Computer Science}, volume = {324}, pages = {123--134}, publisher = {Elsevier}, year = {2015}, url = {https://doi.org/10.1016/j.entcs.2016.09.011}, doi = {10.1016/J.ENTCS.2016.09.011}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/PanissonBC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/ReiserLAVPB16, author = {Renata Reiser and Alexandre Lemke and Anderson Braga de Avila and J{\'{u}}lia Vieira and Maur{\'{\i}}cio L. Pilla and Andr{\'{e}} Rauber Du Bois}, editor = {Juliana Kaizer Vizzotto}, title = {Interpretations on Quantum Fuzzy Computing: Intuitionistic Fuzzy Operations {\texttimes} Quantum Operators}, booktitle = {Third Workshop-School on Theoretical Computer Science, {WEIT} 2015, Porto Alegre, Brazil, October 14-16, 2015}, series = {Electronic Notes in Theoretical Computer Science}, volume = {324}, pages = {135--150}, publisher = {Elsevier}, year = {2015}, url = {https://doi.org/10.1016/j.entcs.2016.09.012}, doi = {10.1016/J.ENTCS.2016.09.012}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/ReiserLAVPB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/ReiserZCFB16, author = {Renata Reiser and Rosana Medina Zanotelli and Simone Andr{\'{e}} da Costa Cavalheiro and Luciana Foss and Benjam{\'{\i}}n R. C. Bedregal}, editor = {Juliana Kaizer Vizzotto}, title = {Robustness of f- and g-generated Fuzzy (Co)Implications: The Yager's (Co)Implication Case Study}, booktitle = {Third Workshop-School on Theoretical Computer Science, {WEIT} 2015, Porto Alegre, Brazil, October 14-16, 2015}, series = {Electronic Notes in Theoretical Computer Science}, volume = {324}, pages = {151--164}, publisher = {Elsevier}, year = {2015}, url = {https://doi.org/10.1016/j.entcs.2016.09.013}, doi = {10.1016/J.ENTCS.2016.09.013}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/ReiserZCFB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/SantosVH16, author = {Jefferson de Barros Santos and Bruno Lopes Vieira and Edward Hermann Haeusler}, editor = {Juliana Kaizer Vizzotto}, title = {A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic}, booktitle = {Third Workshop-School on Theoretical Computer Science, {WEIT} 2015, Porto Alegre, Brazil, October 14-16, 2015}, series = {Electronic Notes in Theoretical Computer Science}, volume = {324}, pages = {165--179}, publisher = {Elsevier}, year = {2015}, url = {https://doi.org/10.1016/j.entcs.2016.09.014}, doi = {10.1016/J.ENTCS.2016.09.014}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/SantosVH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Vizzotto16, author = {Juliana Kaizer Vizzotto}, editor = {Juliana Kaizer Vizzotto}, title = {Preface}, booktitle = {Third Workshop-School on Theoretical Computer Science, {WEIT} 2015, Porto Alegre, Brazil, October 14-16, 2015}, series = {Electronic Notes in Theoretical Computer Science}, volume = {324}, pages = {1}, publisher = {Elsevier}, year = {2015}, url = {https://doi.org/10.1016/j.entcs.2016.09.002}, doi = {10.1016/J.ENTCS.2016.09.002}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Vizzotto16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.