Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Paris C. Kanellakis
@article{DBLP:journals/jacm/AbiteboulK98,
author = {Serge Abiteboul and
Paris C. Kanellakis},
title = {Object Identity as a Query Language Primitive},
journal = {J. {ACM}},
volume = {45},
number = {5},
pages = {798--842},
year = {1998},
url = {https://doi.org/10.1145/290179.290182},
doi = {10.1145/290179.290182},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/AbiteboulK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/GoldinK96,
author = {Dina Q. Goldin and
Paris C. Kanellakis},
title = {Constraint Query Algebras},
journal = {Constraints An Int. J.},
volume = {1},
number = {1/2},
pages = {45--83},
year = {1996},
url = {https://doi.org/10.1007/BF00143878},
doi = {10.1007/BF00143878},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/GoldinK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HillebrandKM96,
author = {Gerd G. Hillebrand and
Paris C. Kanellakis and
Harry G. Mairson},
title = {Database Query Languages Embedded in the Typed Lambda Calculus},
journal = {Inf. Comput.},
volume = {127},
number = {2},
pages = {117--144},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0055},
doi = {10.1006/INCO.1996.0055},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HillebrandKM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/BussKRS96,
author = {Jonathan F. Buss and
Paris C. Kanellakis and
Prabhakar Ragde and
Alexander A. Shvartsman},
title = {Parallel Algorithms with Processor Failures and Delays},
journal = {J. Algorithms},
volume = {20},
number = {1},
pages = {45--86},
year = {1996},
url = {https://doi.org/10.1006/jagm.1996.0003},
doi = {10.1006/JAGM.1996.0003},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jal/BussKRS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KanellakisRVV96,
author = {Paris C. Kanellakis and
Sridhar Ramaswamy and
Darren Erik Vengroff and
Jeffrey Scott Vitter},
title = {Indexing for Data Models with Constraints and Classes},
journal = {J. Comput. Syst. Sci.},
volume = {52},
number = {3},
pages = {589--612},
year = {1996},
url = {https://doi.org/10.1006/jcss.1996.0043},
doi = {10.1006/JCSS.1996.0043},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/KanellakisRVV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HillebrandK96,
author = {Gerd G. Hillebrand and
Paris C. Kanellakis},
title = {On the Expressive Power of Simply Typed and Let-Polymorphic Lambda
Calculi},
booktitle = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science,
New Brunswick, New Jersey, USA, July 27-30, 1996},
pages = {253--263},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/LICS.1996.561337},
doi = {10.1109/LICS.1996.561337},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HillebrandK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KanellakisKR95,
author = {Paris C. Kanellakis and
Gabriel M. Kuper and
Peter Z. Revesz},
title = {Constraint Query Languages},
journal = {J. Comput. Syst. Sci.},
volume = {51},
number = {1},
pages = {26--52},
year = {1995},
url = {https://doi.org/10.1006/jcss.1995.1051},
doi = {10.1006/JCSS.1995.1051},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/KanellakisKR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AbiteboulKRW95,
author = {Serge Abiteboul and
Paris C. Kanellakis and
Sridhar Ramaswamy and
Emmanuel Waller},
title = {Method Schemas},
journal = {J. Comput. Syst. Sci.},
volume = {51},
number = {3},
pages = {433--455},
year = {1995},
url = {https://doi.org/10.1006/jcss.1995.1080},
doi = {10.1006/JCSS.1995.1080},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/AbiteboulKRW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HillebrandKMV95,
author = {Gerd G. Hillebrand and
Paris C. Kanellakis and
Harry G. Mairson and
Moshe Y. Vardi},
title = {Undecidable Boundedness Problems for Datalog Programs},
journal = {J. Log. Program.},
volume = {25},
number = {2},
pages = {163--190},
year = {1995},
url = {https://doi.org/10.1016/0743-1066(95)00051-K},
doi = {10.1016/0743-1066(95)00051-K},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/HillebrandKMV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/KanellakisMS95,
author = {Paris C. Kanellakis and
Dimitrios Michailidis and
Alexander A. Shvartsman},
title = {Controlling Memory Access Concurrency in Efficient Fault-Tolerant
Parallel Algorithms},
journal = {Nord. J. Comput.},
volume = {2},
number = {2},
pages = {146--180},
year = {1995},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/KanellakisMS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GoldinK95,
author = {Dina Q. Goldin and
Paris C. Kanellakis},
editor = {Ugo Montanari and
Francesca Rossi},
title = {On Similarity Queries for Time-Series Data: Constraint Specification
and Implementation},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {137--153},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_9},
doi = {10.1007/3-540-60299-2\_9},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/cp/GoldinK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/Kanellakis95,
author = {Paris C. Kanellakis},
editor = {Paolo Atzeni and
Val Tannen},
title = {Data Mapping and Matching: Languages for Scientific Datasets},
booktitle = {Database Programming Languages (DBPL-5), Proceedings of the Fifth
International Workshop on Database Programming Languages, Gubbio,
Umbria, Italy, 6-8 September 1995},
series = {Electronic Workshops in Computing},
pages = {2},
publisher = {Springer},
year = {1995},
url = {http://ewic.bcs.org/content/ConWebDoc/5193},
timestamp = {Mon, 27 May 2019 16:08:52 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/Kanellakis95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Kanellakis95,
author = {Paris C. Kanellakis},
editor = {Mihalis Yannakakis and
Serge Abiteboul},
title = {Constraint Programming and Database Languages: {A} Tutorial},
booktitle = {Proceedings of the Fourteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 22-25, 1995, San Jose, California,
{USA}},
pages = {46--53},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/212433.212447},
doi = {10.1145/212433.212447},
timestamp = {Sat, 24 Oct 2020 16:41:20 +0200},
biburl = {https://dblp.org/rec/conf/pods/Kanellakis95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/RamaswamyK95,
author = {Sridhar Ramaswamy and
Paris C. Kanellakis},
editor = {Michael J. Carey and
Donovan A. Schneider},
title = {{OODB} Indexing by Class-Division},
booktitle = {Proceedings of the 1995 {ACM} {SIGMOD} International Conference on
Management of Data, San Jose, California, USA, May 22-25, 1995},
pages = {139--150},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/223784.223809},
doi = {10.1145/223784.223809},
timestamp = {Tue, 16 Aug 2022 23:04:20 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/RamaswamyK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Kanellakis94,
author = {Paris C. Kanellakis},
title = {Database querying and constraint programming},
journal = {{SIGACT} News},
volume = {25},
number = {4},
pages = {22--87},
year = {1994},
url = {https://doi.org/10.1145/190616.190619},
doi = {10.1145/190616.190619},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Kanellakis94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KanellakisMS94,
author = {Paris C. Kanellakis and
Dimitrios Michailidis and
Alexander A. Shvartsman},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Efficient Parallelism vs Reliable Distribution: {A} Trade-off for
Concurrent Computations},
booktitle = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala,
Sweden, August 22-25, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {836},
pages = {242--266},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-3-540-48654-1\_21},
doi = {10.1007/978-3-540-48654-1\_21},
timestamp = {Tue, 31 Aug 2021 12:07:11 +0200},
biburl = {https://dblp.org/rec/conf/concur/KanellakisMS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KanellakisHM94,
author = {Paris C. Kanellakis and
Gerd G. Hillebrand and
Harry G. Mairson},
editor = {Serge Abiteboul and
Eli Shamir},
title = {An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction},
booktitle = {Automata, Languages and Programming, 21st International Colloquium,
ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {820},
pages = {83--105},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58201-0\_60},
doi = {10.1007/3-540-58201-0\_60},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KanellakisHM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/HillebrandK94,
author = {Gerd G. Hillebrand and
Paris C. Kanellakis},
editor = {Victor Vianu},
title = {Functional Database Query Languages as Typed Lambda Calculi of Fixed
Order},
booktitle = {Proceedings of the Thirteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota,
{USA}},
pages = {222--231},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/182591.182615},
doi = {10.1145/182591.182615},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/HillebrandK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/KanellakisG94,
author = {Paris C. Kanellakis and
Dina Q. Goldin},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Constraint Programming and Database Query Languages},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {96--120},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_92},
doi = {10.1007/3-540-57887-0\_92},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/KanellakisG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HillebrandKM93,
author = {Gerd G. Hillebrand and
Paris C. Kanellakis and
Harry G. Mairson},
title = {Database Query Languages Embedded in the Typed Lambda Calculus},
booktitle = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
{(LICS} '93), Montreal, Canada, June 19-23, 1993},
pages = {332--343},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/LICS.1993.287575},
doi = {10.1109/LICS.1993.287575},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HillebrandKM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/HillebrandKR93,
author = {Gerd G. Hillebrand and
Paris C. Kanellakis and
Sridhar Ramaswamy},
editor = {Asuman Dogac and
M. Tamer {\"{O}}zsu and
Alexandros Biliris and
Timos K. Sellis},
title = {Functional Programming Formalisms for {OODBMS} Methods},
booktitle = {Advances in Object-Oriented Database Systems, Proceedings of the {NATO}
Advanced Study Institute on Object-Oriented Database Systems, held
in Izmir, Kusadasi, Turkey, August 6-16, 1993},
series = {{NATO} {ASI} Series {F:} Computing and Systems Sciences},
volume = {130},
pages = {73--99},
year = {1993},
timestamp = {Tue, 07 Feb 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nato/HillebrandKR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/KanellakisRVV93,
author = {Paris C. Kanellakis and
Sridhar Ramaswamy and
Darren Erik Vengroff and
Jeffrey Scott Vitter},
editor = {Catriel Beeri},
title = {Indexing for Data Models with Constraints and Classes},
booktitle = {Proceedings of the Twelfth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 25-28, 1993, Washington, DC,
{USA}},
pages = {233--243},
publisher = {{ACM} Press},
year = {1993},
url = {https://doi.org/10.1145/153850.153884},
doi = {10.1145/153850.153884},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/KanellakisRVV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/KanellakisMS93,
author = {Paris C. Kanellakis and
Dimitrios Michailidis and
Alexander A. Shvartsman},
editor = {Andr{\'{e}} Schiper},
title = {Controlling Memory Access Concurrency in Efficient Fault-Tolerant
Parallel Algorithms (Extended Abstract)},
booktitle = {Distributed Algorithms, 7th International Workshop, {WDAG} '93, Lausanne,
Switzerland, September 27-29, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {725},
pages = {99--114},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57271-6\_30},
doi = {10.1007/3-540-57271-6\_30},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/KanellakisMS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/KanellakisS92,
author = {Paris C. Kanellakis and
Alexander A. Shvartsman},
title = {Efficient Parallel Algorithms can be Made Robust},
journal = {Distributed Comput.},
volume = {5},
number = {4},
pages = {201--217},
year = {1992},
url = {https://doi.org/10.1007/BF02277667},
doi = {10.1007/BF02277667},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dc/KanellakisS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mk/bancilhonDK92/KanellakisLR92,
author = {Paris C. Kanellakis and
Christophe L{\'{e}}cluse and
Philippe Richard},
editor = {Fran{\c{c}}ois Bancilhon and
Claude Delobel and
Paris C. Kanellakis},
title = {Introduction to the Data Model},
booktitle = {Building an Object-Oriented Database System, The Story of {O2}},
pages = {61--76},
publisher = {Morgan Kaufmann},
year = {1992},
timestamp = {Sun, 04 Aug 2019 17:55:10 +0200},
biburl = {https://dblp.org/rec/books/mk/bancilhonDK92/KanellakisLR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mk/bancilhonDK92/AbiteboulK92,
author = {Serge Abiteboul and
Paris C. Kanellakis},
editor = {Fran{\c{c}}ois Bancilhon and
Claude Delobel and
Paris C. Kanellakis},
title = {Object Identity as a Query Language Primitive},
booktitle = {Building an Object-Oriented Database System, The Story of {O2}},
pages = {97--127},
publisher = {Morgan Kaufmann},
year = {1992},
timestamp = {Sun, 04 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/mk/bancilhonDK92/AbiteboulK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mk/bancilhonDK92/AbiteboulKW92,
author = {Serge Abiteboul and
Paris C. Kanellakis and
Emmanuel Waller},
editor = {Fran{\c{c}}ois Bancilhon and
Claude Delobel and
Paris C. Kanellakis},
title = {Method Schemas},
booktitle = {Building an Object-Oriented Database System, The Story of {O2}},
pages = {128--147},
publisher = {Morgan Kaufmann},
year = {1992},
timestamp = {Sun, 04 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/mk/bancilhonDK92/AbiteboulKW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mk/bancilhonDK92/DelobelKP92,
author = {Claude Delobel and
Paris C. Kanellakis and
Didier Plateau},
editor = {Fran{\c{c}}ois Bancilhon and
Claude Delobel and
Paris C. Kanellakis},
title = {Introduction to the Programming Environment},
booktitle = {Building an Object-Oriented Database System, The Story of {O2}},
pages = {489--495},
publisher = {Morgan Kaufmann},
year = {1992},
timestamp = {Sun, 04 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/mk/bancilhonDK92/DelobelKP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/mk/BancilhonDK92,
editor = {Fran{\c{c}}ois Bancilhon and
Claude Delobel and
Paris C. Kanellakis},
title = {Building an Object-Oriented Database System, The Story of {O2}},
publisher = {Morgan Kaufmann},
year = {1992},
isbn = {1-55860-169-4},
timestamp = {Sun, 04 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/mk/BancilhonDK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pods/92,
editor = {Moshe Y. Vardi and
Paris C. Kanellakis},
title = {Proceedings of the Eleventh {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 2-4, 1992, San Diego, California,
{USA}},
publisher = {{ACM} Press},
year = {1992},
url = {http://dl.acm.org/citation.cfm?id=137097},
isbn = {0-89791-519-4},
timestamp = {Wed, 29 Mar 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BuchsbaumKV91,
author = {Adam L. Buchsbaum and
Paris C. Kanellakis and
Jeffrey Scott Vitter},
title = {A Data Dtructure for Arc Insertion and Regular Path Finding},
journal = {Ann. Math. Artif. Intell.},
volume = {3},
number = {2-4},
pages = {187--210},
year = {1991},
url = {https://doi.org/10.1007/BF01530925},
doi = {10.1007/BF01530925},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/BuchsbaumKV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/AbiteboulK91,
author = {Serge Abiteboul and
Paris C. Kanellakis},
title = {The Two Facets of Object-Oriented Data Models},
journal = {{IEEE} Data Eng. Bull.},
volume = {14},
number = {2},
pages = {3--7},
year = {1991},
url = {http://sites.computer.org/debull/91JUN-CD.pdf},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/debu/AbiteboulK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AbiteboulKG91,
author = {Serge Abiteboul and
Paris C. Kanellakis and
G{\"{o}}sta Grahne},
title = {On the Representation and Querying of Sets of Possible Worlds},
journal = {Theor. Comput. Sci.},
volume = {78},
number = {1},
pages = {158--187},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(51)90007-2},
doi = {10.1016/0304-3975(51)90007-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AbiteboulKG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KanellakisMM91,
author = {Paris C. Kanellakis and
Harry G. Mairson and
John C. Mitchell},
editor = {Jean{-}Louis Lassez and
Gordon D. Plotkin},
title = {Unification and ML-Type Reconstruction},
booktitle = {Computational Logic - Essays in Honor of Alan Robinson},
pages = {444--478},
publisher = {The {MIT} Press},
year = {1991},
timestamp = {Wed, 30 Mar 2016 17:34:58 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KanellakisMM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/KanellakisS91,
author = {Paris C. Kanellakis and
Alexander A. Shvartsman},
editor = {Luigi Logrippo},
title = {Efficient Parallel Algorithms on Restartable Fail-Stop Processors},
booktitle = {Proceedings of the Tenth Annual {ACM} Symposium on Principles of Distributed
Computing, Montreal, Quebec, Canada, August 19-21, 1991},
pages = {23--36},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/112600.112603},
doi = {10.1145/112600.112603},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/KanellakisS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/HillebrandKMV91,
author = {Gerd G. Hillebrand and
Paris C. Kanellakis and
Harry G. Mairson and
Moshe Y. Vardi},
editor = {Daniel J. Rosenkrantz},
title = {Tools for Datalog Boundedness},
booktitle = {Proceedings of the Tenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on
Principles of Database Systems, May 29-31, 1991, Denver, Colorado,
{USA}},
pages = {1--12},
publisher = {{ACM} Press},
year = {1991},
url = {https://doi.org/10.1145/113413.113414},
doi = {10.1145/113413.113414},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/HillebrandKMV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dbpl/91,
editor = {Paris C. Kanellakis and
Joachim W. Schmidt},
title = {Database Programming Languages: Bulk Types and Persistent Data. 3rd
International Workshop, August 27-30, 1991, Nafplion, Greece, Proceedings},
publisher = {Morgan Kaufmann},
year = {1991},
isbn = {1-55860-242-9},
timestamp = {Wed, 29 Mar 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KanellakisS90,
author = {Paris C. Kanellakis and
Scott A. Smolka},
title = {{CCS} Expressions, Finite State Processes, and Three Problems of Equivalence},
journal = {Inf. Comput.},
volume = {86},
number = {1},
pages = {43--68},
year = {1990},
url = {https://doi.org/10.1016/0890-5401(90)90025-D},
doi = {10.1016/0890-5401(90)90025-D},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KanellakisS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/CosmadakisKV90,
author = {Stavros S. Cosmadakis and
Paris C. Kanellakis and
Moshe Y. Vardi},
title = {Polynomial-Time Implication Problems for Unary Inclusion Dependencies},
journal = {J. {ACM}},
volume = {37},
number = {1},
pages = {15--46},
year = {1990},
url = {https://doi.org/10.1145/78935.78937},
doi = {10.1145/78935.78937},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/CosmadakisKV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BeeriKBR90,
author = {Catriel Beeri and
Paris C. Kanellakis and
Fran{\c{c}}ois Bancilhon and
Raghu Ramakrishnan},
title = {Bounds on the Propagation of Selection into Logic Programs},
journal = {J. Comput. Syst. Sci.},
volume = {41},
number = {2},
pages = {157--180},
year = {1990},
url = {https://doi.org/10.1016/0022-0000(90)90035-J},
doi = {10.1016/0022-0000(90)90035-J},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BeeriKBR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/AbiteboulK90,
author = {Serge Abiteboul and
Paris C. Kanellakis},
title = {Database Theory Column: Query Languages for Complex Object Databases},
journal = {{SIGACT} News},
volume = {21},
number = {3},
pages = {9--18},
year = {1990},
url = {https://doi.org/10.1145/101368.101370},
doi = {10.1145/101368.101370},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/AbiteboulK90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/AbiteboulBDHKV90,
author = {Serge Abiteboul and
Peter Buneman and
Claude Delobel and
Richard Hull and
Paris C. Kanellakis and
Victor Vianu},
title = {New Hope on Data Models and Types: Report of an {NSF-INRIA} Workshop},
journal = {{SIGMOD} Rec.},
volume = {19},
number = {4},
pages = {41--48},
year = {1990},
url = {https://doi.org/10.1145/122058.122062},
doi = {10.1145/122058.122062},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/AbiteboulBDHKV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/AbiteboulKW90,
author = {Serge Abiteboul and
Paris C. Kanellakis and
Emmanuel Waller},
editor = {Daniel J. Rosenkrantz and
Yehoshua Sagiv},
title = {Method Schemas},
booktitle = {Proceedings of the Ninth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on
Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee,
{USA}},
pages = {16--27},
publisher = {{ACM} Press},
year = {1990},
url = {https://doi.org/10.1145/298514.298538},
doi = {10.1145/298514.298538},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/AbiteboulKW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/KanellakisKR90,
author = {Paris C. Kanellakis and
Gabriel M. Kuper and
Peter Z. Revesz},
editor = {Daniel J. Rosenkrantz and
Yehoshua Sagiv},
title = {Constraint Query Languages},
booktitle = {Proceedings of the Ninth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on
Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee,
{USA}},
pages = {299--313},
publisher = {{ACM} Press},
year = {1990},
url = {https://doi.org/10.1145/298514.298582},
doi = {10.1145/298514.298582},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/KanellakisKR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/BuchsbaumKV90,
author = {Adam L. Buchsbaum and
Paris C. Kanellakis and
Jeffrey Scott Vitter},
editor = {David S. Johnson},
title = {A Data Structure for Arc Insertion and Regular Path Finding},
booktitle = {Proceedings of the First Annual {ACM-SIAM} Symposium on Discrete Algorithms,
22-24 January 1990, San Francisco, California, {USA}},
pages = {22--31},
publisher = {{SIAM}},
year = {1990},
url = {http://dl.acm.org/citation.cfm?id=320176.320179},
timestamp = {Thu, 05 Jul 2018 07:28:50 +0200},
biburl = {https://dblp.org/rec/conf/soda/BuchsbaumKV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/leeuwen90/Kanellakis90,
author = {Paris C. Kanellakis},
editor = {Jan van Leeuwen},
title = {Elements of Relational Database Theory},
booktitle = {Handbook of Theoretical Computer Science, Volume {B:} Formal Models
and Semantics},
pages = {1073--1156},
publisher = {Elsevier and {MIT} Press},
year = {1990},
url = {https://doi.org/10.1016/b978-0-444-88074-1.50022-6},
doi = {10.1016/B978-0-444-88074-1.50022-6},
timestamp = {Tue, 06 Aug 2019 09:45:21 +0200},
biburl = {https://dblp.org/rec/books/el/leeuwen90/Kanellakis90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdt/90,
editor = {Serge Abiteboul and
Paris C. Kanellakis},
title = {ICDT'90, Third International Conference on Database Theory, Paris,
France, December 12-14, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {470},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53507-1},
doi = {10.1007/3-540-53507-1},
isbn = {3-540-53507-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KanellakisR89,
author = {Paris C. Kanellakis and
Peter Z. Revesz},
title = {On the Relationship of Congruence Closure and Unification},
journal = {J. Symb. Comput.},
volume = {7},
number = {3/4},
pages = {427--444},
year = {1989},
url = {https://doi.org/10.1016/S0747-7171(89)80018-5},
doi = {10.1016/S0747-7171(89)80018-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/KanellakisR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/KanellakisA89,
author = {Paris C. Kanellakis and
Serge Abiteboul},
title = {Database Theory Column: Deciding Bounded Recursion in Database Logic
Programs},
journal = {{SIGACT} News},
volume = {20},
number = {4},
pages = {17--23},
year = {1989},
url = {https://doi.org/10.1145/74074.74077},
doi = {10.1145/74074.74077},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/KanellakisA89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KanellakisA89,
author = {Paris C. Kanellakis and
Serge Abiteboul},
editor = {Giorgio Levi and
Maurizio Martelli},
title = {A Logical Database Query Language with Object Identity and Strong
Typing},
booktitle = {Logic Programming, Proceedings of the Sixth International Conference,
Lisbon, Portugal, June 19-23, 1989},
pages = {675--692},
publisher = {{MIT} Press},
year = {1989},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/KanellakisA89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/KanellakisS89,
author = {Paris C. Kanellakis and
Alexander A. Shvartsman},
editor = {Piotr Rudnicki},
title = {Efficient Parallel Algorithms Can Be Made Robust},
booktitle = {Proceedings of the Eighth Annual {ACM} Symposium on Principles of
Distributed Computing, Edmonton, Alberta, Canada, August 14-16, 1989},
pages = {211--219},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/72981.72996},
doi = {10.1145/72981.72996},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/KanellakisS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KanellakisM89,
author = {Paris C. Kanellakis and
John C. Mitchell},
title = {Polymorphic Unification and {ML} Typing},
booktitle = {Conference Record of the Sixteenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 11-13, 1989},
pages = {105--115},
publisher = {{ACM} Press},
year = {1989},
url = {https://doi.org/10.1145/75277.75286},
doi = {10.1145/75277.75286},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/KanellakisM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/AbiteboulK89,
author = {Serge Abiteboul and
Paris C. Kanellakis},
editor = {James Clifford and
Bruce G. Lindsay and
David Maier},
title = {Object Identity as a Query Language Primitive},
booktitle = {Proceedings of the 1989 {ACM} {SIGMOD} International Conference on
Management of Data, Portland, Oregon, USA, May 31 - June 2, 1989},
pages = {159--173},
publisher = {{ACM} Press},
year = {1989},
url = {https://doi.org/10.1145/67544.66941},
doi = {10.1145/67544.66941},
timestamp = {Mon, 21 Jun 2021 16:00:48 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/AbiteboulK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/KanellakisS88,
author = {Paris C. Kanellakis and
Scott A. Smolka},
title = {On the Analysis of Cooperation and Antagonism in Networks of Communicating
Processes},
journal = {Algorithmica},
volume = {3},
pages = {421--450},
year = {1988},
url = {https://doi.org/10.1007/BF01762125},
doi = {10.1007/BF01762125},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/KanellakisS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/DworkKS88,
author = {Cynthia Dwork and
Paris C. Kanellakis and
Larry J. Stockmeyer},
title = {Parallel Algorithms for Term Matching},
journal = {{SIAM} J. Comput.},
volume = {17},
number = {4},
pages = {711--731},
year = {1988},
url = {https://doi.org/10.1137/0217046},
doi = {10.1137/0217046},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/DworkKS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/CosmadakisGKV88,
author = {Stavros S. Cosmadakis and
Haim Gaifman and
Paris C. Kanellakis and
Moshe Y. Vardi},
editor = {Janos Simon},
title = {Decidable Optimization Problems for Database Logic Programs (Preliminary
Report)},
booktitle = {Proceedings of the 20th Annual {ACM} Symposium on Theory of Computing,
May 2-4, 1988, Chicago, Illinois, {USA}},
pages = {477--490},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62212.62259},
doi = {10.1145/62212.62259},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/CosmadakisGKV88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mk/minker88/Kanellakis88,
author = {Paris C. Kanellakis},
editor = {Jack Minker},
title = {Logic Programming and Parallel Complexity},
booktitle = {Foundations of Deductive Databases and Logic Programming},
pages = {547--585},
publisher = {Morgan Kaufmann},
year = {1988},
url = {https://doi.org/10.1016/b978-0-934613-40-8.50018-x},
doi = {10.1016/B978-0-934613-40-8.50018-X},
timestamp = {Thu, 27 Jun 2019 09:09:21 +0200},
biburl = {https://dblp.org/rec/books/mk/minker88/Kanellakis88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/Kanellakis87,
author = {Paris C. Kanellakis},
title = {Report on the 6th Symposium on Principles of Database Systems},
journal = {{SIGMOD} Rec.},
volume = {16},
number = {2},
pages = {15--17},
year = {1987},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/Kanellakis87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/KanellakisR87,
author = {Paris C. Kanellakis and
Peter Z. Revesz},
editor = {Fran{\c{c}}ois Bancilhon and
Peter Buneman},
title = {On the Relationship of Congruence Closure and Unification},
booktitle = {Advances in Database Programming Languages, Papers from DBPL-1, September
1987, Roscoff, France},
pages = {23--41},
publisher = {{ACM} Press / Addison-Wesley},
year = {1987},
url = {https://doi.org/10.1145/101620.101622},
doi = {10.1145/101620.101622},
timestamp = {Tue, 05 May 2020 16:02:27 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/KanellakisR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BeeriKBR87,
author = {Catriel Beeri and
Paris C. Kanellakis and
Fran{\c{c}}ois Bancilhon and
Raghu Ramakrishnan},
editor = {Moshe Y. Vardi},
title = {Bounds on the Propagation of Selection into Logic Programs},
booktitle = {Proceedings of the Sixth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on
Principles of Database Systems, March 23-25, 1987, San Diego, California,
{USA}},
pages = {214--226},
publisher = {{ACM}},
year = {1987},
url = {https://doi.org/10.1145/28659.28683},
doi = {10.1145/28659.28683},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/BeeriKBR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/AbiteboulKG87,
author = {Serge Abiteboul and
Paris C. Kanellakis and
G{\"{o}}sta Grahne},
editor = {Umeshwar Dayal and
Irving L. Traiger},
title = {On the Representation and Querying of Sets of Possible Worlds},
booktitle = {Proceedings of the Association for Computing Machinery Special Interest
Group on Management of Data 1987 Annual Conference, San Francisco,
CA, USA, May 27-29, 1987},
pages = {34--48},
publisher = {{ACM} Press},
year = {1987},
url = {https://doi.org/10.1145/38713.38724},
doi = {10.1145/38713.38724},
timestamp = {Mon, 21 Jun 2021 16:00:48 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/AbiteboulKG87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acr/CosmadakisK86,
author = {Stavros S. Cosmadakis and
Paris C. Kanellakis},
title = {Functional and Inclusion Dependencies},
journal = {Adv. Comput. Res.},
volume = {3},
pages = {163--184},
year = {1986},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acr/CosmadakisK86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CosmadakisKS86,
author = {Stavros S. Cosmadakis and
Paris C. Kanellakis and
Nicolas Spyratos},
title = {Partition Semantics for Relations},
journal = {J. Comput. Syst. Sci.},
volume = {33},
number = {2},
pages = {203--233},
year = {1986},
url = {https://doi.org/10.1016/0022-0000(86)90019-X},
doi = {10.1016/0022-0000(86)90019-X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/CosmadakisKS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/DworkCKS86,
author = {Cynthia Dwork and
Paris C. Kanellakis and
Larry J. Stockmeyer},
editor = {J{\"{o}}rg H. Siekmann},
title = {Parallel Algorithms for Term Matching},
booktitle = {8th International Conference on Automated Deduction, Oxford, England,
July 27 - August 1, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {230},
pages = {416--430},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16780-3\_109},
doi = {10.1007/3-540-16780-3\_109},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/DworkCKS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/Kanellakis86,
author = {Paris C. Kanellakis},
editor = {Giorgio Ausiello and
Paolo Atzeni},
title = {Logic Programming and Parallel Complexity},
booktitle = {ICDT'86, International Conference on Database Theory, Rome, Italy,
September 8-10, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {243},
pages = {1--30},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-17187-8\_27},
doi = {10.1007/3-540-17187-8\_27},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/Kanellakis86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/CosmadakisK86,
author = {Stavros S. Cosmadakis and
Paris C. Kanellakis},
editor = {Avi Silberschatz},
title = {Parallel Evaluation of Recursive Rule Queries},
booktitle = {Proceedings of the Fifth {ACM} {SIGACT-SIGMOD} Symposium on Principles
of Database Systems, March 24-26, 1986, Cambridge, Massachusetts,
{USA}},
pages = {280--293},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/6012.15421},
doi = {10.1145/6012.15421},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/CosmadakisK86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/BancilhonBKR86,
author = {Fran{\c{c}}ois Bancilhon and
Catriel Beeri and
Paris C. Kanellakis and
Raghu Ramakrishnan},
editor = {Henry F. Korth},
title = {Pushing Selections into Logic Programs},
booktitle = {{XP} / 7.52 Workshop on Database Theory, University of Texas at Austin,
TX, USA, August 13-15, 1986},
year = {1986},
timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
biburl = {https://dblp.org/rec/conf/xp/BancilhonBKR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/KanellakisP85,
author = {Paris C. Kanellakis and
Christos H. Papadimitriou},
title = {The Complexity of Distributed Concurrency Control},
journal = {{SIAM} J. Comput.},
volume = {14},
number = {1},
pages = {52--74},
year = {1985},
url = {https://doi.org/10.1137/0214004},
doi = {10.1137/0214004},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/KanellakisP85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/KanellakisS85,
author = {Paris C. Kanellakis and
Scott A. Smolka},
editor = {Michael A. Malcolm and
H. Raymond Strong},
title = {On the Analysis of Cooperation and Antagonism in Networks of Communicating
Processes},
booktitle = {Proceedings of the Fourth Annual {ACM} Symposium on Principles of
Distributed Computing, Minaki, Ontario, Canada, August 5-7, 1985},
pages = {23--38},
publisher = {{ACM}},
year = {1985},
url = {https://doi.org/10.1145/323596.323599},
doi = {10.1145/323596.323599},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/KanellakisS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/CosmadakisKS85,
author = {Stavros S. Cosmadakis and
Paris C. Kanellakis and
Nicolas Spyratos},
title = {Partition Semantics for Relations},
booktitle = {Proceedings of the Fourth {ACM} {SIGACT-SIGMOD} Symposium on Principles
of Database Systems, March 25-27, 1985, Portland, Oregon, {USA}},
pages = {261--275},
publisher = {{ACM}},
year = {1985},
url = {https://doi.org/10.1145/325405.325452},
doi = {10.1145/325405.325452},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/CosmadakisKS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/CosmadakisK85,
author = {Stavros S. Cosmadakis and
Paris C. Kanellakis},
editor = {Jean{-}Pierre Jouannaud},
title = {Two Applications of Equational Theories to Database Theory},
booktitle = {Rewriting Techniques and Applications, First International Conference,
RTA-85, Dijon, France, May 20-22, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {202},
pages = {107--123},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15976-2\_5},
doi = {10.1007/3-540-15976-2\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/CosmadakisK85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/GoldmanGKZ85,
author = {Kenneth J. Goldman and
Sally A. Goldman and
Paris C. Kanellakis and
Stanley B. Zdonik},
editor = {Shamkant B. Navathe},
title = {{ISIS:} Interface for a Semantic Information System},
booktitle = {Proceedings of the 1985 {ACM} {SIGMOD} International Conference on
Management of Data, Austin, Texas, USA, May 28-31, 1985},
pages = {328--342},
publisher = {{ACM} Press},
year = {1985},
url = {https://doi.org/10.1145/318898.318933},
doi = {10.1145/318898.318933},
timestamp = {Thu, 11 Mar 2021 15:20:15 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/GoldmanGKZ85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/CosmadakisK85,
author = {Stavros S. Cosmadakis and
Paris C. Kanellakis},
editor = {Robert Sedgewick},
title = {Equational Theories and Database Constraints},
booktitle = {Proceedings of the 17th Annual {ACM} Symposium on Theory of Computing,
May 6-8, 1985, Providence, Rhode Island, {USA}},
pages = {273--284},
publisher = {{ACM}},
year = {1985},
url = {https://doi.org/10.1145/22145.22176},
doi = {10.1145/22145.22176},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/CosmadakisK85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KanellakisP84,
author = {Paris C. Kanellakis and
Christos H. Papadimitriou},
title = {Is Distributed Locking Harder?},
journal = {J. Comput. Syst. Sci.},
volume = {28},
number = {1},
pages = {103--120},
year = {1984},
url = {https://doi.org/10.1016/0022-0000(84)90078-3},
doi = {10.1016/0022-0000(84)90078-3},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/KanellakisP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DworkKM84,
author = {Cynthia Dwork and
Paris C. Kanellakis and
John C. Mitchell},
title = {On the Sequential Nature of Unification},
journal = {J. Log. Program.},
volume = {1},
number = {1},
pages = {35--50},
year = {1984},
url = {https://doi.org/10.1016/0743-1066(84)90022-0},
doi = {10.1016/0743-1066(84)90022-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DworkKM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/PapadimitriouK84,
author = {Christos H. Papadimitriou and
Paris C. Kanellakis},
title = {On Concurrency Control by Multiple Versions},
journal = {{ACM} Trans. Database Syst.},
volume = {9},
number = {1},
pages = {89--99},
year = {1984},
url = {https://doi.org/10.1145/348.318588},
doi = {10.1145/348.318588},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/PapadimitriouK84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/CosmadakisK84,
author = {Stavros S. Cosmadakis and
Paris C. Kanellakis},
editor = {Daniel J. Rosenkrantz and
Ronald Fagin},
title = {Functional and Inclusion Dependencies: {A} Graph Theoretic Approach},
booktitle = {Proceedings of the Third {ACM} {SIGACT-SIGMOD} Symposium on Principles
of Database Systems, April 2-4, 1984, Waterloo, Ontario, Canada},
pages = {29--37},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/588011.588016},
doi = {10.1145/588011.588016},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/CosmadakisK84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/YannakakisKCP83,
author = {Mihalis Yannakakis and
Paris C. Kanellakis and
Stavros S. Cosmadakis and
Christos H. Papadimitriou},
editor = {Josep D{\'{\i}}az},
title = {Cutting and Partitioning a Graph aifter a Fixed Pattern (Extended
Abstract)},
booktitle = {Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain,
July 18-22, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {154},
pages = {712--722},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/BFb0036950},
doi = {10.1007/BFB0036950},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/YannakakisKCP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/KanellakisS83,
author = {Paris C. Kanellakis and
Scott A. Smolka},
editor = {Robert L. Probert and
Nancy A. Lynch and
Nicola Santoro},
title = {{CCS} Expressions, Finite State Processes, and THree Problems of Equivalence},
booktitle = {Proceedings of the Second Annual {ACM} Symposium on Principles of
Distributed Computing, Montreal, Quebec, Canada, August 17-19, 1983},
pages = {228--240},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/800221.806724},
doi = {10.1145/800221.806724},
timestamp = {Thu, 02 Feb 2023 12:03:21 +0100},
biburl = {https://dblp.org/rec/conf/podc/KanellakisS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/KanellakisCV83,
author = {Paris C. Kanellakis and
Stavros S. Cosmadakis and
Moshe Y. Vardi},
editor = {David S. Johnson and
Ronald Fagin and
Michael L. Fredman and
David Harel and
Richard M. Karp and
Nancy A. Lynch and
Christos H. Papadimitriou and
Ronald L. Rivest and
Walter L. Ruzzo and
Joel I. Seiferas},
title = {Unary Inclusion Dependencies have Polynomial Time Inference Problems
(Extended Abstract)},
booktitle = {Proceedings of the 15th Annual {ACM} Symposium on Theory of Computing,
25-27 April, 1983, Boston, Massachusetts, {USA}},
pages = {264--277},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/800061.808756},
doi = {10.1145/800061.808756},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/KanellakisCV83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/CosmadakisK83,
author = {Stavros S. Cosmadakis and
Paris C. Kanellakis},
title = {Functional and Inclusion Dependencies},
booktitle = {{XP4.5} Workshop on Database Theory, 1983 Palo Alto, California, {USA}},
year = {1983},
timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
biburl = {https://dblp.org/rec/conf/xp/CosmadakisK83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/PapadimitriouK82,
author = {Christos H. Papadimitriou and
Paris C. Kanellakis},
editor = {Jeffrey D. Ullman and
Alfred V. Aho},
title = {On Concurrency Control by Multiple Versions},
booktitle = {Proceedings of the {ACM} Symposium on Principles of Database Systems,
March 29-31, 1982, Los Angeles, California, {USA}},
pages = {76--82},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/588111.588125},
doi = {10.1145/588111.588125},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/PapadimitriouK82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/KanellakisP82,
author = {Paris C. Kanellakis and
Christos H. Papadimitriou},
editor = {Jeffrey D. Ullman and
Alfred V. Aho},
title = {Is Distributed Locking Harder?},
booktitle = {Proceedings of the {ACM} Symposium on Principles of Database Systems,
March 29-31, 1982, Los Angeles, California, {USA}},
pages = {98--107},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/588111.588129},
doi = {10.1145/588111.588129},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/KanellakisP82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/KanellakisP81,
author = {Paris C. Kanellakis and
Christos H. Papadimitriou},
title = {The Complexity of Distributed Concurrency Control},
booktitle = {22nd Annual Symposium on Foundations of Computer Science, Nashville,
Tennessee, USA, 28-30 October 1981},
pages = {185--197},
publisher = {{IEEE} Computer Society},
year = {1981},
url = {https://doi.org/10.1109/SFCS.1981.45},
doi = {10.1109/SFCS.1981.45},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/KanellakisP81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ior/KanellakisP80,
author = {Paris C. Kanellakis and
Christos H. Papadimitriou},
title = {Local Search for the Asymmetric Traveling Salesman Problem},
journal = {Oper. Res.},
volume = {28},
number = {5},
pages = {1086--1099},
year = {1980},
url = {https://doi.org/10.1287/opre.28.5.1086},
doi = {10.1287/OPRE.28.5.1086},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ior/KanellakisP80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Kanellakis80,
author = {Paris C. Kanellakis},
title = {On the Computational Complexity of Cardinality Constraints in Relational
Databases},
journal = {Inf. Process. Lett.},
volume = {11},
number = {2},
pages = {98--101},
year = {1980},
url = {https://doi.org/10.1016/0020-0190(80)90013-7},
doi = {10.1016/0020-0190(80)90013-7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Kanellakis80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/PapadimitriouK80,
author = {Christos H. Papadimitriou and
Paris C. Kanellakis},
title = {Flowshop scheduling with limited temporary storage},
journal = {J. {ACM}},
volume = {27},
number = {3},
pages = {533--549},
year = {1980},
url = {https://doi.org/10.1145/322203.322213},
doi = {10.1145/322203.322213},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/PapadimitriouK80.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-09-27 22:38 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:
