Search dblp for Publications

export results for "trace property"

 download as .bib file

@article{DBLP:journals/jmc/ErdelyiHKN24,
  author       = {M{\'{a}}rton Erd{\'{e}}lyi and
                  P{\'{a}}l Heged{\"{u}}s and
                  S{\'{a}}ndor Z. Kiss and
                  G{\'{a}}bor P{\'{e}}ter Nagy},
  title        = {On linear codes with random multiplier vectors and the maximum trace
                  dimension property},
  journal      = {J. Math. Cryptol.},
  volume       = {18},
  number       = {1},
  year         = {2024},
  url          = {https://doi.org/10.1515/jmc-2023-0022},
  doi          = {10.1515/JMC-2023-0022},
  timestamp    = {Wed, 20 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jmc/ErdelyiHKN24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cscwd/ZhangLZYL23,
  author       = {Hanghua Zhang and
                  Lubin Lin and
                  Guipeng Zhang and
                  Zhenguo Yang and
                  Wenyin Liu},
  editor       = {Weiming Shen and
                  Jean{-}Paul A. Barth{\`{e}}s and
                  Junzhou Luo and
                  Adriana S. Vivacqua and
                  Daniel Schneider and
                  Cheng Xie and
                  Jinghui Zhang and
                  Haibin Zhu and
                  Kunkun Peng and
                  Cl{\'{a}}udia Lage Rebello da Motta},
  title        = {{ATIPM:} {A} Blockchain-Based Anonymous and Traceable Intellectual
                  Property Management Scheme},
  booktitle    = {26th International Conference on Computer Supported Cooperative Work
                  in Design, {CSCWD} 2023, Rio de Janeiro, Brazil, May 24-26, 2023},
  pages        = {1080--1085},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/CSCWD57460.2023.10152748},
  doi          = {10.1109/CSCWD57460.2023.10152748},
  timestamp    = {Tue, 06 Feb 2024 14:19:46 +0100},
  biburl       = {https://dblp.org/rec/conf/cscwd/ZhangLZYL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2309-00687,
  author       = {M{\'{a}}rton Erd{\'{e}}lyi and
                  P{\'{a}}l Heged{\"{u}}s and
                  S{\'{a}}ndor Z. Kiss and
                  G{\'{a}}bor P{\'{e}}ter Nagy},
  title        = {On Linear Codes with Random Multiplier Vectors and the Maximum Trace
                  Dimension Property},
  journal      = {CoRR},
  volume       = {abs/2309.00687},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2309.00687},
  doi          = {10.48550/ARXIV.2309.00687},
  eprinttype    = {arXiv},
  eprint       = {2309.00687},
  timestamp    = {Wed, 20 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-00687.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ppna/ZhuangDZ22,
  author       = {Chuxin Zhuang and
                  Qingyun Dai and
                  Yue Zhang},
  title        = {{BCPPT:} {A} blockchain-based privacy-preserving and traceability
                  identity management scheme for intellectual property},
  journal      = {Peer-to-Peer Netw. Appl.},
  volume       = {15},
  number       = {1},
  pages        = {724--738},
  year         = {2022},
  url          = {https://doi.org/10.1007/s12083-021-01277-1},
  doi          = {10.1007/S12083-021-01277-1},
  timestamp    = {Tue, 25 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ppna/ZhuangDZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toms/MaiLMW22,
  author       = {Ngoc Hoang Anh Mai and
                  Jean B. Lasserre and
                  Victor Magron and
                  Jie Wang},
  title        = {Exploiting Constant Trace Property in Large-scale Polynomial Optimization},
  journal      = {{ACM} Trans. Math. Softw.},
  volume       = {48},
  number       = {4},
  pages        = {40:1--40:39},
  year         = {2022},
  url          = {https://doi.org/10.1145/3555309},
  doi          = {10.1145/3555309},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toms/MaiLMW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Tari21,
  author       = {Somayyeh Tari},
  title        = {Strong cell decomposition property in o-minimal traces},
  journal      = {Arch. Math. Log.},
  volume       = {60},
  number       = {1-2},
  pages        = {135--144},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00153-020-00739-2},
  doi          = {10.1007/S00153-020-00739-2},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Tari21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/DevarajegowdaKP21,
  author       = {Keerthikumara Devarajegowda and
                  Endri Kaja and
                  Sebastian Siegfried Prebeck and
                  Wolfgang Ecker},
  title        = {{ISA} Modeling with Trace Notation for Context Free Property Generation},
  booktitle    = {58th {ACM/IEEE} Design Automation Conference, {DAC} 2021, San Francisco,
                  CA, USA, December 5-9, 2021},
  pages        = {619--624},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/DAC18074.2021.9586264},
  doi          = {10.1109/DAC18074.2021.9586264},
  timestamp    = {Tue, 23 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/DevarajegowdaKP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/MaiBM21,
  author       = {Ngoc Hoang Anh Mai and
                  Abhishek Bhardwaj and
                  Victor Magron},
  editor       = {Fr{\'{e}}d{\'{e}}ric Chyzak and
                  George Labahn},
  title        = {The Constant Trace Property in Noncommutative Optimization},
  booktitle    = {{ISSAC} '21: International Symposium on Symbolic and Algebraic Computation,
                  Virtual Event, Russia, July 18-23, 2021},
  pages        = {297--304},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3452143.3465516},
  doi          = {10.1145/3452143.3465516},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/MaiBM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/comcom/WuLXK20,
  author       = {Fan Wu and
                  Xiong Li and
                  Lili Xu and
                  Saru Kumari},
  title        = {A privacy-preserving scheme with identity traceable property for smart
                  grid},
  journal      = {Comput. Commun.},
  volume       = {157},
  pages        = {38--44},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.comcom.2020.03.047},
  doi          = {10.1016/J.COMCOM.2020.03.047},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/comcom/WuLXK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siamsc/BradleyBGTB19,
  author       = {Andrew M. Bradley and
                  Peter A. Bosler and
                  Oksana Guba and
                  Mark A. Taylor and
                  Gregory A. Barnett},
  title        = {Communication-Efficient Property Preservation in Tracer Transport},
  journal      = {{SIAM} J. Sci. Comput.},
  volume       = {41},
  number       = {3},
  pages        = {C161--C193},
  year         = {2019},
  url          = {https://doi.org/10.1137/18M1165414},
  doi          = {10.1137/18M1165414},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamsc/BradleyBGTB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/OgunyomiRK19,
  author       = {Babajide Ogunyomi and
                  Louis M. Rose and
                  Dimitrios S. Kolovos},
  title        = {Incremental execution of model-to-text transformations using property
                  access traces},
  journal      = {Softw. Syst. Model.},
  volume       = {18},
  number       = {1},
  pages        = {367--383},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10270-018-0666-5},
  doi          = {10.1007/S10270-018-0666-5},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/OgunyomiRK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/LedruBBGCB18,
  author       = {Yves Ledru and
                  Yoann Blein and
                  Lydie du Bousquet and
                  Roland Groz and
                  Arnaud Clere and
                  Fabrice Bertrand},
  editor       = {Ita Richardson and
                  Jens H. Weber},
  title        = {Requirements for a Trace Property Language for Medical Devices},
  booktitle    = {2018 {IEEE/ACM} International Workshop on Software Engineering in
                  Healthcare Systems, SEHS@ICSE 2018, Gothenburg, Sweden, May 28, 2018},
  pages        = {30--33},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3194696.3194699},
  doi          = {10.1145/3194696.3194699},
  timestamp    = {Tue, 10 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/LedruBBGCB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mobisys/SchonhalsHG18,
  author       = {Alexander Sch{\"{o}}nhals and
                  Thomas Hepp and
                  Bela Gipp},
  title        = {Design Thinking using the Blockchain: Enable Traceability of Intellectual
                  Property in Problem-Solving Processes for Open Innovation},
  booktitle    = {Proceedings of the 1st Workshop on Cryptocurrencies and Blockchains
                  for Distributed Systems, CRYBLOCK@MobiSys 2018, Munich, Germany, June
                  15, 2018},
  pages        = {105--110},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3211933.3211952},
  doi          = {10.1145/3211933.3211952},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mobisys/SchonhalsHG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/CheikhBCVLB18,
  author       = {Ansem Ben Cheikh and
                  Yoann Blein and
                  Salim Chehida and
                  Germ{\'{a}}n Vega and
                  Yves Ledru and
                  Lydie du Bousquet},
  editor       = {Christian Colombo and
                  Martin Leucker},
  title        = {An Environment for the ParTraP Trace Property Language (Tool Demonstration)},
  booktitle    = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,
                  Cyprus, November 10-13, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11237},
  pages        = {437--446},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-03769-7\_26},
  doi          = {10.1007/978-3-030-03769-7\_26},
  timestamp    = {Sat, 12 Jun 2021 11:01:04 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/CheikhBCVLB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dm/KathuriaAB17,
  author       = {Anu Kathuria and
                  S. K. Arora and
                  Sudhir Batra},
  title        = {On traceability property of equidistant codes},
  journal      = {Discret. Math.},
  volume       = {340},
  number       = {4},
  pages        = {713--721},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.disc.2016.12.009},
  doi          = {10.1016/J.DISC.2016.12.009},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dm/KathuriaAB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecmdafa/OgunyomiRK15,
  author       = {Babajide Ogunyomi and
                  Louis M. Rose and
                  Dimitrios S. Kolovos},
  editor       = {Gabriele Taentzer and
                  Francis Bordeleau},
  title        = {Property Access Traces for Source Incremental Model-to-Text Transformation},
  booktitle    = {Modelling Foundations and Applications - 11th European Conference,
                  ECMFA@STAF 2015, L'Aquila, Italy, July 20-24, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9153},
  pages        = {187--202},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21151-0\_13},
  doi          = {10.1007/978-3-319-21151-0\_13},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecmdafa/OgunyomiRK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fss/WangX14,
  author       = {Xuzhu Wang and
                  Ye Xue},
  title        = {Traces and property indicators of fuzzy relations},
  journal      = {Fuzzy Sets Syst.},
  volume       = {246},
  pages        = {78--90},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.fss.2014.01.008},
  doi          = {10.1016/J.FSS.2014.01.008},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/WangX14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icist/PavalkisN13,
  author       = {Saulius Pavalkis and
                  Lina Nemuraite},
  editor       = {Tomas Skersys and
                  Rimantas Butleris and
                  Rita Butkiene},
  title        = {Process for Applying Derived Property Based Traceability Framework
                  in Software and Systems Development Life Cycle},
  booktitle    = {Information and Software Technologies - 19th International Conference,
                  {ICIST} 2013, Kaunas, Lithuania, October 2013. Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {403},
  pages        = {122--133},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41947-8\_12},
  doi          = {10.1007/978-3-642-41947-8\_12},
  timestamp    = {Thu, 14 Oct 2021 10:04:45 +0200},
  biburl       = {https://dblp.org/rec/conf/icist/PavalkisN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ieicet/PermpoontanalarpC12,
  author       = {Yongyuth Permpoontanalarp and
                  Apichai Changkhanak},
  title        = {On-the-Fly Trace Generation Approach to the Security Analysis of the
                  {TMN} Protocol with Homomorphic Property: {A} Petri Nets-Based Method},
  journal      = {{IEICE} Trans. Inf. Syst.},
  volume       = {95-D},
  number       = {1},
  pages        = {215--229},
  year         = {2012},
  url          = {https://doi.org/10.1587/transinf.E95.D.215},
  doi          = {10.1587/TRANSINF.E95.D.215},
  timestamp    = {Sat, 11 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieicet/PermpoontanalarpC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tdsc/WangZ12,
  author       = {Huaqun Wang and
                  Yuqing Zhang},
  title        = {On the Security of a Ticket-Based Anonymity System with Traceability
                  Property in Wireless Mesh Networks},
  journal      = {{IEEE} Trans. Dependable Secur. Comput.},
  volume       = {9},
  number       = {3},
  pages        = {443--446},
  year         = {2012},
  url          = {https://doi.org/10.1109/TDSC.2011.53},
  doi          = {10.1109/TDSC.2011.53},
  timestamp    = {Thu, 18 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tdsc/WangZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icnp/HsuL10,
  author       = {Yating Hsu and
                  David Lee},
  title        = {Authentication and authorization protocol security property analysis
                  with trace inclusion transformation and online minimization},
  booktitle    = {Proceedings of the 18th annual {IEEE} International Conference on
                  Network Protocols, {ICNP} 2010, Kyoto, Japan, 5-8 October, 2010},
  pages        = {164--173},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ICNP.2010.5762765},
  doi          = {10.1109/ICNP.2010.5762765},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icnp/HsuL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/HallalBPU06,
  author       = {Hesham Hallal and
                  Sergiy Boroday and
                  Alexandre Petrenko and
                  Andreas Ulrich},
  title        = {A formal approach to property testing in causally consistent distributed
                  traces},
  journal      = {Formal Aspects Comput.},
  volume       = {18},
  number       = {1},
  pages        = {63--83},
  year         = {2006},
  url          = {https://doi.org/10.1007/s00165-005-0082-9},
  doi          = {10.1007/S00165-005-0082-9},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/HallalBPU06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/HallalBUP03,
  author       = {Hesham Hallal and
                  Sergiy Boroday and
                  Andreas Ulrich and
                  Alexandre Petrenko},
  editor       = {Dieter Hogrefe and
                  Anthony Wiles},
  title        = {An Automata-Based Approach to Property Testing in Event Traces},
  booktitle    = {Testing of Communicating Systems, 15th {IFIP} International Conference,
                  TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2644},
  pages        = {180--196},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44830-6\_14},
  doi          = {10.1007/3-540-44830-6\_14},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/HallalBUP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Kirsten02,
  author       = {Daniel Kirsten},
  title        = {The Star Problem and the Finite Power Property in Trace Monoids: Reductions
                  beyond {C4}},
  journal      = {Inf. Comput.},
  volume       = {176},
  number       = {1},
  pages        = {22--36},
  year         = {2002},
  url          = {https://doi.org/10.1006/inco.2002.3152},
  doi          = {10.1006/INCO.2002.3152},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Kirsten02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/JamesU01,
  author       = {Simon St. James and
                  Ulrich Ultes{-}Nitsche},
  editor       = {Ajay D. Kshemkalyani and
                  Nir Shavit},
  title        = {Computing property-preserving behaviour abstractions from trace reductions:
                  abstraction-based verification of linear-time properties under fairness},
  booktitle    = {Proceedings of the Twentieth Annual {ACM} Symposium on Principles
                  of Distributed Computing, {PODC} 2001, Newport, Rhode Island, USA,
                  August 26-29, 2001},
  pages        = {238--245},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/383962.384027},
  doi          = {10.1145/383962.384027},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/podc/JamesU01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jise/LeeC99,
  author       = {Wei{-}Bin Lee and
                  Chin{-}Chen Chang},
  title        = {(t, n) Threshold Digital Signature With Traceability Property},
  journal      = {J. Inf. Sci. Eng.},
  volume       = {15},
  number       = {5},
  pages        = {669--678},
  year         = {1999},
  url          = {http://www.iis.sinica.edu.tw/page/jise/1999/199909\_03.html},
  timestamp    = {Fri, 16 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jise/LeeC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Kirsten99,
  author       = {Daniel Kirsten},
  editor       = {Jir{\'{\i}} Wiedermann and
                  Peter van Emde Boas and
                  Mogens Nielsen},
  title        = {A Connection between the Star Problem and the Finite Power Property
                  in Trace Monoids},
  booktitle    = {Automata, Languages and Programming, 26th International Colloquium,
                  ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1644},
  pages        = {473--482},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48523-6\_44},
  doi          = {10.1007/3-540-48523-6\_44},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Kirsten99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Richomme94,
  author       = {Gw{\'{e}}na{\"{e}}l Richomme},
  editor       = {Igor Pr{\'{\i}}vara and
                  Branislav Rovan and
                  Peter Ruzicka},
  title        = {Some Trace Monoids Where Both the Star Problem and the Finite Power
                  Property Problem are Decidable},
  booktitle    = {Mathematical Foundations of Computer Science 1994, 19th International
                  Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {841},
  pages        = {577--586},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58338-6\_104},
  doi          = {10.1007/3-540-58338-6\_104},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Richomme94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/echt/StottsFR92,
  author       = {P. David Stotts and
                  Richard Furuta and
                  J. Cyrano Ruiz},
  editor       = {Dario Lucarella and
                  Jocelyne Nanard and
                  Marc Nanard and
                  Paolo Paolini},
  title        = {Hyperdocuments as Automata: Trace-Based Browsing Property Verification},
  booktitle    = {{ECHT} '92: European Conference on Hypertext Technology, November
                  30 - December 4, 1992, Milan, Italy},
  pages        = {272--281},
  publisher    = {{ACM}},
  year         = {1992},
  url          = {https://doi.org/10.1145/168466.171515},
  doi          = {10.1145/168466.171515},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/echt/StottsFR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fodo/IkedaOO85,
  author       = {Hideto Ikeda and
                  Yoshihumi Ohzawa and
                  Kenji Onaga},
  editor       = {Sakti P. Ghosh and
                  Yahiko Kambayashi and
                  Katsumi Tanaka},
  title        = {Tracer: Transposed File Organization Scheme with Consecutive Retrieval
                  Property and its Application to Statistical Database System},
  booktitle    = {Foundations of Data Organization, Proceedings of the International
                  Conference on Foundations of Data Organization, May 22-24, 1985, Kyoto,
                  Japan},
  pages        = {125--132},
  publisher    = {Plemum Press, New York},
  year         = {1985},
  timestamp    = {Thu, 01 Aug 2019 14:29:21 +0200},
  biburl       = {https://dblp.org/rec/conf/fodo/IkedaOO85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.