Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/tcs/tcs484.bht:"
@article{DBLP:journals/tcs/CarmonaK13, author = {Josep Carmona and Jetty Kleijn}, title = {Compatibility in a multi-component environment}, journal = {Theor. Comput. Sci.}, volume = {484}, pages = {1--15}, year = {2013}, url = {https://doi.org/10.1016/j.tcs.2013.03.006}, doi = {10.1016/J.TCS.2013.03.006}, timestamp = {Thu, 09 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/CarmonaK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/DosenP13, author = {Kosta Dosen and Zoran Petric}, title = {Graphs of plural cuts}, journal = {Theor. Comput. Sci.}, volume = {484}, pages = {41--55}, year = {2013}, url = {https://doi.org/10.1016/j.tcs.2013.02.001}, doi = {10.1016/J.TCS.2013.02.001}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/DosenP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/MeydenZ13a, author = {Ron van der Meyden and Chenyi Zhang}, title = {Information flow in systems with schedulers, Part {II:} Refinement}, journal = {Theor. Comput. Sci.}, volume = {484}, pages = {70--92}, year = {2013}, url = {https://doi.org/10.1016/j.tcs.2013.01.002}, doi = {10.1016/J.TCS.2013.01.002}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/MeydenZ13a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/NikolicS13, author = {Durica Nikolic and Fausto Spoto}, title = {Inferring complete initialization of arrays}, journal = {Theor. Comput. Sci.}, volume = {484}, pages = {16--40}, year = {2013}, url = {https://doi.org/10.1016/j.tcs.2013.01.007}, doi = {10.1016/J.TCS.2013.01.007}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/NikolicS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Worboys13, author = {Michael F. Worboys}, title = {Using bigraphs to model topological graphs embedded in orientable surfaces}, journal = {Theor. Comput. Sci.}, volume = {484}, pages = {56--69}, year = {2013}, url = {https://doi.org/10.1016/j.tcs.2013.02.018}, doi = {10.1016/J.TCS.2013.02.018}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Worboys13.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.