Search dblp for Publications

• > Home > Search

@article{DBLP:journals/iandc/AbdullaBRS05,
  author       = {Parosh Aziz Abdulla and
                  Nathalie Bertrand and
                  Alexander Moshe Rabinovich and
                  Philippe Schnoebelen},
  title        = {Verification of probabilistic systems with faulty communication},
  journal      = {Inf. Comput.},
  volume       = {202},
  number       = {2},
  pages        = {141--165},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.ic.2005.05.008},
  doi          = {10.1016/J.IC.2005.05.008},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/AbdullaBRS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BugliesiCMS05,
  author       = {Michele Bugliesi and
                  Silvia Crafa and
                  Massimo Merro and
                  Vladimiro Sassone},
  title        = {Communication and mobility control in boxed ambients},
  journal      = {Inf. Comput.},
  volume       = {202},
  number       = {1},
  pages        = {39--86},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.ic.2005.06.002},
  doi          = {10.1016/J.IC.2005.06.002},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/BugliesiCMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/CeceF05,
  author       = {G{\'{e}}rard C{\'{e}}c{\'{e}} and
                  Alain Finkel},
  title        = {Verification of programs with half-duplex communication},
  journal      = {Inf. Comput.},
  volume       = {202},
  number       = {2},
  pages        = {166--190},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.ic.2005.05.006},
  doi          = {10.1016/J.IC.2005.05.006},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/CeceF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/DiekertGH05,
  author       = {Volker Diekert and
                  Claudio Gutierrez and
                  Christian Hagenah},
  title        = {The existential theory of equations with rational constraints in free
                  groups is PSPACE-complete},
  journal      = {Inf. Comput.},
  volume       = {202},
  number       = {2},
  pages        = {105--140},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.ic.2005.04.002},
  doi          = {10.1016/J.IC.2005.04.002},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/DiekertGH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/GradaraSV05,
  author       = {Sara Gradara and
                  Antonella Santone and
                  Maria Luisa Villani},
  title        = {Using heuristic search for finding deadlocks in concurrent systems},
  journal      = {Inf. Comput.},
  volume       = {202},
  number       = {2},
  pages        = {191--226},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.ic.2005.07.004},
  doi          = {10.1016/J.IC.2005.07.004},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/GradaraSV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/HenriksenMKST05,
  author       = {Jesper G. Henriksen and
                  Madhavan Mukund and
                  K. Narayan Kumar and
                  Milind A. Sohoni and
                  P. S. Thiagarajan},
  title        = {A theory of regular {MSC} languages},
  journal      = {Inf. Comput.},
  volume       = {202},
  number       = {1},
  pages        = {1--38},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.ic.2004.08.004},
  doi          = {10.1016/J.IC.2004.08.004},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/HenriksenMKST05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/ZhangJ05,
  author       = {Guo{-}Qiang Zhang and
                  Ying Jiang},
  title        = {On an open problem of Amadio and Curien: The finite antichain condition},
  journal      = {Inf. Comput.},
  volume       = {202},
  number       = {1},
  pages        = {87--103},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.ic.2005.06.001},
  doi          = {10.1016/J.IC.2005.06.001},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/ZhangJ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}