Search dblp for Publications

export results for "toc:db/journals/entcs/entcs324.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.