Search dblp for Publications

• > Home > Search

@article{DBLP:journals/cuza/BergstraP09,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  title        = {An Instruction Sequence Semigroup with Involutive Anti-Automorphisms},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {19},
  pages        = {57--92},
  year         = {2009},
  url          = {http://www.info.uaic.ro/bin/Annals/Article?v=XIX\&a=2},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/BergstraP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/KoutnyP09,
  author       = {Maciej Koutny and
                  Marta Pietkiewicz{-}Koutny},
  title        = {Synthesis of Petri Nets with Localities},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {19},
  pages        = {1--23},
  year         = {2009},
  url          = {http://www.info.uaic.ro/bin/Annals/Article?v=XIX\&a=0},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/KoutnyP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/SokolovaVW09,
  author       = {Ana Sokolova and
                  Erik P. de Vink and
                  Harald Woracek},
  title        = {Coalgebraic Weak Bisimulation for Action-Type Systems},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {19},
  pages        = {93--144},
  year         = {2009},
  url          = {http://www.info.uaic.ro/bin/Annals/Article?v=XIX\&a=3},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/SokolovaVW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cuza/VelinovKG09,
  author       = {Goran Velinov and
                  Margita Kon{-}Popovska and
                  Danilo Gligoroski},
  title        = {A Generalized Approach to Optimization of Relational Data Warehouses
                  Using Hybrid Greedy and Genetic Algorithms},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {19},
  pages        = {25--55},
  year         = {2009},
  url          = {http://www.info.uaic.ro/bin/Annals/Article?v=XIX\&a=1},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/VelinovKG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}