Search dblp for Publications

• > Home > Search

@article{DBLP:journals/cuza/AiguierK14,
  author       = {Marc Aiguier and
                  Bilal Kanso},
  title        = {A Logic for Complex Computing Systems: Properties Preservation Along
                  Integration and Abstraction},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {24},
  number       = {1},
  pages        = {1--46},
  year         = {2014},
  url          = {https://doi.org/10.7561/SACS.2014.1.1},
  doi          = {10.7561/SACS.2014.1.1},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/AiguierK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/BergstraM14,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Instruction Sequence Based Non-uniform Complexity Classes},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {24},
  number       = {1},
  pages        = {47--89},
  year         = {2014},
  url          = {https://doi.org/10.7561/SACS.2014.1.47},
  doi          = {10.7561/SACS.2014.1.47},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/BergstraM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/BodeiBBC14,
  author       = {Chiara Bodei and
                  Linda Brodo and
                  Roberto Bruni and
                  Davide Chiarugi},
  title        = {A Flat Process Calculus for Nested Membrane Interactions},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {24},
  number       = {1},
  pages        = {91--136},
  year         = {2014},
  url          = {https://doi.org/10.7561/SACS.2014.1.91},
  doi          = {10.7561/SACS.2014.1.91},
  timestamp    = {Thu, 26 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/BodeiBBC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/CastroRR14,
  author       = {Rodrigo de Castro and
                  Andr{\'{e}}s L. Ram{\'{\i}}rez and
                  Jos{\'{e}} Luis Ram{\'{\i}}rez},
  title        = {Applications in Enumerative Combinatorics of Infinite Weighted Automata
                  and Graphs},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {24},
  number       = {1},
  pages        = {137--171},
  year         = {2014},
  url          = {https://doi.org/10.7561/SACS.2014.1.137},
  doi          = {10.7561/SACS.2014.1.137},
  timestamp    = {Thu, 06 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/CastroRR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/Ciobanu14,
  author       = {Gabriel Ciobanu},
  title        = {Theoretical Aspects of Computing},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {24},
  number       = {2},
  pages        = {173--176},
  year         = {2014},
  url          = {https://doi.org/10.7561/SACS.2014.2.173},
  doi          = {10.7561/SACS.2014.2.173},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/Ciobanu14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/LagoZG14,
  author       = {Ugo Dal Lago and
                  Sara Zuppiroli and
                  Maurizio Gabbrielli},
  title        = {Probabilistic Recursion Theory and Implicit Computational Complexity},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {24},
  number       = {2},
  pages        = {177--216},
  year         = {2014},
  url          = {https://doi.org/10.7561/SACS.2014.2.177},
  doi          = {10.7561/SACS.2014.2.177},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/LagoZG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/LeiQ14,
  author       = {Jinjiang Lei and
                  Zongyan Qiu},
  title        = {Rely-Guarantee Based Reasoning for Message-Passing Programs},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {24},
  number       = {2},
  pages        = {217--252},
  year         = {2014},
  url          = {https://doi.org/10.7561/SACS.2014.2.217},
  doi          = {10.7561/SACS.2014.2.217},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/LeiQ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/MarinI14,
  author       = {Mircea Marin and
                  Gabriel Istrate},
  title        = {Learning Cover Context-Free Grammars from Structural Data},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {24},
  number       = {2},
  pages        = {253--286},
  year         = {2014},
  url          = {https://doi.org/10.7561/SACS.2014.2.253},
  doi          = {10.7561/SACS.2014.2.253},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cuza/MarinI14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/Tarau14,
  author       = {Paul Tarau},
  title        = {Arithmetic and Boolean Operations on Recursively Run-Length Compressed
                  Natural Numbers},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {24},
  number       = {2},
  pages        = {287--323},
  year         = {2014},
  url          = {https://doi.org/10.7561/SACS.2014.2.287},
  doi          = {10.7561/SACS.2014.2.287},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/Tarau14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/ValironZ14,
  author       = {Beno{\^{\i}}t Valiron and
                  Steve Zdancewic},
  title        = {Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector
                  Spaces},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {24},
  number       = {2},
  pages        = {325--368},
  year         = {2014},
  url          = {https://doi.org/10.7561/SACS.2014.2.325},
  doi          = {10.7561/SACS.2014.2.325},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/ValironZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}