BibTeX records: Serdar Erbatur

download as .bib file

@article{DBLP:journals/mscs/ErbaturMR20,
  author    = {Serdar Erbatur and
               Andrew M. Marshall and
               Christophe Ringeissen},
  title     = {Computing knowledge in equational extensions of subterm convergent
               theories},
  journal   = {Math. Struct. Comput. Sci.},
  volume    = {30},
  number    = {6},
  pages     = {683--709},
  year      = {2020},
  url       = {https://doi.org/10.1017/S0960129520000031},
  doi       = {10.1017/S0960129520000031},
  timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/mscs/ErbaturMR20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ErbaturMR20,
  author    = {Serdar Erbatur and
               Andrew M. Marshall and
               Christophe Ringeissen},
  editor    = {Maribel Fern{\'{a}}ndez},
  title     = {Terminating Non-disjoint Combined Unification},
  booktitle = {Logic-Based Program Synthesis and Transformation - 30th International
               Symposium, {LOPSTR} 2020, Bologna, Italy, September 7-9, 2020, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {12561},
  pages     = {113--130},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-68446-4\_6},
  doi       = {10.1007/978-3-030-68446-4\_6},
  timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/lopstr/ErbaturMR20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/EerallaEMR19,
  author    = {Ajay Kumar Eeralla and
               Serdar Erbatur and
               Andrew M. Marshall and
               Christophe Ringeissen},
  editor    = {Carlos Mart{\'{\i}}n{-}Vide and
               Alexander Okhotin and
               Dana Shapira},
  title     = {Rule-Based Unification in Combined Theories and the Finite Variant
               Property},
  booktitle = {Language and Automata Theory and Applications - 13th International
               Conference, {LATA} 2019, St. Petersburg, Russia, March 26-29, 2019,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11417},
  pages     = {356--367},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-13435-8\_26},
  doi       = {10.1007/978-3-030-13435-8\_26},
  timestamp = {Tue, 03 Mar 2020 11:22:06 +0100},
  biburl    = {https://dblp.org/rec/conf/lata/EerallaEMR19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-07647,
  author    = {Serdar Erbatur and
               Martin Hofmann and
               Eugen Zalinescu},
  title     = {Enforcing Programming Guidelines with Region Types and Effects},
  journal   = {CoRR},
  volume    = {abs/1801.07647},
  year      = {2018},
  url       = {http://arxiv.org/abs/1801.07647},
  archivePrefix = {arXiv},
  eprint    = {1801.07647},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1801-07647.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Erbatur0Z17,
  author    = {Serdar Erbatur and
               Martin Hofmann and
               Eugen Zalinescu},
  editor    = {Bor{-}Yuh Evan Chang},
  title     = {Enforcing Programming Guidelines with Region Types and Effects},
  booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
               2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10695},
  pages     = {85--104},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-71237-6\_5},
  doi       = {10.1007/978-3-319-71237-6\_5},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/aplas/Erbatur0Z17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ErbaturMR17,
  author    = {Serdar Erbatur and
               Andrew M. Marshall and
               Christophe Ringeissen},
  editor    = {Leonardo de Moura},
  title     = {Notions of Knowledge in Combinations of Theories Sharing Constructors},
  booktitle = {Automated Deduction - {CADE} 26 - 26th International Conference on
               Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10395},
  pages     = {60--76},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-63046-5\_5},
  doi       = {10.1007/978-3-319-63046-5\_5},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/ErbaturMR17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ErbaturKMNR15,
  author    = {Serdar Erbatur and
               Deepak Kapur and
               Andrew M. Marshall and
               Paliath Narendran and
               Christophe Ringeissen},
  editor    = {Carsten Lutz and
               Silvio Ranise},
  title     = {Unification and Matching in Hierarchical Combinations of Syntactic
               Theories},
  booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
               2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9322},
  pages     = {291--306},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-24246-0\_18},
  doi       = {10.1007/978-3-319-24246-0\_18},
  timestamp = {Wed, 25 Sep 2019 18:06:13 +0200},
  biburl    = {https://dblp.org/rec/conf/frocos/ErbaturKMNR15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/ErbaturH15,
  author    = {Serdar Erbatur and
               Martin Hofmann},
  editor    = {Domenico Bianculli and
               Radu Calinescu and
               Bernhard Rumpe},
  title     = {GuideForce: Type-Based Enforcement of Programming Guidelines},
  booktitle = {Software Engineering and Formal Methods - {SEFM} 2015 Collocated Workshops:
               ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015,
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9509},
  pages     = {75--89},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-49224-6\_8},
  doi       = {10.1007/978-3-662-49224-6\_8},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/sefm/ErbaturH15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/ErbaturKMMNR14,
  author    = {Serdar Erbatur and
               Deepak Kapur and
               Andrew M. Marshall and
               Catherine A. Meadows and
               Paliath Narendran and
               Christophe Ringeissen},
  editor    = {Anca Muscholl},
  title     = {On Asymmetric Unification and the Combination Problem in Disjoint
               Theories},
  booktitle = {Foundations of Software Science and Computation Structures - 17th
               International Conference, {FOSSACS} 2014, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2014,
               Grenoble, France, April 5-13, 2014, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8412},
  pages     = {274--288},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54830-7\_18},
  doi       = {10.1007/978-3-642-54830-7\_18},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/conf/fossacs/ErbaturKMMNR14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ErbaturEKLLMMNSS13,
  author    = {Serdar Erbatur and
               Santiago Escobar and
               Deepak Kapur and
               Zhiqiang Liu and
               Christopher Lynch and
               Catherine A. Meadows and
               Jos{\'{e}} Meseguer and
               Paliath Narendran and
               Sonia Santiago and
               Ralf Sasse},
  editor    = {Maria Paola Bonacina},
  title     = {Asymmetric Unification: {A} New Unification Paradigm for Cryptographic
               Protocol Analysis},
  booktitle = {Automated Deduction - {CADE-24} - 24th International Conference on
               Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7898},
  pages     = {231--248},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38574-2\_16},
  doi       = {10.1007/978-3-642-38574-2\_16},
  timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/cade/ErbaturEKLLMMNSS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ErbaturKMNR13,
  author    = {Serdar Erbatur and
               Deepak Kapur and
               Andrew M. Marshall and
               Paliath Narendran and
               Christophe Ringeissen},
  editor    = {Maria Paola Bonacina},
  title     = {Hierarchical Combination},
  booktitle = {Automated Deduction - {CADE-24} - 24th International Conference on
               Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7898},
  pages     = {249--266},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38574-2\_17},
  doi       = {10.1007/978-3-642-38574-2\_17},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/ErbaturKMNR13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ErbaturKMNR13,
  author    = {Serdar Erbatur and
               Deepak Kapur and
               Andrew M. Marshall and
               Paliath Narendran and
               Christophe Ringeissen},
  editor    = {Konstantin Korovin and
               Barbara Morawska},
  title     = {Hierarchical Combination of Unication Algorithms (Extended Abstract)},
  booktitle = {27th International Workshop on Unification, {UNIF} 2013, Eindhoven,
               Netherlands, June 26, 2013},
  series    = {EPiC Series in Computing},
  volume    = {19},
  pages     = {30--34},
  publisher = {EasyChair},
  year      = {2013},
  url       = {https://easychair.org/publications/paper/wB},
  timestamp = {Wed, 27 May 2020 16:02:02 +0200},
  biburl    = {https://dblp.org/rec/conf/rta/ErbaturKMNR13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ErbaturEN12,
  author    = {Serdar Erbatur and
               Santiago Escobar and
               Paliath Narendran},
  editor    = {Santiago Escobar and
               Konstantin Korovin and
               Vladimir V. Rybakov},
  title     = {The use of types in designing unification algorithms: two case studies},
  booktitle = {{UNIF} 2012 Post-Worskhop Proceedings. The 26th International Workshop
               on Unification, Manchester, UK, July 1, 2012},
  series    = {EPiC Series in Computing},
  volume    = {24},
  pages     = {7--16},
  publisher = {EasyChair},
  year      = {2012},
  url       = {https://easychair.org/publications/paper/Mqw},
  timestamp = {Tue, 10 Nov 2020 12:25:00 +0100},
  biburl    = {https://dblp.org/rec/conf/cade/ErbaturEN12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AnantharamanELNR12,
  author    = {Siva Anantharaman and
               Serdar Erbatur and
               Christopher Lynch and
               Paliath Narendran and
               Micha{\"{e}}l Rusinowitch},
  editor    = {Bernhard Gramlich and
               Dale Miller and
               Uli Sattler},
  title     = {Unification Modulo Synchronous Distributivity},
  booktitle = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
               2012, Manchester, UK, June 26-29, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7364},
  pages     = {14--29},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31365-3\_4},
  doi       = {10.1007/978-3-642-31365-3\_4},
  timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/AnantharamanELNR12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/ErbaturEKLLMMNSS12,
  author    = {Serdar Erbatur and
               Santiago Escobar and
               Deepak Kapur and
               Zhiqiang Liu and
               Christopher Lynch and
               Catherine A. Meadows and
               Jos{\'{e}} Meseguer and
               Paliath Narendran and
               Sonia Santiago and
               Ralf Sasse},
  editor    = {Sara Foresti and
               Moti Yung and
               Fabio Martinelli},
  title     = {Effective Symbolic Protocol Analysis via Equational Irreducibility
               Conditions},
  booktitle = {Computer Security - {ESORICS} 2012 - 17th European Symposium on Research
               in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7459},
  pages     = {73--90},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33167-1\_5},
  doi       = {10.1007/978-3-642-33167-1\_5},
  timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/esorics/ErbaturEKLLMMNSS12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/ErbaturMKN11,
  author    = {Serdar Erbatur and
               Andrew M. Marshall and
               Deepak Kapur and
               Paliath Narendran},
  title     = {Unification over Distributive Exponentiation (Sub)Theories},
  journal   = {J. Autom. Lang. Comb.},
  volume    = {16},
  number    = {2-4},
  pages     = {109--140},
  year      = {2011},
  url       = {https://doi.org/10.25596/jalc-2011-109},
  doi       = {10.25596/jalc-2011-109},
  timestamp = {Mon, 11 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jalc/ErbaturMKN11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics