Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/fics2:"
download as .bib file
@inproceedings{DBLP:journals/entcs/ChaiQJ08,
author = {Mingren Chai and
Nan Qu and
Ying Jiang},
editor = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
title = {Tree Process Calculus},
booktitle = {Proceedings of the First International Conference on Foundations of
Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
June 3-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {212},
pages = {269--284},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.04.067},
doi = {10.1016/J.ENTCS.2008.04.067},
timestamp = {Fri, 17 Feb 2023 09:48:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChaiQJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Chen08,
author = {Haiyan Chen},
editor = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
title = {Decidability of Weak Bisimilarity for a Subset of {BPA}},
booktitle = {Proceedings of the First International Conference on Foundations of
Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
June 3-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {212},
pages = {241--255},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.04.065},
doi = {10.1016/J.ENTCS.2008.04.065},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Chen08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChenL08,
author = {Taolue Chen and
Jian Lu},
editor = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
title = {Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic
Process Algebra with Prefix Iteration},
booktitle = {Proceedings of the First International Conference on Foundations of
Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
June 3-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {212},
pages = {55--70},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.04.053},
doi = {10.1016/J.ENTCS.2008.04.053},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChenL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChenZP08,
author = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
editor = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
title = {Preface},
booktitle = {Proceedings of the First International Conference on Foundations of
Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
June 3-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {212},
pages = {1},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.04.049},
doi = {10.1016/J.ENTCS.2008.04.049},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChenZP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DaiWS08,
author = {H. K. Dai and
Kyu{-}Young Whang and
Hung{-}Chi Su},
editor = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
title = {Locality of Corner Transformation for Multidimensional Spatial Access
Methods},
booktitle = {Proceedings of the First International Conference on Foundations of
Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
June 3-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {212},
pages = {133--148},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.04.058},
doi = {10.1016/J.ENTCS.2008.04.058},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DaiWS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Doberkat08,
author = {Ernst{-}Erich Doberkat},
editor = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
title = {Bisimilarity of Distributionally Equivalent Markov Transition Systems},
booktitle = {Proceedings of the First International Conference on Foundations of
Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
June 3-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {212},
pages = {41--53},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.04.052},
doi = {10.1016/J.ENTCS.2008.04.052},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Doberkat08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Frutos-EscrigGP08,
author = {David de Frutos{-}Escrig and
Carlos Gregorio{-}Rodr{\'{\i}}guez and
Miguel Palomino},
editor = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
title = {Coinductive Characterisations Reveal Nice Relations Between Preorders
and Equivalences},
booktitle = {Proceedings of the First International Conference on Foundations of
Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
June 3-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {212},
pages = {149--162},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.04.059},
doi = {10.1016/J.ENTCS.2008.04.059},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Frutos-EscrigGP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HoareO08,
author = {Tony Hoare and
Peter W. O'Hearn},
editor = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
title = {Separation Logic Semantics for Communicating Processes},
booktitle = {Proceedings of the First International Conference on Foundations of
Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
June 3-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {212},
pages = {3--25},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.04.050},
doi = {10.1016/J.ENTCS.2008.04.050},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HoareO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HuangDZ08,
author = {Fangping Huang and
Manfred Droste and
Guo{-}Qiang Zhang},
editor = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
title = {A Monoidal Category of Bifinite Chu Spaces},
booktitle = {Proceedings of the First International Conference on Foundations of
Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
June 3-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {212},
pages = {285--297},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.04.068},
doi = {10.1016/J.ENTCS.2008.04.068},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HuangDZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/IlleR08,
author = {Pierre Ille and
Paul Ruet},
editor = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
title = {Cyclic Extensions of Order Varieties},
booktitle = {Proceedings of the First International Conference on Foundations of
Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
June 3-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {212},
pages = {119--132},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.04.057},
doi = {10.1016/J.ENTCS.2008.04.057},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/IlleR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LiGZ08,
author = {Zhoujun Li and
Hua Guo and
Xiyong Zhang},
editor = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
title = {fficient and Provably Secure Generic Construction of Client-to-Client
Password-Based Key Exchange Protocol},
booktitle = {Proceedings of the First International Conference on Foundations of
Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
June 3-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {212},
pages = {257--268},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.04.066},
doi = {10.1016/J.ENTCS.2008.04.066},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LiGZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LiLCZ08,
author = {Mengjun Li and
Zhoujun Li and
Huowang Chen and
Ti Zhou},
editor = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
title = {A Novel Derivation Framework For Definite Logic Program},
booktitle = {Proceedings of the First International Conference on Foundations of
Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
June 3-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {212},
pages = {71--85},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.04.054},
doi = {10.1016/J.ENTCS.2008.04.054},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LiLCZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lu08,
author = {Lunjin Lu},
editor = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
title = {Checking Emptiness of Non-Deterministic Regular Types with Set Operators},
booktitle = {Proceedings of the First International Conference on Foundations of
Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
June 3-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {212},
pages = {191--206},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.04.062},
doi = {10.1016/J.ENTCS.2008.04.062},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lu08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LuoQ08,
author = {Chenguang Luo and
Shengchao Qin},
editor = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
title = {Separation Logic for Multiple Inheritance},
booktitle = {Proceedings of the First International Conference on Foundations of
Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
June 3-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {212},
pages = {27--40},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.04.051},
doi = {10.1016/J.ENTCS.2008.04.051},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LuoQ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LynchT08,
author = {Christopher Lynch and
Yuefeng Tang},
editor = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
title = {Rewriting Interpolants},
booktitle = {Proceedings of the First International Conference on Foundations of
Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
June 3-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {212},
pages = {163--176},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.04.060},
doi = {10.1016/J.ENTCS.2008.04.060},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LynchT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Pichardie08,
author = {David Pichardie},
editor = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
title = {Building Certified Static Analysers by Modular Construction of Well-founded
Lattices},
booktitle = {Proceedings of the First International Conference on Foundations of
Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
June 3-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {212},
pages = {225--239},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.04.064},
doi = {10.1016/J.ENTCS.2008.04.064},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Pichardie08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RidgwayW08,
author = {John V. E. Ridgway and
Jack C. Wileden},
editor = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
title = {Reasoning About Multi-Lingual Exception Handling Using {RIPLS}},
booktitle = {Proceedings of the First International Conference on Foundations of
Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
June 3-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {212},
pages = {177--189},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.04.061},
doi = {10.1016/J.ENTCS.2008.04.061},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RidgwayW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Sun08a,
author = {Meng Sun},
editor = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
title = {Services and Contracts: Coalgebraically},
booktitle = {Proceedings of the First International Conference on Foundations of
Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
June 3-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {212},
pages = {207--223},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.04.063},
doi = {10.1016/J.ENTCS.2008.04.063},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Sun08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/XuM08,
author = {Luoshan Xu and
Xuxin Mao},
editor = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
title = {Various Constructions of Continuous Information Systems},
booktitle = {Proceedings of the First International Conference on Foundations of
Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
June 3-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {212},
pages = {299--311},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.04.069},
doi = {10.1016/J.ENTCS.2008.04.069},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/XuM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/XueX08,
author = {Tao Xue and
Qichao Xuan},
editor = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
title = {Proof Search and Counter Model of Positive Minimal Predicate Logic},
booktitle = {Proceedings of the First International Conference on Foundations of
Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
June 3-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {212},
pages = {87--102},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.04.055},
doi = {10.1016/J.ENTCS.2008.04.055},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/XueX08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZhouLLC08,
author = {Ti Zhou and
Mengjun Li and
Zhoujun Li and
Huowang Chen},
editor = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
title = {Modeling and Verifying Time Sensitive Security Protocols with Constraints},
booktitle = {Proceedings of the First International Conference on Foundations of
Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
June 3-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {212},
pages = {103--118},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.04.056},
doi = {10.1016/J.ENTCS.2008.04.056},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZhouLLC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fics2/2008,
editor = {Yixiang Chen and
Guo{-}Qiang Zhang and
Prakash Panangaden},
title = {Proceedings of the First International Conference on Foundations of
Informatics, Computing and Software, {FICS} 2008, Shanghai, China,
June 3-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {212},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/212/suppl/C},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics2/2008.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-07-13 11:02 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:
