Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/tcs/tcs328.bht:"
download as .bib file
@article{DBLP:journals/tcs/AllauzenM04,
author = {Cyril Allauzen and
Mehryar Mohri},
title = {An optimal pre-determinization algorithm for weighted transducers},
journal = {Theor. Comput. Sci.},
volume = {328},
number = {1-2},
pages = {3--18},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.07.003},
doi = {10.1016/J.TCS.2004.07.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AllauzenM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Alvarez-ManillaJK04,
author = {Maurizio Alvarez{-}Manilla and
Achim Jung and
Klaus Keimel},
title = {The probabilistic powerdomain for stably compact spaces},
journal = {Theor. Comput. Sci.},
volume = {328},
number = {3},
pages = {221--244},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.06.021},
doi = {10.1016/J.TCS.2004.06.021},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Alvarez-ManillaJK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Baillot04a,
author = {Patrick Baillot},
title = {Type inference for light affine logic via constraints on words},
journal = {Theor. Comput. Sci.},
volume = {328},
number = {3},
pages = {289--323},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.08.014},
doi = {10.1016/J.TCS.2004.08.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Baillot04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FerroDVR04,
author = {Manuel Vilares Ferro and
Victor M. Darriba and
Jes{\'{u}}s Vilares and
Francisco J. Ribadas},
title = {A formal frame for robust parsing},
journal = {Theor. Comput. Sci.},
volume = {328},
number = {1-2},
pages = {171--186},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.07.013},
doi = {10.1016/J.TCS.2004.07.013},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/FerroDVR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Foy04,
author = {John Foy},
title = {A dynamical system which must be stable whose stability cannot be
proved},
journal = {Theor. Comput. Sci.},
volume = {328},
number = {3},
pages = {355--361},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.05.001},
doi = {10.1016/J.TCS.2004.05.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Foy04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FuBS04,
author = {Xiang Fu and
Tevfik Bultan and
Jianwen Su},
title = {Conversation protocols: a formalism for specification and verification
of reactive electronic services},
journal = {Theor. Comput. Sci.},
volume = {328},
number = {1-2},
pages = {19--37},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.07.004},
doi = {10.1016/J.TCS.2004.07.004},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/FuBS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GuingneNK04,
author = {Franck Guingne and
Florent Nicart and
Andr{\'{e}} Kempe},
title = {Acyclic networks maximizing the printing complexity},
journal = {Theor. Comput. Sci.},
volume = {328},
number = {1-2},
pages = {39--51},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.07.006},
doi = {10.1016/J.TCS.2004.07.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GuingneNK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HahnleMR04,
author = {Reiner H{\"{a}}hnle and
Neil V. Murray and
Erik Rosenthal},
title = {Linearity and regularity with negation normal form},
journal = {Theor. Comput. Sci.},
volume = {328},
number = {3},
pages = {325--354},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.09.001},
doi = {10.1016/J.TCS.2004.09.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HahnleMR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HuangCM04,
author = {Hejiao Huang and
To{-}Yat Cheung and
Wai Ming Mak},
title = {Structure and behavior preservation by Petri-net-based refinements
in system design},
journal = {Theor. Comput. Sci.},
volume = {328},
number = {3},
pages = {245--269},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.07.016},
doi = {10.1016/J.TCS.2004.07.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HuangCM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ibarra04a,
author = {Oscar H. Ibarra},
title = {Editorial},
journal = {Theor. Comput. Sci.},
volume = {328},
number = {1-2},
pages = {1},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.07.002},
doi = {10.1016/J.TCS.2004.07.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ibarra04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KuskeM04,
author = {Dietrich Kuske and
Ingmar Meinecke},
title = {Branching automata with costs - a way of reflecting parallelism in
costs star},
journal = {Theor. Comput. Sci.},
volume = {328},
number = {1-2},
pages = {53--75},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.07.005},
doi = {10.1016/J.TCS.2004.07.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KuskeM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LombardyRS04,
author = {Sylvain Lombardy and
Yann R{\'{e}}gis{-}Gianas and
Jacques Sakarovitch},
title = {Introducing VA\({}_{\mbox{UCANSON}}\)},
journal = {Theor. Comput. Sci.},
volume = {328},
number = {1-2},
pages = {77--96},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.07.007},
doi = {10.1016/J.TCS.2004.07.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LombardyRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MiyamotoITS04,
author = {Satoru Miyamoto and
Shunsuke Inenaga and
Masayuki Takeda and
Ayumi Shinohara},
title = {Ternary directed acyclic word graphs},
journal = {Theor. Comput. Sci.},
volume = {328},
number = {1-2},
pages = {97--111},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.07.008},
doi = {10.1016/J.TCS.2004.07.008},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/MiyamotoITS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/RavikumarE04,
author = {Bala Ravikumar and
Gerry Eisman},
title = {Weak minimization of {DFA} - an algorithm and applications},
journal = {Theor. Comput. Sci.},
volume = {328},
number = {1-2},
pages = {113--133},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.07.009},
doi = {10.1016/J.TCS.2004.07.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/RavikumarE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ShenYY04,
author = {Yi{-}Dong Shen and
Jia{-}Huai You and
Li{-}Yan Yuan},
title = {Enhancing global SLS-resolution with loop cutting and tabling mechanisms},
journal = {Theor. Comput. Sci.},
volume = {328},
number = {3},
pages = {271--287},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.07.028},
doi = {10.1016/J.TCS.2004.07.028},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ShenYY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/TammU04,
author = {Hellis Tamm and
Esko Ukkonen},
title = {Bideterministic automata and minimal representations of regular languages},
journal = {Theor. Comput. Sci.},
volume = {328},
number = {1-2},
pages = {135--149},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.07.010},
doi = {10.1016/J.TCS.2004.07.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/TammU04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Trahtman04,
author = {A. N. Trahtman},
title = {Reducing the time complexity of testing for local threshold testability},
journal = {Theor. Comput. Sci.},
volume = {328},
number = {1-2},
pages = {151--160},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.07.011},
doi = {10.1016/J.TCS.2004.07.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Trahtman04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/WangY04,
author = {Farn Wang and
Hsu{-}Chun Yen},
title = {Reachability solution characterization of parametric real-time systems},
journal = {Theor. Comput. Sci.},
volume = {328},
number = {1-2},
pages = {187--201},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.07.014},
doi = {10.1016/J.TCS.2004.07.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/WangY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/XieLD04,
author = {Gaoyan Xie and
Cheng Li and
Zhe Dang},
title = {Linear reachability problems and minimal solutions to linear Diophantine
equation systems},
journal = {Theor. Comput. Sci.},
volume = {328},
number = {1-2},
pages = {203--219},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.07.015},
doi = {10.1016/J.TCS.2004.07.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/XieLD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Zijl04a,
author = {Lynette van Zijl},
title = {On binary {\(\oplus\)}-NFAs and succinct descriptions of regular languages},
journal = {Theor. Comput. Sci.},
volume = {328},
number = {1-2},
pages = {161--170},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.07.012},
doi = {10.1016/J.TCS.2004.07.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Zijl04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-24 03:08 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
