Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/AlurCHHHNOSY95,
  author       = {Rajeev Alur and
                  Costas Courcoubetis and
                  Nicolas Halbwachs and
                  Thomas A. Henzinger and
                  Pei{-}Hsin Ho and
                  Xavier Nicollin and
                  Alfredo Olivero and
                  Joseph Sifakis and
                  Sergio Yovine},
  title        = {The Algorithmic Analysis of Hybrid Systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {138},
  number       = {1},
  pages        = {3--34},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00202-T},
  doi          = {10.1016/0304-3975(94)00202-T},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AlurCHHHNOSY95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/AsarinMP95,
  author       = {Eugene Asarin and
                  Oded Maler and
                  Amir Pnueli},
  title        = {Reachability Analysis of Dynamical Systems Having Piecewise-Constant
                  Derivatives},
  journal      = {Theor. Comput. Sci.},
  volume       = {138},
  number       = {1},
  pages        = {35--65},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00228-B},
  doi          = {10.1016/0304-3975(94)00228-B},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AsarinMP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Branicky95,
  author       = {Michael S. Branicky},
  title        = {Universal Computation and Other Capabilities of Hybrid and Continuous
                  Dynamical Systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {138},
  number       = {1},
  pages        = {67--100},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00147-B},
  doi          = {10.1016/0304-3975(94)00147-B},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Branicky95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DaviesS95,
  author       = {Jim Davies and
                  Steve A. Schneider},
  title        = {A Brief History of Timed {CSP}},
  journal      = {Theor. Comput. Sci.},
  volume       = {138},
  number       = {2},
  pages        = {243--271},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00169-J},
  doi          = {10.1016/0304-3975(94)00169-J},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DaviesS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GrossmanL95,
  author       = {Robert L. Grossman and
                  Richard G. Larson},
  title        = {An Algebraic Approach to Hybrid Systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {138},
  number       = {1},
  pages        = {101--112},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00146-A},
  doi          = {10.1016/0304-3975(94)00146-A},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GrossmanL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HansenPC95,
  author       = {Michael R. Hansen and
                  Paritosh K. Pandya and
                  Zhou Chaochen},
  title        = {Finite Divergence},
  journal      = {Theor. Comput. Sci.},
  volume       = {138},
  number       = {1},
  pages        = {113--139},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00145-9},
  doi          = {10.1016/0304-3975(94)00145-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HansenPC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HennessyL95,
  author       = {Matthew Hennessy and
                  Huimin Lin},
  title        = {Symbolic Bisimulations},
  journal      = {Theor. Comput. Sci.},
  volume       = {138},
  number       = {2},
  pages        = {353--389},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00172-F},
  doi          = {10.1016/0304-3975(94)00172-F},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HennessyL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KohnNRY95,
  author       = {Wolf Kohn and
                  Anil Nerode and
                  Jeffrey B. Remmel and
                  Alexander Yakhnis},
  title        = {Viability in Hybrid Systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {138},
  number       = {1},
  pages        = {141--168},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00150-H},
  doi          = {10.1016/0304-3975(94)00150-H},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KohnNRY95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LakhnecheH95,
  author       = {Yassine Lakhnech and
                  Jozef Hooman},
  title        = {Metric Temporal Logic with Durations},
  journal      = {Theor. Comput. Sci.},
  volume       = {138},
  number       = {1},
  pages        = {169--199},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00151-8},
  doi          = {10.1016/0304-3975(94)00151-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LakhnecheH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LemmonA95,
  author       = {Michael D. Lemmon and
                  Panos J. Antsaklis},
  title        = {Inductively Inferring Valid Logical Models of Continuous-State Dynamical
                  Systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {138},
  number       = {1},
  pages        = {201--210},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00148-C},
  doi          = {10.1016/0304-3975(94)00148-C},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LemmonA95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Lowe95,
  author       = {Gavin Lowe},
  title        = {Probabilistic and Prioritized Models of Timed {CSP}},
  journal      = {Theor. Comput. Sci.},
  volume       = {138},
  number       = {2},
  pages        = {315--352},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00171-E},
  doi          = {10.1016/0304-3975(94)00171-E},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Lowe95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MisloveRS95,
  author       = {Michael W. Mislove and
                  A. W. Roscoe and
                  Steve A. Schneider},
  title        = {Fixed Points Without Completeness},
  journal      = {Theor. Comput. Sci.},
  volume       = {138},
  number       = {2},
  pages        = {273--314},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00170-N},
  doi          = {10.1016/0304-3975(94)00170-N},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MisloveRS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/NicolaS95,
  author       = {Rocco De Nicola and
                  Roberto Segala},
  title        = {A Process Algebraic View of Input/Output Automata},
  journal      = {Theor. Comput. Sci.},
  volume       = {138},
  number       = {2},
  pages        = {391--423},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(95)92307-J},
  doi          = {10.1016/0304-3975(95)92307-J},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/NicolaS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PinnaP95,
  author       = {G. Michele Pinna and
                  Axel Poign{\'{e}}},
  title        = {On the Nature of Events: Another Perspective in Concurrency},
  journal      = {Theor. Comput. Sci.},
  volume       = {138},
  number       = {2},
  pages        = {425--454},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00174-H},
  doi          = {10.1016/0304-3975(94)00174-H},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PinnaP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ZhangM95,
  author       = {Ying Zhang and
                  Alan K. Mackworth},
  title        = {Constraint Nets: {A} Semantic Model for Hybrid Dynamic Systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {138},
  number       = {1},
  pages        = {211--239},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00149-D},
  doi          = {10.1016/0304-3975(94)00149-D},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ZhangM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.