Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Kenneth W. Regan
@inproceedings{DBLP:conf/lics/FaginLR021,
author = {Ronald Fagin and
Jonathan Lenchner and
Kenneth W. Regan and
Nikhil Vyas},
title = {Multi-Structural Games and Number of Quantifiers},
booktitle = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2021, Rome, Italy, June 29 - July 2, 2021},
pages = {1--13},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LICS52264.2021.9470756},
doi = {10.1109/LICS52264.2021.9470756},
timestamp = {Fri, 09 Jul 2021 14:04:16 +0200},
biburl = {https://dblp.org/rec/conf/lics/FaginLR021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-14709,
author = {Ronald Fagin and
Jonathan Lenchner and
Kenneth W. Regan and
Nikhil Vyas},
title = {Multi-Structural Games and Number of Quantifiers},
journal = {CoRR},
volume = {abs/2104.14709},
year = {2021},
url = {https://arxiv.org/abs/2104.14709},
eprinttype = {arXiv},
eprint = {2104.14709},
timestamp = {Fri, 07 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-14709.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acss/GuanR20,
author = {Chaowen Guan and
Kenneth W. Regan},
editor = {Rituparna Chaki and
Agostino Cortesi and
Khalid Saeed and
Nabendu Chaki},
title = {A New Graph Polynomial and Generalized Tutte-Grothendieck Invariant
from Quantum Circuits},
booktitle = {Advanced Computing and Systems for Security - Volume Eleven, 7th International
Doctoral Symposium on Applied Computation and Security Systems, {ACSS}
2020, Kolkata, India, February 28-29, 2020},
series = {Advances in Intelligent Systems and Computing},
volume = {1178},
pages = {3--16},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-981-15-5747-7\_1},
doi = {10.1007/978-981-15-5747-7\_1},
timestamp = {Fri, 06 Nov 2020 10:41:29 +0100},
biburl = {https://dblp.org/rec/conf/acss/GuanR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/Regan19,
author = {Kenneth W. Regan},
editor = {Bernhard Steffen and
Gerhard J. Woeginger},
title = {Rating Computer Science via Chess - In Memoriam Daniel Kopec and Hans
Berliner},
booktitle = {Computing and Software Science - State of the Art and Perspectives},
series = {Lecture Notes in Computer Science},
volume = {10000},
pages = {200--216},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-91908-9\_12},
doi = {10.1007/978-3-319-91908-9\_12},
timestamp = {Tue, 12 Sep 2023 07:58:41 +0200},
biburl = {https://dblp.org/rec/series/lncs/Regan19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-00101,
author = {Chaowen Guan and
Kenneth W. Regan},
title = {Stabilizer Circuits, Quadratic Forms, and Computing Matrix Rank},
journal = {CoRR},
volume = {abs/1904.00101},
year = {2019},
url = {http://arxiv.org/abs/1904.00101},
eprinttype = {arXiv},
eprint = {1904.00101},
timestamp = {Wed, 24 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-00101.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tamm/VillarinoGR18,
author = {Mark B. Villarino and
William Gasarch and
Kenneth W. Regan},
title = {Hilbert's Proof of His Irreducibility Theorem},
journal = {Am. Math. Mon.},
volume = {125},
number = {6},
pages = {513--530},
year = {2018},
url = {https://doi.org/10.1080/00029890.2018.1448181},
doi = {10.1080/00029890.2018.1448181},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tamm/VillarinoGR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcos/ReganCG18,
author = {Kenneth W. Regan and
Amlan Chakrabarti and
Chaowen Guan},
title = {Algebraic and Logical Emulations of Quantum Circuits},
journal = {Trans. Comput. Sci.},
volume = {31},
pages = {41--76},
year = {2018},
url = {https://doi.org/10.1007/978-3-662-56499-8\_4},
doi = {10.1007/978-3-662-56499-8\_4},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcos/ReganCG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caldam/Kalyanasundaram18,
author = {Subrahmanyam Kalyanasundaram and
Kenneth W. Regan},
editor = {B. S. Panda and
Partha P. Goswami},
title = {Exact Computation of the Number of Accepting Paths of an {NTM}},
booktitle = {Algorithms and Discrete Applied Mathematics - 4th International Conference,
{CALDAM} 2018, Guwahati, India, February 15-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10743},
pages = {105--117},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-74180-2\_9},
doi = {10.1007/978-3-319-74180-2\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/caldam/Kalyanasundaram18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BiswasR15,
author = {Tamal T. Biswas and
Kenneth W. Regan},
title = {Approximation of function evaluation over sequence arguments via specialized
data structures},
journal = {Theor. Comput. Sci.},
volume = {607},
pages = {113--123},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.03.049},
doi = {10.1016/J.TCS.2015.03.049},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BiswasR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acg/HaworthBR15,
author = {Guy Haworth and
Tamal Biswas and
Kenneth W. Regan},
editor = {Aske Plaat and
H. Jaap van den Herik and
Walter A. Kosters},
title = {A Comparative Review of Skill Assessment: Performance, Prediction
and Profiling},
booktitle = {Advances in Computer Games - 14th International Conference, {ACG}
2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9525},
pages = {135--146},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27992-3\_13},
doi = {10.1007/978-3-319-27992-3\_13},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/acg/HaworthBR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/BiswasR15,
author = {Tamal T. Biswas and
Kenneth W. Regan},
editor = {St{\'{e}}phane Loiseau and
Joaquim Filipe and
B{\'{e}}atrice Duval and
H. Jaap van den Herik},
title = {Quantifying Depth and Complexity of Thinking and Knowledge},
booktitle = {{ICAART} 2015 - Proceedings of the International Conference on Agents
and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January,
2015},
pages = {602--607},
publisher = {SciTePress},
year = {2015},
timestamp = {Tue, 15 Sep 2015 09:53:57 +0200},
biburl = {https://dblp.org/rec/conf/icaart/BiswasR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmla/BiswasR15,
author = {Tamal Biswas and
Kenneth W. Regan},
editor = {Tao Li and
Lukasz A. Kurgan and
Vasile Palade and
Randy Goebel and
Andreas Holzinger and
Karin Verspoor and
M. Arif Wani},
title = {Measuring Level-K Reasoning, Satisficing, and Human Error in Game-Play
Data},
booktitle = {14th {IEEE} International Conference on Machine Learning and Applications,
{ICMLA} 2015, Miami, FL, USA, December 9-11, 2015},
pages = {941--947},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ICMLA.2015.233},
doi = {10.1109/ICMLA.2015.233},
timestamp = {Thu, 23 Feb 2023 11:36:05 +0100},
biburl = {https://dblp.org/rec/conf/icmla/BiswasR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ReganBZ14,
author = {Kenneth Wingate Regan and
Tamal Biswas and
Jason Zhou},
editor = {Darius Braziunas and
Markus Endres and
Kristen Brent Venable and
Paul Weng and
Lirong Xia},
title = {Human and Computer Preferences at Chess},
booktitle = {Multidisciplinary Workshop on Advances in Preference Handling, Papers
from the 2014 {AAAI} Workshop, MPREF@AAAI, July 28, 2014, Quebec City,
Canada},
series = {{AAAI} Technical Report},
volume = {{WS-14-10}},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW14/paper/view/8859},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ReganBZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaim/BiswasR14,
author = {Tamal Biswas and
Kenneth W. Regan},
editor = {Qianping Gu and
Pavol Hell and
Boting Yang},
title = {Efficient Memoization for Approximate Function Evaluation over Sequence
Arguments},
booktitle = {Algorithmic Aspects in Information and Management - 10th International
Conference, {AAIM} 2014, Vancouver, BC, Canada, July 8-11, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8546},
pages = {185--196},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07956-1\_17},
doi = {10.1007/978-3-319-07956-1\_17},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aaim/BiswasR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/chb/AllenderLR14,
author = {Eric Allender and
Michael C. Loui and
Kenneth W. Regan},
editor = {Teofilo F. Gonzalez and
Jorge Diaz{-}Herrera and
Allen Tucker},
title = {Complexity Theory},
booktitle = {Computing Handbook, Third Edition: Computer Science and Software Engineering},
pages = {7: 1--33},
publisher = {{CRC} Press},
year = {2014},
timestamp = {Tue, 17 Jun 2014 14:00:46 +0200},
biburl = {https://dblp.org/rec/books/crc/chb/AllenderLR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SurowkaR14,
author = {Robert L. Surowka and
Kenneth W. Regan},
title = {Polynomials Modulo Composite Numbers: Ax-Katz type theorems for the
structure of their solution sets},
journal = {CoRR},
volume = {abs/1404.4852},
year = {2014},
url = {http://arxiv.org/abs/1404.4852},
eprinttype = {arXiv},
eprint = {1404.4852},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SurowkaR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0032993,
author = {Richard J. Lipton and
Kenneth W. Regan},
title = {People, Problems, and Proofs - Essays from G{\"{o}}del's Lost
Letter: 2010},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41422-0},
doi = {10.1007/978-3-642-41422-0},
isbn = {978-3-642-41421-3},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0032993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cig/ReganB13,
author = {Kenneth W. Regan and
Tamal Biswas},
title = {Psychometric modeling of decision making via game play},
booktitle = {2013 {IEEE} Conference on Computational Inteligence in Games (CIG),
Niagara Falls, ON, Canada, August 11-13, 2013},
pages = {1--8},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/CIG.2013.6633653},
doi = {10.1109/CIG.2013.6633653},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/cig/ReganB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KalyanasundaramLRS12,
author = {Subrahmanyam Kalyanasundaram and
Richard J. Lipton and
Kenneth W. Regan and
Farbod Shokrieh},
title = {Improved simulation of nondeterministic Turing machines},
journal = {Theor. Comput. Sci.},
volume = {417},
pages = {66--73},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2011.05.018},
doi = {10.1016/J.TCS.2011.05.018},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KalyanasundaramLRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-3306,
author = {Richard J. Lipton and
Kenneth W. Regan and
Atri Rudra},
title = {Simulating Special but Natural Quantum Circuits},
journal = {CoRR},
volume = {abs/1201.3306},
year = {2012},
url = {http://arxiv.org/abs/1201.3306},
eprinttype = {arXiv},
eprint = {1201.3306},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-3306.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ReganH11,
author = {Kenneth Wingate Regan and
Guy McCrossan Haworth},
editor = {Wolfram Burgard and
Dan Roth},
title = {Intrinsic Chess Ratings},
booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
pages = {834--839},
publisher = {{AAAI} Press},
year = {2011},
url = {https://doi.org/10.1609/aaai.v25i1.7951},
doi = {10.1609/AAAI.V25I1.7951},
timestamp = {Mon, 04 Sep 2023 16:05:54 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ReganH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acg/ReganMH11,
author = {Kenneth W. Regan and
Bartlomiej Macieja and
Guy McCrossan Haworth},
editor = {H. Jaap van den Herik and
Aske Plaat},
title = {Understanding Distributions of Chess Performances},
booktitle = {Advances in Computer Games - 13th International Conference, {ACG}
2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7168},
pages = {230--243},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31866-5\_20},
doi = {10.1007/978-3-642-31866-5\_20},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/acg/ReganMH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LiptonRR11,
author = {Richard J. Lipton and
Kenneth W. Regan and
Atri Rudra},
editor = {Filip Murlak and
Piotr Sankowski},
title = {Symmetric Functions Capture General Functions},
booktitle = {Mathematical Foundations of Computer Science 2011 - 36th International
Symposium, {MFCS} 2011, Warsaw, Poland, August 22-26, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6907},
pages = {436--447},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22993-0\_40},
doi = {10.1007/978-3-642-22993-0\_40},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/LiptonRR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KalyanasundaramLRS10,
author = {Subrahmanyam Kalyanasundaram and
Richard J. Lipton and
Kenneth W. Regan and
Farbod Shokrieh},
editor = {Petr Hlinen{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {Improved Simulation of Nondeterministic Turing Machines},
booktitle = {Mathematical Foundations of Computer Science 2010, 35th International
Symposium, {MFCS} 2010, Brno, Czech Republic, August 23-27, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6281},
pages = {453--464},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15155-2\_40},
doi = {10.1007/978-3-642-15155-2\_40},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/KalyanasundaramLRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acg/HaworthRF09,
author = {Guy Haworth and
Kenneth W. Regan and
Giuseppe Di Fatta},
editor = {H. Jaap van den Herik and
Pieter Spronck},
title = {Performance and Prediction: Bayesian Modelling of Fallible Choice
in Chess},
booktitle = {Advances in Computer Games, 12th International Conference, {ACG} 2009,
Pamplona, Spain, May 11-13, 2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {6048},
pages = {99--110},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12993-3\_10},
doi = {10.1007/978-3-642-12993-3\_10},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acg/HaworthRF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cidm/FattaHR09,
author = {Giuseppe Di Fatta and
G. McC. Haworth and
Kenneth W. Regan},
title = {Skill rating by Bayesian inference},
booktitle = {Proceedings of the {IEEE} Symposium on Computational Intelligence
and Data Mining, {CIDM} 2009, part of the {IEEE} Symposium Series
on Computational Intelligence 2009, Nashville, TN, USA, March 30,
2009 - April 2, 2009},
pages = {89--94},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/CIDM.2009.4938634},
doi = {10.1109/CIDM.2009.4938634},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/cidm/FattaHR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JansenR08,
author = {Maurice J. Jansen and
Kenneth W. Regan},
title = {A nonlinear lower bound for constant depth arithmetical circuits via
the discrete uncertainty principle},
journal = {Theor. Comput. Sci.},
volume = {409},
number = {3},
pages = {617--622},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.09.029},
doi = {10.1016/J.TCS.2008.09.029},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JansenR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/JansenR07,
author = {Maurice J. Jansen and
Kenneth W. Regan},
editor = {Guohui Lin},
title = {"Resistant" Polynomials and Stronger Lower Bounds for Depth-Three
Arithmetical Formulas},
booktitle = {Computing and Combinatorics, 13th Annual International Conference,
{COCOON} 2007, Banff, Canada, July 16-19, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4598},
pages = {470--481},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73545-8\_46},
doi = {10.1007/978-3-540-73545-8\_46},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/JansenR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/LiuR06,
author = {Hong Liu and
Kenneth W. Regan},
title = {Improved construction for universality of determinant and permanent},
journal = {Inf. Process. Lett.},
volume = {100},
number = {6},
pages = {233--237},
year = {2006},
url = {https://doi.org/10.1016/j.ipl.2006.05.017},
doi = {10.1016/J.IPL.2006.05.017},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/LiuR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/AidaCRW04,
author = {Shin Aida and
Marcel Cr{\^{a}}smaru and
Kenneth W. Regan and
Osamu Watanabe},
title = {Games with Uniqueness Properties},
journal = {Theory Comput. Syst.},
volume = {37},
number = {1},
pages = {29--47},
year = {2004},
url = {https://doi.org/10.1007/s00224-003-1105-7},
doi = {10.1007/S00224-003-1105-7},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/AidaCRW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CrasmaruGRS04,
author = {Marcel Cr{\^{a}}smaru and
Christian Gla{\ss}er and
Kenneth W. Regan and
Samik Sengupta},
editor = {Jir{\'{\i}} Fiala and
V{\'{a}}clav Koubek and
Jan Kratochv{\'{\i}}l},
title = {A Protocol for Serializing Unique Strategies},
booktitle = {Mathematical Foundations of Computer Science 2004, 29th International
Symposium, {MFCS} 2004, Prague, Czech Republic, August 22-27, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3153},
pages = {660--672},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28629-5\_51},
doi = {10.1007/978-3-540-28629-5\_51},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/CrasmaruGRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Regan02,
author = {Kenneth W. Regan},
title = {Understanding the Mulmuley-Sohoni Approach to {P} vs. {NP}},
journal = {Bull. {EATCS}},
volume = {78},
pages = {86--99},
year = {2002},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Regan02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PostowRS02,
author = {Brian Postow and
Kenneth W. Regan and
Carl H. Smith},
title = {{UPSILON:} Universal Programming System with Incomplete Lazy Object
Notation},
journal = {Fundam. Informaticae},
volume = {50},
number = {3-4},
pages = {325--359},
year = {2002},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi50-3-4-06},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/PostowRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/AidaCRW02,
author = {Shin Aida and
Marcel Cr{\^{a}}smaru and
Kenneth W. Regan and
Osamu Watanabe},
editor = {Helmut Alt and
Afonso Ferreira},
title = {Games with a Uniqueness Property},
booktitle = {{STACS} 2002, 19th Annual Symposium on Theoretical Aspects of Computer
Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2285},
pages = {396--407},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45841-7\_32},
doi = {10.1007/3-540-45841-7\_32},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/AidaCRW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/BuhrmanMRSS00,
author = {Harry Buhrman and
Dieter van Melkebeek and
Kenneth W. Regan and
D. Sivakumar and
Martin Strauss},
title = {A Generalization of Resource-Bounded Measure, with Application to
the {BPP} vs. {EXP} Problem},
journal = {{SIAM} J. Comput.},
volume = {30},
number = {2},
pages = {576--601},
year = {2000},
url = {https://doi.org/10.1137/S0097539798343891},
doi = {10.1137/S0097539798343891},
timestamp = {Tue, 19 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamcomp/BuhrmanMRSS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/99/00010RR99,
author = {Tao Jiang and
Ming Li and
Bala Ravikumar and
Kenneth W. Regan},
editor = {Mikhail J. Atallah},
title = {Computability},
booktitle = {Algorithms and Theory of Computation Handbook},
series = {Chapman {\&} Hall/CRC Applied Algorithms and Data Structures series},
publisher = {{CRC} Press},
year = {1999},
url = {https://doi.org/10.1201/9781420049503-c27},
doi = {10.1201/9781420049503-C27},
timestamp = {Fri, 17 Jul 2020 16:12:44 +0200},
biburl = {https://dblp.org/rec/books/crc/99/00010RR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/99/00010RR99a,
author = {Tao Jiang and
Ming Li and
Bala Ravikumar and
Kenneth W. Regan},
editor = {Mikhail J. Atallah},
title = {Formal Grammars and Languages},
booktitle = {Algorithms and Theory of Computation Handbook},
series = {Chapman {\&} Hall/CRC Applied Algorithms and Data Structures series},
publisher = {{CRC} Press},
year = {1999},
url = {https://doi.org/10.1201/9781420049503-c26},
doi = {10.1201/9781420049503-C26},
timestamp = {Mon, 04 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/crc/99/00010RR99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/99/AllenderLR99,
author = {Eric Allender and
Michael C. Loui and
Kenneth W. Regan},
editor = {Mikhail J. Atallah},
title = {Complexity Classes},
booktitle = {Algorithms and Theory of Computation Handbook},
series = {Chapman {\&} Hall/CRC Applied Algorithms and Data Structures series},
publisher = {{CRC} Press},
year = {1999},
url = {https://doi.org/10.1201/9781420049503-c28},
doi = {10.1201/9781420049503-C28},
timestamp = {Mon, 04 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/crc/99/AllenderLR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/99/AllenderLR99a,
author = {Eric Allender and
Michael C. Loui and
Kenneth W. Regan},
editor = {Mikhail J. Atallah},
title = {Reducibility and Completeness},
booktitle = {Algorithms and Theory of Computation Handbook},
series = {Chapman {\&} Hall/CRC Applied Algorithms and Data Structures series},
publisher = {{CRC} Press},
year = {1999},
url = {https://doi.org/10.1201/9781420049503-c29},
doi = {10.1201/9781420049503-C29},
timestamp = {Mon, 04 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/crc/99/AllenderLR99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/99/AllenderLR99b,
author = {Eric Allender and
Michael C. Loui and
Kenneth W. Regan},
editor = {Mikhail J. Atallah},
title = {Other Complexity Classes and Measures},
booktitle = {Algorithms and Theory of Computation Handbook},
series = {Chapman {\&} Hall/CRC Applied Algorithms and Data Structures series},
publisher = {{CRC} Press},
year = {1999},
url = {https://doi.org/10.1201/9781420049503-c30},
doi = {10.1201/9781420049503-C30},
timestamp = {Mon, 04 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/crc/99/AllenderLR99b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijon/JagotaNR98,
author = {Arun K. Jagota and
Giri Narasimhan and
Kenneth W. Regan},
title = {Information capacity of binary weights associative memories},
journal = {Neurocomputing},
volume = {19},
number = {1-3},
pages = {35--58},
year = {1998},
url = {https://doi.org/10.1016/S0925-2312(97)00097-0},
doi = {10.1016/S0925-2312(97)00097-0},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijon/JagotaNR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DowneyFR98,
author = {Rodney G. Downey and
Michael R. Fellows and
Kenneth W. Regan},
title = {Parameterized Circuit Complexity and the {W} Hierarchy},
journal = {Theor. Comput. Sci.},
volume = {191},
number = {1-2},
pages = {97--115},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(96)00317-9},
doi = {10.1016/S0304-3975(96)00317-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DowneyFR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/ReganS98,
author = {Kenneth W. Regan and
D. Sivakumar},
title = {Probabilistic Martingales and {BPTIME} Classes},
booktitle = {Proceedings of the 13th Annual {IEEE} Conference on Computational
Complexity, Buffalo, New York, USA, June 15-18, 1998},
pages = {186},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/CCC.1998.694604},
doi = {10.1109/CCC.1998.694604},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/ReganS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BuhrmanMRSS98,
author = {Harry Buhrman and
Dieter van Melkebeek and
Kenneth W. Regan and
D. Sivakumar and
Martin Strauss},
editor = {Michel Morvan and
Christoph Meinel and
Daniel Krob},
title = {A Generalization of Resource-Bounded Measure, With an Application
(Extended Abstract)},
booktitle = {{STACS} 98, 15th Annual Symposium on Theoretical Aspects of Computer
Science, Paris, France, February 25-27, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1373},
pages = {161--171},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0028558},
doi = {10.1007/BFB0028558},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BuhrmanMRSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR98-058,
author = {Harry Buhrman and
Dieter van Melkebeek and
Kenneth W. Regan and
Martin Strauss and
D. Sivakumar},
title = {A Generalization of Resource-Bounded Measure, With Application to
the {BPP} vs. {EXP} Problem},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR98-058}},
year = {1998},
url = {https://eccc.weizmann.ac.il/eccc-reports/1998/TR98-058/index.html},
eprinttype = {ECCC},
eprint = {TR98-058},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR98-058.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgo/JagotaR97,
author = {Arun K. Jagota and
Kenneth W. Regan},
title = {Performance of Neural Net Heuristics for Maximum Clique on Diverse
Highly Compressible Graphs},
journal = {J. Glob. Optim.},
volume = {10},
number = {4},
pages = {439--465},
year = {1997},
url = {https://doi.org/10.1023/A:1008263614366},
doi = {10.1023/A:1008263614366},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jgo/JagotaR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ReganV97,
author = {Kenneth W. Regan and
Heribert Vollmer},
title = {Gap-Languages and Log-Time Complexity Classes},
journal = {Theor. Comput. Sci.},
volume = {188},
number = {1-2},
pages = {101--116},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00288-5},
doi = {10.1016/S0304-3975(96)00288-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ReganV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/Regan97,
author = {Kenneth W. Regan},
title = {Polynomial Vicinity Circuits and Nonlinear Lower Bounds},
booktitle = {Proceedings of the Twelfth Annual {IEEE} Conference on Computational
Complexity, Ulm, Germany, June 24-27, 1997},
pages = {61--68},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/CCC.1997.612301},
doi = {10.1109/CCC.1997.612301},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/Regan97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/Regan96,
author = {Kenneth W. Regan},
title = {Linear Time and Memory-Efficient Computation},
journal = {{SIAM} J. Comput.},
volume = {25},
number = {1},
pages = {133--168},
year = {1996},
url = {https://doi.org/10.1137/S0097539793251888},
doi = {10.1137/S0097539793251888},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/Regan96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Regan96,
author = {Kenneth W. Regan},
title = {Index Sets and Presentations of Complexity Classes},
journal = {Theor. Comput. Sci.},
volume = {161},
number = {1{\&}2},
pages = {263--287},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00146-8},
doi = {10.1016/0304-3975(95)00146-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Regan96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/DowneyFR96,
author = {Rodney G. Downey and
Michael R. Fellows and
Kenneth W. Regan},
editor = {Paul Beame and
Samuel R. Buss},
title = {Descriptive complexity and the \emph{W} hierarchy},
booktitle = {Proof Complexity and Feasible Arithmetics, Proceedings of a {DIMACS}
Workshop, New Brunswick, New Jersey, USA, April 21-24, 1996},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {39},
pages = {119--134},
publisher = {{DIMACS/AMS}},
year = {1996},
url = {https://doi.org/10.1090/dimacs/039/07},
doi = {10.1090/DIMACS/039/07},
timestamp = {Sat, 30 Sep 2023 09:38:58 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/DowneyFR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GreenKRT95,
author = {Frederic Green and
Johannes K{\"{o}}bler and
Kenneth W. Regan and
Thomas Schwentick and
Jacobo Tor{\'{a}}n},
title = {The Power of the Middle Bit of a {\#}P Function},
journal = {J. Comput. Syst. Sci.},
volume = {50},
number = {3},
pages = {456--467},
year = {1995},
url = {https://doi.org/10.1006/jcss.1995.1036},
doi = {10.1006/JCSS.1995.1036},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/GreenKRT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/ReganR95,
author = {Kenneth W. Regan and
James S. Royer},
title = {On Closure Properties of Bounded Two-Sided Error Complexity Classes},
journal = {Math. Syst. Theory},
volume = {28},
number = {3},
pages = {229--243},
year = {1995},
url = {https://doi.org/10.1007/BF01303057},
doi = {10.1007/BF01303057},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/ReganR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NaikRS95,
author = {Ashish V. Naik and
Kenneth W. Regan and
D. Sivakumar},
title = {On Quasilinear-Time Complexity Theory},
journal = {Theor. Comput. Sci.},
volume = {148},
number = {2},
pages = {325--349},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(95)00031-Q},
doi = {10.1016/0304-3975(95)00031-Q},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NaikRS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/Regan95,
author = {Kenneth W. Regan},
title = {On Superlinear Lower Bounds in Complexity Theory},
booktitle = {Proceedings of the Tenth Annual Structure in Complexity Theory Conference,
Minneapolis, Minnesota, USA, June 19-22, 1995},
pages = {50--64},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/SCT.1995.514727},
doi = {10.1109/SCT.1995.514727},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/Regan95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/ReganSC95,
author = {Kenneth W. Regan and
D. Sivakumar and
Jin{-}yi Cai},
title = {Pseudorandom Generators, Measure Theory, and Natural Proofs},
booktitle = {36th Annual Symposium on Foundations of Computer Science, Milwaukee,
Wisconsin, USA, 23-25 October 1995},
pages = {26--35},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/SFCS.1995.492459},
doi = {10.1109/SFCS.1995.492459},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/ReganSC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/CaiLLORS95,
author = {Jin{-}yi Cai and
Richard J. Lipton and
Luc Longpr{\'{e}} and
Mitsunori Ogihara and
Kenneth W. Regan and
D. Sivakumar},
editor = {Ernst W. Mayr and
Claude Puech},
title = {Communication Complexity of Key Agreement on Small Ranges},
booktitle = {{STACS} 95, 12th Annual Symposium on Theoretical Aspects of Computer
Science, Munich, Germany, March 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {900},
pages = {38--49},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59042-0\_60},
doi = {10.1007/3-540-59042-0\_60},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/stacs/CaiLLORS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR95-006,
author = {Kenneth W. Regan and
D. Sivakumar and
Jin{-}yi Cai},
title = {Pseudorandom Generators, Measure Theory, and Natural Proofs},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR95-006}},
year = {1995},
url = {https://eccc.weizmann.ac.il/eccc-reports/1995/TR95-006/index.html},
eprinttype = {ECCC},
eprint = {TR95-006},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR95-006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/ReganW94,
author = {Kenneth W. Regan and
Jie Wang},
title = {The quasilinear isomorphism challenge},
journal = {{SIGACT} News},
volume = {25},
number = {3},
pages = {106--113},
year = {1994},
url = {https://doi.org/10.1145/193820.193839},
doi = {10.1145/193820.193839},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/ReganW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Regan94,
author = {Kenneth W. Regan},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Linear-Time Algorithms in Memory Hierarchies},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {288--293},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 13:03:03 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Regan94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Regan94a,
author = {Kenneth W. Regan},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Linear Speed-Up, Information Vicinity, and Finite-State Machines},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {609--614},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Regan94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/NaikRS94,
author = {Ashish V. Naik and
Kenneth W. Regan and
D. Sivakumar},
editor = {Patrice Enjalbert and
Ernst W. Mayr and
Klaus W. Wagner},
title = {Quasilinear Time Complexity Theory},
booktitle = {{STACS} 94, 11th Annual Symposium on Theoretical Aspects of Computer
Science, Caen, France, February 24-26, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {775},
pages = {97--108},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57785-8\_134},
doi = {10.1007/3-540-57785-8\_134},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/NaikRS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Regan94,
author = {Kenneth W. Regan},
editor = {Patrice Enjalbert and
Ernst W. Mayr and
Klaus W. Wagner},
title = {A New Parallel Vector Model, with Exact Characterization of NC{\^{}}k},
booktitle = {{STACS} 94, 11th Annual Symposium on Theoretical Aspects of Computer
Science, Caen, France, February 24-26, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {775},
pages = {289--300},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57785-8\_149},
doi = {10.1007/3-540-57785-8\_149},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Regan94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Regan93,
author = {Kenneth W. Regan},
title = {Machine models and linear time complexity},
journal = {{SIGACT} News},
volume = {24},
number = {3},
pages = {5--15},
year = {1993},
url = {https://doi.org/10.1145/166589.166591},
doi = {10.1145/166589.166591},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/Regan93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icci/Regan93,
author = {Kenneth W. Regan},
editor = {Osman Abou{-}Rabia and
Carl K. Chang and
Waldemar W. Koczkodaj},
title = {On the Difference Between Turing Machine Time and Random-Access Machine
Time},
booktitle = {Computing and Information - ICCI'93, Fifth International Conference
on Computing and Information, Sudbury, Ontario, Canada, May 27-29,
1993, Proceedings},
pages = {36--40},
publisher = {{IEEE} Computer Society},
year = {1993},
timestamp = {Thu, 21 Mar 2002 14:11:16 +0100},
biburl = {https://dblp.org/rec/conf/icci/Regan93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Regan92,
author = {Kenneth W. Regan},
title = {Diagonalization, Uniformity, and Fixed-Point Theorems},
journal = {Inf. Comput.},
volume = {98},
number = {1},
pages = {1--40},
year = {1992},
url = {https://doi.org/10.1016/0890-5401(92)90040-M},
doi = {10.1016/0890-5401(92)90040-M},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Regan92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Regan92,
author = {Kenneth W. Regan},
title = {Minimum-Complexity Pairing Functions},
journal = {J. Comput. Syst. Sci.},
volume = {45},
number = {3},
pages = {285--295},
year = {1992},
url = {https://doi.org/10.1016/0022-0000(92)90027-G},
doi = {10.1016/0022-0000(92)90027-G},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Regan92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/Regan89,
author = {Kenneth W. Regan},
title = {Finitary Substructure Languages},
booktitle = {Proceedings: Fourth Annual Structure in Complexity Theory Conference,
University of Oregon, Eugene, Oregon, USA, June 19-22, 1989},
pages = {87--96},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/SCT.1989.41814},
doi = {10.1109/SCT.1989.41814},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/Regan89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Regan88,
author = {Kenneth W. Regan},
title = {The Topology of Provability in Complexity Theory},
journal = {J. Comput. Syst. Sci.},
volume = {36},
number = {3},
pages = {384--432},
year = {1988},
url = {https://doi.org/10.1016/0022-0000(88)90036-0},
doi = {10.1016/0022-0000(88)90036-0},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Regan88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/Regan87,
author = {Kenneth W. Regan},
title = {Unprovably intractable languages},
booktitle = {Proceedings of the Second Annual Conference on Structure in Complexity
Theory, Cornell University, Ithaca, New York, USA, June 16-19, 1987},
pages = {69--80},
publisher = {{IEEE} Computer Society},
year = {1987},
url = {https://ieeexplore.ieee.org/document/10319256},
timestamp = {Tue, 21 Nov 2023 11:59:25 +0100},
biburl = {https://dblp.org/rec/conf/coco/Regan87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/Regan86,
author = {Kenneth W. Regan},
editor = {Alan L. Selman},
title = {The Topology of Provability in Complexity Theory},
booktitle = {Structure in Complexity Theory, Proceedings of the Conference hold
at the University of California, Berkeley, California, USA, June 2-5,
1986},
series = {Lecture Notes in Computer Science},
volume = {223},
pages = {291--310},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16486-3\_106},
doi = {10.1007/3-540-16486-3\_106},
timestamp = {Thu, 02 Feb 2023 13:27:01 +0100},
biburl = {https://dblp.org/rec/conf/coco/Regan86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Regan86,
author = {Kenneth W. Regan},
editor = {Laurent Kott},
title = {A Uniform Reduction Theorem - Extending a Result of J. Grollmann and
A. Selman},
booktitle = {Automata, Languages and Programming, 13th International Colloquium,
ICALP86, Rennes, France, July 15-19, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {226},
pages = {324--333},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16761-7\_82},
doi = {10.1007/3-540-16761-7\_82},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Regan86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Regan83,
author = {Kenneth W. Regan},
editor = {Marek Karpinski},
title = {On Diagonalization Methods and the Structure of Language Classes},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1983 International
FCT-Conference, Borgholm, Sweden, August 21-27, 1983},
series = {Lecture Notes in Computer Science},
volume = {158},
pages = {368--380},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12689-9\_119},
doi = {10.1007/3-540-12689-9\_119},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/Regan83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lam/Regan83,
author = {Kenneth W. Regan},
editor = {Egon B{\"{o}}rger and
Gisbert Hasenjaeger and
Dieter R{\"{o}}dding},
title = {Arithmetical degrees of index sets for complexity classes},
booktitle = {Logic and Machines: Decision Problems and Complexity, Proceedings
of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983
at the Institut f{\"{u}}r Mathematische Logik und Grundlagenforschung
der Universit{\"{a}}t M{\"{u}}nster/Westfalen},
series = {Lecture Notes in Computer Science},
volume = {171},
pages = {118--130},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-13331-3\_37},
doi = {10.1007/3-540-13331-3\_37},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/lam/Regan83.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 2024-04-25 01:50 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:
