Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/AdamekMV07,
  author       = {Jir{\'{\i}} Ad{\'{a}}mek and
                  Stefan Milius and
                  Jir{\'{\i}} Velebil},
  title        = {Algebras with parametrized iterativity},
  journal      = {Theor. Comput. Sci.},
  volume       = {388},
  number       = {1-3},
  pages        = {130--151},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.tcs.2007.06.015},
  doi          = {10.1016/J.TCS.2007.06.015},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/AdamekMV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BirkedalMP07,
  author       = {Lars Birkedal and
                  Rasmus Ejlers M{\o}gelberg and
                  Rasmus Lerchedahl Petersen},
  title        = {Domain-theoretical models of parametric polymorphism},
  journal      = {Theor. Comput. Sci.},
  volume       = {388},
  number       = {1-3},
  pages        = {152--172},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.tcs.2007.06.016},
  doi          = {10.1016/J.TCS.2007.06.016},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BirkedalMP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Chatterjee07,
  author       = {Krishnendu Chatterjee},
  title        = {Concurrent games with tail objectives},
  journal      = {Theor. Comput. Sci.},
  volume       = {388},
  number       = {1-3},
  pages        = {181--198},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.tcs.2007.07.047},
  doi          = {10.1016/J.TCS.2007.07.047},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Chatterjee07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CirsteaP07,
  author       = {Corina C{\^{\i}}rstea and
                  Dirk Pattinson},
  title        = {Modular construction of complete coalgebraic logics},
  journal      = {Theor. Comput. Sci.},
  volume       = {388},
  number       = {1-3},
  pages        = {83--108},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.tcs.2007.06.002},
  doi          = {10.1016/J.TCS.2007.06.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CirsteaP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CookKS07,
  author       = {Byron Cook and
                  Daniel Kroening and
                  Natasha Sharygina},
  title        = {Verification of Boolean programs with unbounded thread creation},
  journal      = {Theor. Comput. Sci.},
  volume       = {388},
  number       = {1-3},
  pages        = {227--242},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.tcs.2007.07.050},
  doi          = {10.1016/J.TCS.2007.07.050},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CookKS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GenietL07,
  author       = {Dominique Geniet and
                  Ga{\"{e}}lle Largeteau},
  title        = {{WCET} free time analysis of hard real-time systems on multiprocessors:
                  {A} regular language-based model},
  journal      = {Theor. Comput. Sci.},
  volume       = {388},
  number       = {1-3},
  pages        = {26--52},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.tcs.2007.03.054},
  doi          = {10.1016/J.TCS.2007.03.054},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GenietL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/JohnsonR07,
  author       = {Michael Johnson and
                  Robert D. Rosebrugh},
  title        = {Fibrations and universal view updatability},
  journal      = {Theor. Comput. Sci.},
  volume       = {388},
  number       = {1-3},
  pages        = {109--129},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.tcs.2007.06.004},
  doi          = {10.1016/J.TCS.2007.06.004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/JohnsonR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KomendaS07,
  author       = {Jan Komenda and
                  Jan H. van Schuppen},
  title        = {Control of discrete-event systems with modular or distributed structure},
  journal      = {Theor. Comput. Sci.},
  volume       = {388},
  number       = {1-3},
  pages        = {199--226},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.tcs.2007.07.049},
  doi          = {10.1016/J.TCS.2007.07.049},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KomendaS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LaiZ07,
  author       = {Hongliang Lai and
                  Dexue Zhang},
  title        = {Complete and directed complete Omega-categories},
  journal      = {Theor. Comput. Sci.},
  volume       = {388},
  number       = {1-3},
  pages        = {1--25},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.tcs.2007.09.012},
  doi          = {10.1016/J.TCS.2007.09.012},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LaiZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Plummer07,
  author       = {Andrew R. Plummer},
  title        = {{S4} enriched multimodal categorial grammars are context-free},
  journal      = {Theor. Comput. Sci.},
  volume       = {388},
  number       = {1-3},
  pages        = {173--180},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.tcs.2007.07.027},
  doi          = {10.1016/J.TCS.2007.07.027},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Plummer07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PonseZ07,
  author       = {Alban Ponse and
                  Mark van der Zwaag},
  title        = {Belnap's logic and conditional composition},
  journal      = {Theor. Comput. Sci.},
  volume       = {388},
  number       = {1-3},
  pages        = {319--336},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.tcs.2007.09.027},
  doi          = {10.1016/J.TCS.2007.09.027},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PonseZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/SchaferV07,
  author       = {Mark Sch{\"{a}}fer and
                  Walter Vogler},
  title        = {Component refinement and CSC-solving for {STG} decomposition},
  journal      = {Theor. Comput. Sci.},
  volume       = {388},
  number       = {1-3},
  pages        = {243--266},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.tcs.2007.08.005},
  doi          = {10.1016/J.TCS.2007.08.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/SchaferV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Spoto07,
  author       = {Fausto Spoto},
  title        = {Optimality and condensing of information flow through linear refinement},
  journal      = {Theor. Comput. Sci.},
  volume       = {388},
  number       = {1-3},
  pages        = {53--82},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.tcs.2007.05.004},
  doi          = {10.1016/J.TCS.2007.05.004},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Spoto07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/VigliottiPP07,
  author       = {Maria Grazia Vigliotti and
                  Iain Phillips and
                  Catuscia Palamidessi},
  title        = {Tutorial on separation results in process calculi via leader election
                  problems},
  journal      = {Theor. Comput. Sci.},
  volume       = {388},
  number       = {1-3},
  pages        = {267--289},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.tcs.2007.09.001},
  doi          = {10.1016/J.TCS.2007.09.001},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/VigliottiPP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/VoigtlanderJ07,
  author       = {Janis Voigtl{\"{a}}nder and
                  Patricia Johann},
  title        = {Selective strictness and parametricity in structural operational semantics,
                  inequationally},
  journal      = {Theor. Comput. Sci.},
  volume       = {388},
  number       = {1-3},
  pages        = {290--318},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.tcs.2007.09.014},
  doi          = {10.1016/J.TCS.2007.09.014},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/VoigtlanderJ07.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.