Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: K. Tuncay Tekle
@inproceedings{DBLP:journals/corr/abs-2308-15878,
author = {Yanhong A. Liu and
Scott D. Stoller and
Yi Tong and
K. Tuncay Tekle},
editor = {Enrico Pontelli and
Stefania Costantini and
Carmine Dodaro and
Sarah Alice Gaggl and
Roberta Calegari and
Artur S. d'Avila Garcez and
Francesco Fabiano and
Alessandra Mileo and
Alessandra Russo and
Francesca Toni},
title = {Benchmarking for Integrating Logic Rules with Everything Else},
booktitle = {Proceedings 39th International Conference on Logic Programming, {ICLP}
2023, Imperial College London, UK, 9th July 2023 - 15th July 2023},
series = {{EPTCS}},
volume = {385},
pages = {12--26},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.385.3},
doi = {10.4204/EPTCS.385.3},
timestamp = {Wed, 25 Oct 2023 16:09:20 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-15878.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2208-02685,
editor = {Yuliya Lierler and
Jos{\'{e}} F. Morales and
Carmine Dodaro and
Ver{\'{o}}nica Dahl and
Martin Gebser and
K. Tuncay Tekle},
title = {Proceedings 38th International Conference on Logic Programming, {ICLP}
2022 Technical Communications / Doctoral Consortium, Haifa, Israel,
31st July 2022 - 6th August 2022},
series = {{EPTCS}},
volume = {364},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.364},
doi = {10.4204/EPTCS.364},
timestamp = {Mon, 21 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-02685.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-15204,
author = {Yanhong A. Liu and
Scott D. Stoller and
Yi Tong and
Bo Lin and
K. Tuncay Tekle},
title = {Programming with rules and everything else, seamlessly},
journal = {CoRR},
volume = {abs/2205.15204},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.15204},
doi = {10.48550/ARXIV.2205.15204},
eprinttype = {arXiv},
eprint = {2205.15204},
timestamp = {Wed, 01 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-15204.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08246,
author = {K. Tuncay Tekle and
Yanhong A. Liu},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Extended Magic for Negation: Efficient Demand-Driven Evaluation of
Stratified Datalog with Precise Complexity Guarantees},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {241--254},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.28},
doi = {10.4204/EPTCS.306.28},
timestamp = {Mon, 03 Jan 2022 22:03:32 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08246.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/18/MaierTKW18,
author = {David Maier and
K. Tuncay Tekle and
Michael Kifer and
David Scott Warren},
editor = {Michael Kifer and
Yanhong Annie Liu},
title = {Datalog: concepts, history, and outlook},
booktitle = {Declarative Logic Programming: Theory, Systems, and Applications},
series = {{ACM} Books},
volume = {20},
pages = {3--100},
publisher = {{ACM} / Morgan {\&} Claypool},
year = {2018},
url = {https://doi.org/10.1145/3191315.3191317},
doi = {10.1145/3191315.3191317},
timestamp = {Fri, 18 Aug 2023 18:13:14 +0200},
biburl = {https://dblp.org/rec/books/mc/18/MaierTKW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/TekleL16,
author = {K. Tuncay Tekle and
Yanhong A. Liu},
title = {Precise complexity guarantees for pointer analysis via Datalog with
extensions},
journal = {Theory Pract. Log. Program.},
volume = {16},
number = {5-6},
pages = {916--932},
year = {2016},
url = {https://doi.org/10.1017/S1471068416000405},
doi = {10.1017/S1471068416000405},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/TekleL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TekleL16,
author = {K. Tuncay Tekle and
Yanhong A. Liu},
title = {Precise Complexity Guarantees for Pointer Analysis via Datalog with
Extensions},
journal = {CoRR},
volume = {abs/1608.01594},
year = {2016},
url = {http://arxiv.org/abs/1608.01594},
eprinttype = {arXiv},
eprint = {1608.01594},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TekleL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/TekleL11,
author = {K. Tuncay Tekle and
Yanhong A. Liu},
editor = {Timos K. Sellis and
Ren{\'{e}}e J. Miller and
Anastasios Kementsietsidis and
Yannis Velegrakis},
title = {More efficient datalog queries: subsumptive tabling beats magic sets},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
of Data, {SIGMOD} 2011, Athens, Greece, June 12-16, 2011},
pages = {661--672},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1989323.1989393},
doi = {10.1145/1989323.1989393},
timestamp = {Thu, 11 Mar 2021 15:20:15 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/TekleL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dls/GorbovitskiLSRT10,
author = {Michael Gorbovitski and
Yanhong A. Liu and
Scott D. Stoller and
Tom Rothamel and
K. Tuncay Tekle},
editor = {William D. Clinger},
title = {Alias analysis for optimization of dynamic languages},
booktitle = {Proceedings of the 6th Symposium on Dynamic Languages, {DLS} 2010,
October 18, 2010, Reno, Nevada, {USA}},
pages = {27--42},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869631.1869635},
doi = {10.1145/1869631.1869635},
timestamp = {Tue, 22 Jun 2021 16:44:24 +0200},
biburl = {https://dblp.org/rec/conf/dls/GorbovitskiLSRT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/TekleGL10,
author = {K. Tuncay Tekle and
Michael Gorbovitski and
Yanhong A. Liu},
editor = {Temur Kutsia and
Wolfgang Schreiner and
Maribel Fern{\'{a}}ndez},
title = {Graph queries through datalog optimizations},
booktitle = {Proceedings of the 12th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 26-28, 2010,
Hagenberg, Austria},
pages = {25--34},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1836089.1836093},
doi = {10.1145/1836089.1836093},
timestamp = {Tue, 27 Nov 2018 15:52:28 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/TekleGL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/TekleL10,
author = {K. Tuncay Tekle and
Yanhong A. Liu},
editor = {Temur Kutsia and
Wolfgang Schreiner and
Maribel Fern{\'{a}}ndez},
title = {Precise complexity analysis for efficient datalog queries},
booktitle = {Proceedings of the 12th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 26-28, 2010,
Hagenberg, Austria},
pages = {35--44},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1836089.1836094},
doi = {10.1145/1836089.1836094},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/TekleL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/TekleHL08,
author = {K. Tuncay Tekle and
Katia Hristova and
Yanhong A. Liu},
editor = {Jos{\'{e}} Meseguer and
Grigore Rosu},
title = {Generating Specialized Rules and Programs for Demand-Driven Analysis},
booktitle = {Algebraic Methodology and Software Technology, 12th International
Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5140},
pages = {346--361},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79980-1\_26},
doi = {10.1007/978-3-540-79980-1\_26},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/amast/TekleHL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/GorbovitskiTRSL08,
author = {Michael Gorbovitski and
K. Tuncay Tekle and
Tom Rothamel and
Scott D. Stoller and
Yanhong A. Liu},
title = {Analysis and Transformations for Efficient Query-Based Debugging},
booktitle = {Eighth {IEEE} International Working Conference on Source Code Analysis
and Manipulation {(SCAM} 2008), 28-29 September 2008, Beijing, China},
pages = {174--183},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SCAM.2008.27},
doi = {10.1109/SCAM.2008.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/GorbovitskiTRSL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/HristovaTL07,
author = {Katia Hristova and
K. Tuncay Tekle and
Yanhong A. Liu},
editor = {Michael Leuschel and
Andreas Podelski},
title = {Efficient trust management policy analysis from rules},
booktitle = {Proceedings of the 9th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 14-16, 2007,
Wroclaw, Poland},
pages = {211--220},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1273920.1273950},
doi = {10.1145/1273920.1273950},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/HristovaTL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscis/TekleUYY05,
author = {K. Tuncay Tekle and
Hasan Ural and
M. Cihan Yalcin and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
editor = {Pinar Yolum and
Tunga G{\"{u}}ng{\"{o}}r and
Fikret S. G{\"{u}}rgen and
Can C. {\"{O}}zturan},
title = {Generalizing Redundancy Elimination in Checking Sequences},
booktitle = {Computer and Information Sciences - {ISCIS} 2005, 20th International
Symposium, Istanbul, Turkey, October 26-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3733},
pages = {915--926},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11569596\_93},
doi = {10.1007/11569596\_93},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iscis/TekleUYY05.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.
last updated on 2023-10-26 20:27 CEST 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:
