Search dblp for Publications

export results for "toc:db/journals/tcs/tcs353.bht:"

 download as .bib file

@article{DBLP:journals/tcs/BouchenebH06,
  author       = {Hanifa Boucheneb and
                  Rachid Hadjidj},
  title        = {\emph{CTL}\({}^{\mbox{*}}\) model checking for time Petri nets},
  journal      = {Theor. Comput. Sci.},
  volume       = {353},
  number       = {1-3},
  pages        = {208--227},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.tcs.2005.11.002},
  doi          = {10.1016/J.TCS.2005.11.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BouchenebH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GorankoD06,
  author       = {Valentin Goranko and
                  Govert van Drimmelen},
  title        = {Complete axiomatization and decidability of Alternating-time temporal
                  logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {353},
  number       = {1-3},
  pages        = {93--117},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.tcs.2005.07.043},
  doi          = {10.1016/J.TCS.2005.07.043},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GorankoD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HartmannL06,
  author       = {Sven Hartmann and
                  Sebastian Link},
  title        = {On a problem of Fagin concerning multivalued dependencies in relational
                  databases},
  journal      = {Theor. Comput. Sci.},
  volume       = {353},
  number       = {1-3},
  pages        = {53--62},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.tcs.2005.08.036},
  doi          = {10.1016/J.TCS.2005.08.036},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HartmannL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Ipate06,
  author       = {Florentin Ipate},
  title        = {Testing against a non-controllable stream X-machine using state counting},
  journal      = {Theor. Comput. Sci.},
  volume       = {353},
  number       = {1-3},
  pages        = {291--316},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.tcs.2005.12.002},
  doi          = {10.1016/J.TCS.2005.12.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Ipate06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Kambites06,
  author       = {Mark Kambites},
  title        = {Automatic semigroups and categories},
  journal      = {Theor. Comput. Sci.},
  volume       = {353},
  number       = {1-3},
  pages        = {272--290},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.tcs.2005.11.021},
  doi          = {10.1016/J.TCS.2005.11.021},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Kambites06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Kamide06,
  author       = {Norihiro Kamide},
  title        = {Linear and affine logics with temporal, spatial and epistemic operators},
  journal      = {Theor. Comput. Sci.},
  volume       = {353},
  number       = {1-3},
  pages        = {165--207},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.tcs.2005.10.043},
  doi          = {10.1016/J.TCS.2005.10.043},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Kamide06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LaroussinieMS06,
  author       = {Fran{\c{c}}ois Laroussinie and
                  Nicolas Markey and
                  Philippe Schnoebelen},
  title        = {Efficient timed model checking for discrete-time systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {353},
  number       = {1-3},
  pages        = {249--271},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.tcs.2005.11.020},
  doi          = {10.1016/J.TCS.2005.11.020},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LaroussinieMS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LopezNR06,
  author       = {Natalia L{\'{o}}pez and
                  Manuel N{\'{u}}{\~{n}}ez and
                  Ismael Rodr{\'{\i}}guez},
  title        = {Specification, testing and implementation relations for symbolic-probabilistic
                  systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {353},
  number       = {1-3},
  pages        = {228--248},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.tcs.2005.10.047},
  doi          = {10.1016/J.TCS.2005.10.047},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LopezNR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LuBL06,
  author       = {Shiyong Lu and
                  Arthur J. Bernstein and
                  Philip M. Lewis},
  title        = {Automatic workflow verification and generation},
  journal      = {Theor. Comput. Sci.},
  volume       = {353},
  number       = {1-3},
  pages        = {71--92},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.tcs.2005.10.035},
  doi          = {10.1016/J.TCS.2005.10.035},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LuBL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MitchellRST06,
  author       = {John C. Mitchell and
                  Ajith Ramanathan and
                  Andre Scedrov and
                  Vanessa Teague},
  title        = {A probabilistic polynomial-time process calculus for the analysis
                  of cryptographic protocols},
  journal      = {Theor. Comput. Sci.},
  volume       = {353},
  number       = {1-3},
  pages        = {118--164},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.tcs.2005.10.044},
  doi          = {10.1016/J.TCS.2005.10.044},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/MitchellRST06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Schroder06,
  author       = {Lutz Schr{\"{o}}der},
  title        = {The {HASCASL} prologue: Categorical syntax and semantics of the partial
                  \emph{lambda}-calculus},
  journal      = {Theor. Comput. Sci.},
  volume       = {353},
  number       = {1-3},
  pages        = {1--25},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.tcs.2005.06.037},
  doi          = {10.1016/J.TCS.2005.06.037},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Schroder06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Zhang06,
  author       = {Wenhui Zhang},
  title        = {Structure of proofs and the complexity of cut elimination},
  journal      = {Theor. Comput. Sci.},
  volume       = {353},
  number       = {1-3},
  pages        = {63--70},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.tcs.2005.07.042},
  doi          = {10.1016/J.TCS.2005.07.042},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Zhang06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Zhu06,
  author       = {Zhaohui Zhu},
  title        = {Similarity between preferential models},
  journal      = {Theor. Comput. Sci.},
  volume       = {353},
  number       = {1-3},
  pages        = {26--52},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.tcs.2005.08.029},
  doi          = {10.1016/J.TCS.2005.08.029},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Zhu06.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.