Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Robert Cowen"
download as .bib file
@article{DBLP:journals/ploscb/SwetnamABBCCCCCCCDDDEEFFFGHJLLLM24,
author = {Tyson L. Swetnam and
Parker B. Antin and
Ryan Bartelme and
Alexander Bucksch and
David Camhy and
Greg Chism and
Illyoung Choi and
Amanda M. Cooksey and
Michele Cosi and
Cindy Cowen and
Michael Culshaw{-}Maurer and
Robert Davey and
Sean Davey and
Upendra Devisetty and
Tony Edgin and
Andy Edmonds and
Dmitry V. Fedorov and
Jeremy Frady and
John Fonner and
Jeffrey K. Gillan and
Iqbal Hossain and
Blake Joyce and
Konrad Lang and
Tina Lee and
Shelley Littin and
Ian McEwen and
Nirav C. Merchant and
David Micklos and
Andrew Nelson and
Ashley Ramsey and
Sarah Roberts and
Paul Sarando and
Edwin Skidmore and
Jawon Song and
Mary Margaret Sprinkle and
Sriram Srinivasan and
Dan Stanzione and
Jonathan D. Strootman and
Sarah Stryeck and
Reetu Tuteja and
Matthew Vaughn and
Mojib Wali and
Mariah Wall and
Ramona Walls and
Liya Wang and
Todd Wickizer and
Jason Williams and
John Wregglesworth and
Eric Lyons},
title = {CyVerse: Cyberinfrastructure for open science},
journal = {PLoS Comput. Biol.},
volume = {20},
number = {2},
year = {2024},
url = {https://doi.org/10.1371/journal.pcbi.1011270},
doi = {10.1371/JOURNAL.PCBI.1011270},
timestamp = {Mon, 22 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ploscb/SwetnamABBCCCCCCCDDDEEFFFGHJLLLM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-15020,
author = {Charlie Cowen{-}Breen and
Creston Brooks and
Robert Calef and
Anna Sappington},
title = {Probabilistically-sound beam search with masked language models},
journal = {CoRR},
volume = {abs/2402.15020},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.15020},
doi = {10.48550/ARXIV.2402.15020},
eprinttype = {arXiv},
eprint = {2402.15020},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-15020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-12570,
author = {Mohammad Asif Khan and
Alexander I. Cowen{-}Rivers and
Derrick{-}Goh{-}Xin Deik and
Antoine Grosnit and
Kamil Dreczkowski and
Philippe A. Robert and
Victor Greiff and
Rasul Tutunov and
Dany Bou{-}Ammar and
Jun Wang and
Haitham Bou{-}Ammar},
title = {AntBO: Towards Real-World Automated Antibody Design with Combinatorial
Bayesian Optimisation},
journal = {CoRR},
volume = {abs/2201.12570},
year = {2022},
url = {https://arxiv.org/abs/2201.12570},
eprinttype = {arXiv},
eprint = {2201.12570},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-12570.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tamm/Cowen18,
author = {Robert Cowen},
title = {A Beginner's Guide to Mathematical Logic},
journal = {Am. Math. Mon.},
volume = {125},
number = {2},
pages = {188--192},
year = {2018},
url = {https://doi.org/10.1080/00029890.2018.1401883},
doi = {10.1080/00029890.2018.1401883},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tamm/Cowen18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/Aartsen15,
author = {Mark G. Aartsen and
Rasha U. Abbasi and
Markus Ackermann and
Jenni Adams and
Juan Antonio Aguilar S{\'{a}}nchez and
Markus Ahlers and
David Altmann and
Carlos A. Arg{\"{u}}elles Delgado and
Jan Auffenberg and
Xinhua Bai and
Michael F. Baker and
Steven W. Barwick and
Volker Baum and
Ryan Bay and
James J. Beatty and
Julia K. Becker Tjus and
Karl{-}Heinz Becker and
Segev BenZvi and
Patrick Berghaus and
David Berley and
Elisa Bernardini and
Anna Bernhard and
David Z. Besson and
G. Binder and
Daniel Bindig and
Martin Bissok and
Erik Blaufuss and
Jan Blumenthal and
David J. Boersma and
Christian Bohm and
Debanjan Bose and
Sebastian B{\"{o}}ser and
Olga Botner and
Lionel Brayeur and
Hans{-}Peter Bretz and
Anthony M. Brown and
Ronald Bruijn and
James Casey and
Martin Casier and
Dmitry Chirkin and
Asen Christov and
Brian John Christy and
Ken Clark and
Lew Classen and
Fabian Clevermann and
Stefan Coenders and
Shirit Cohen and
Doug F. Cowen and
Angel H. Cruz Silva and
Matthias Danninger and
Jacob Daughhetee and
James C. Davis and
Melanie Day and
Catherine De Clercq and
Sam De Ridder and
Paolo Desiati and
Krijn D. de Vries and
Meike de With and
Tyce DeYoung and
Juan Carlos D{\'{\i}}az{-}V{\'{e}}lez and
Matthew Dunkman and
Ryan Eagan and
Benjamin Eberhardt and
Bj{\"{o}}rn Eichmann and
Jonathan Eisch and
Sebastian Euler and
Paul A. Evenson and
Oladipo O. Fadiran and
Ali R. Fazely and
Anatoli Fedynitch and
Jacob Feintzeig and
Tom Feusels and
Kirill Filimonov and
Chad Finley and
Tobias Fischer{-}Wasels and
Samuel Flis and
Anna Franckowiak and
Katharina Frantzen and
Tomasz Fuchs and
Thomas K. Gaisser and
Joseph S. Gallagher and
Lisa Marie Gerhardt and
Laura E. Gladstone and
Thorsten Gl{\"{u}}senkamp and
Azriel Goldschmidt and
Geraldina Golup and
Javier G. Gonz{\'{a}}lez and
Jordan A. Goodman and
Dariusz G{\'{o}}ra and
Dylan T. Grandmont and
Darren Grant and
Pavel Gretskov and
John C. Groh and
Andreas Gro{\ss} and
Chang Hyon Ha and
Abd Al Karim Haj Ismail and
Patrick Hallen and
Allan Hallgren and
Francis Halzen and
Kael D. Hanson and
Dustin Hebecker and
David Heereman and
Dirk Heinen and
Klaus Helbing and
Robert Eugene Hellauer III and
Stephanie Virginia Hickford and
Gary C. Hill and
Kara D. Hoffman and
Ruth Hoffmann and
Andreas Homeier and
Kotoyo Hoshina and
Feifei Huang and
Warren Huelsnitz and
Per Olof Hulth and
Klas Hultqvist and
Shahid Hussain and
Aya Ishihara and
Emanuel Jacobi and
John E. Jacobsen and
Kai Jagielski and
George S. Japaridze and
Kyle Jero and
Ola Jlelati and
Basho Kaminsky and
Alexander Kappes and
Timo Karg and
Albrecht Karle and
Matthew Kauer and
John Lawrence Kelley and
Joanna Kiryluk and
J. Kl{\"{a}}s and
Spencer R. Klein and
Jan{-}Hendrik K{\"{o}}hne and
Georges Kohnen and
Hermann Kolanoski and
Lutz K{\"{o}}pke and
Claudio Kopper and
Sandro Kopper and
D. Jason Koskinen and
Marek Kowalski and
Mark Krasberg and
Anna Kriesten and
Kai Michael Krings and
G{\"{o}}sta Kroll and
Jan Kunnen and
Naoko Kurahashi and
Takao Kuwabara and
Mathieu L. M. Labare and
Hagar Landsman and
Michael James Larson and
Mariola Lesiak{-}Bzdak and
Martin Leuermann and
Julia Leute and
Jan L{\"{u}}nemann and
Oscar A. Mac{\'{\i}}as{-}Ram{\'{\i}}rez and
James Madsen and
Giuliano Maggi and
Reina Maruyama and
Keiichi Mase and
Howard S. Matis and
Frank McNally and
Kevin James Meagher and
Martin Merck and
Gonzalo Merino Ar{\'{e}}valo and
Thomas Meures and
Sandra Miarecki and
Eike Middell and
Natalie Milke and
John Lester Miller and
Lars Mohrmann and
Teresa Montaruli and
Robert M. Morse and
Rolf Nahnhauer and
Uwe Naumann and
Hans Niederhausen and
Sarah C. Nowicki and
David R. Nygren and
Anna Obertacke and
Sirin Odrowski and
Alex Olivas and
Ahmad Omairat and
Aongus Starbuck {\'{O}} Murchadha and
Larissa Paul and
Joshua A. Pepper and
Carlos P{\'{e}}rez de los Heros and
Carl Pfendner and
Damian Pieloth and
Elisa Pinat and
Jonas Posselt and
P. Buford Price and
Gerald T. Przybylski and
Melissa Quinnan and
Leif R{\"{a}}del and
Ian Rae and
Mohamed Rameez and
Katherine Rawlins and
Peter Christian Redl and
Ren{\'{e}} Reimann and
Elisa Resconi and
Wolfgang Rhode and
Mathieu Ribordy and
Michael Richman and
Benedikt Riedel and
J. P. Rodrigues and
Carsten Rott and
Tim Ruhe and
Bakhtiyar Ruzybayev and
Dirk Ryckbosch and
Sabine M. Saba and
Heinz{-}Georg Sander and
Juan Marcos Santander and
Subir Sarkar and
Kai Schatto and
Florian Scheriau and
Torsten Schmidt and
Martin Schmitz and
Sebastian Schoenen and
Sebastian Sch{\"{o}}neberg and
Arne Sch{\"{o}}nwald and
Anne Schukraft and
Lukas Schulte and
David Schultz and
Olaf Schulz and
David Seckel and
Yolanda Sestayo de la Cerra and
Surujhdeo Seunarine and
Rezo Shanidze and
Chris Sheremata and
Miles W. E. Smith and
Dennis Soldin and
Glenn M. Spiczak and
Christian Spiering and
Michael Stamatikos and
Todor Stanev and
Nick A. Stanisha and
Alexander Stasik and
Thorsten Stezelberger and
Robert G. Stokstad and
Achim St{\"{o}}{\ss}l and
Erik A. Strahler and
Rickard Str{\"{o}}m and
Nora Linn Strotjohann and
Gregory W. Sullivan and
Henric Taavola and
Ignacio J. Taboada and
Alessio Tamburro and
Andreas Tepe and
Samvel Ter{-}Antonyan and
Gordana Tesic and
Serap Tilav and
Patrick A. Toale and
Moriah Natasha Tobin and
Simona Toscano and
Maria Tselengidou and
Elisabeth Unger and
Marcel Usner and
Sofia Vallecorsa and
Nick van Eijndhoven and
Arne Van Overloop and
Jakob van Santen and
Markus Vehring and
Markus Voge and
Matthias Vraeghe and
Christian Walck and
Tilo Waldenmaier and
Marius Wallraff and
Christopher N. Weaver and
Mark T. Wellons and
Christopher H. Wendt and
Stefan Westerhoff and
Nathan Whitehorn and
Klaus Wiebe and
Christopher Wiebusch and
Dawn R. Williams and
Henrike Wissing and
Martin Wolf and
Terri R. Wood and
Kurt Woschnagg and
Donglian Xu and
Xianwu Xu and
Juan Pablo Y{\'{a}}{\~{n}}ez Garza and
Gaurang B. Yodh and
Shigeru Yoshida and
Pavel Zarzhitsky and
Jan Ziemann and
Simon Zierke and
Marcel Zoll},
title = {The IceProd framework: Distributed data processing for the IceCube
neutrino observatory},
journal = {J. Parallel Distributed Comput.},
volume = {75},
pages = {198--211},
year = {2015},
url = {https://doi.org/10.1016/j.jpdc.2014.08.001},
doi = {10.1016/J.JPDC.2014.08.001},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jpdc/Aartsen15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tamm/Cowen15,
author = {Robert Cowen},
title = {Deleting Edges from Ramsey Minimal Examples},
journal = {Am. Math. Mon.},
volume = {122},
number = {7},
pages = {681--683},
year = {2015},
url = {https://doi.org/10.4169/amer.math.monthly.122.7.681},
doi = {10.4169/AMER.MATH.MONTHLY.122.7.681},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tamm/Cowen15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Cowen14,
author = {Robert Cowen},
title = {Adaptive Fault Diagnosis using Self-Referential Reasoning},
journal = {CoRR},
volume = {abs/1407.6255},
year = {2014},
url = {http://arxiv.org/abs/1407.6255},
eprinttype = {arXiv},
eprint = {1407.6255},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Cowen14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AartsenA13,
author = {Mark G. Aartsen and
Rasha U. Abbasi and
Markus Ackermann and
Jenni Adams and
Juan Antonio Aguilar S{\'{a}}nchez and
Markus Ahlers and
David Altmann and
Carlos A. Arg{\"{u}}elles Delgado and
Jan Auffenberg and
Xinhua Bai and
Michael F. Baker and
Steven W. Barwick and
Volker Baum and
Ryan Bay and
James J. Beatty and
Julia K. Becker Tjus and
Karl{-}Heinz Becker and
Segev BenZvi and
Patrick Berghaus and
David Berley and
Elisa Bernardini and
Anna Bernhard and
David Z. Besson and
G. Binder and
Daniel Bindig and
Martin Bissok and
Erik Blaufuss and
Jan Blumenthal and
David J. Boersma and
Christian Bohm and
Debanjan Bose and
Sebastian B{\"{o}}ser and
Olga Botner and
Lionel Brayeur and
Hans{-}Peter Bretz and
Anthony M. Brown and
Ronald Bruijn and
James Casey and
Martin Casier and
Dmitry Chirkin and
Asen Christov and
Brian John Christy and
Ken Clark and
Lew Classen and
Fabian Clevermann and
Stefan Coenders and
Shirit Cohen and
Doug F. Cowen and
Angel H. Cruz Silva and
Matthias Danninger and
Jacob Daughhetee and
James C. Davis and
Melanie Day and
Catherine De Clercq and
Sam De Ridder and
Paolo Desiati and
Krijn D. de Vries and
Meike de With and
Tyce DeYoung and
Juan Carlos D{\'{\i}}az{-}V{\'{e}}lez and
Matthew Dunkman and
Ryan Eagan and
Benjamin Eberhardt and
Bj{\"{o}}rn Eichmann and
Jonathan Eisch and
Sebastian Euler and
Paul A. Evenson and
Oladipo O. Fadiran and
Ali R. Fazely and
Anatoli Fedynitch and
Jacob Feintzeig and
Tom Feusels and
Kirill Filimonov and
Chad Finley and
Tobias Fischer{-}Wasels and
Samuel Flis and
Anna Franckowiak and
Katharina Frantzen and
Tomasz Fuchs and
Thomas K. Gaisser and
Joseph S. Gallagher and
Lisa Marie Gerhardt and
Laura E. Gladstone and
Thorsten Gl{\"{u}}senkamp and
Azriel Goldschmidt and
Geraldina Golup and
Javier G. Gonz{\'{a}}lez and
Jordan A. Goodman and
Dariusz G{\'{o}}ra and
Dylan T. Grandmont and
Darren Grant and
Pavel Gretskov and
John C. Groh and
Andreas Gro{\ss} and
Chang Hyon Ha and
Abd Al Karim Haj Ismail and
Patrick Hallen and
Allan Hallgren and
Francis Halzen and
Kael D. Hanson and
Dustin Hebecker and
David Heereman and
Dirk Heinen and
Klaus Helbing and
Robert Eugene Hellauer III and
Stephanie Virginia Hickford and
Gary C. Hill and
Kara D. Hoffman and
Ruth Hoffmann and
Andreas Homeier and
Kotoyo Hoshina and
Feifei Huang and
Warren Huelsnitz and
Per Olof Hulth and
Klas Hultqvist and
Shahid Hussain and
Aya Ishihara and
Emanuel Jacobi and
John E. Jacobsen and
Kai Jagielski and
George S. Japaridze and
Kyle Jero and
Ola Jlelati and
Basho Kaminsky and
Alexander Kappes and
Timo Karg and
Albrecht Karle and
Matthew Kauer and
John Lawrence Kelley and
Joanna Kiryluk and
J. Kl{\"{a}}s and
Spencer R. Klein and
Jan{-}Hendrik K{\"{o}}hne and
Georges Kohnen and
Hermann Kolanoski and
Lutz K{\"{o}}pke and
Claudio Kopper and
Sandro Kopper and
D. Jason Koskinen and
Marek Kowalski and
Mark Krasberg and
Anna Kriesten and
Kai Michael Krings and
G{\"{o}}sta Kroll and
Jan Kunnen and
Naoko Kurahashi and
Takao Kuwabara and
Mathieu L. M. Labare and
Hagar Landsman and
Michael James Larson and
Mariola Lesiak{-}Bzdak and
Martin Leuermann and
Julia Leute and
Jan L{\"{u}}nemann and
Oscar A. Mac{\'{\i}}as{-}Ram{\'{\i}}rez and
James Madsen and
Giuliano Maggi and
Reina Maruyama and
Keiichi Mase and
Howard S. Matis and
Frank McNally and
Kevin James Meagher and
Martin Merck and
Gonzalo Merino Ar{\'{e}}valo and
Thomas Meures and
Sandra Miarecki and
Eike Middell and
Natalie Milke and
John Lester Miller and
Lars Mohrmann and
Teresa Montaruli and
Robert M. Morse and
Rolf Nahnhauer and
Uwe Naumann and
Hans Niederhausen and
Sarah C. Nowicki and
David R. Nygren and
Anna Obertacke and
Sirin Odrowski and
Alex Olivas and
Ahmad Omairat and
Aongus Starbuck {\'{O}} Murchadha and
Larissa Paul and
Joshua A. Pepper and
Carlos P{\'{e}}rez de los Heros and
Carl Pfendner and
Damian Pieloth and
Elisa Pinat and
Jonas Posselt and
P. Buford Price and
Gerald T. Przybylski and
Melissa Quinnan and
Leif R{\"{a}}del and
Ian Rae and
Mohamed Rameez and
Katherine Rawlins and
Peter Christian Redl and
Ren{\'{e}} Reimann and
Elisa Resconi and
Wolfgang Rhode and
Mathieu Ribordy and
Michael Richman and
Benedikt Riedel and
J. P. Rodrigues and
Carsten Rott and
Tim Ruhe and
Bakhtiyar Ruzybayev and
Dirk Ryckbosch and
Sabine M. Saba and
Heinz{-}Georg Sander and
Juan Marcos Santander and
Subir Sarkar and
Kai Schatto and
Florian Scheriau and
Torsten Schmidt and
Martin Schmitz and
Sebastian Schoenen and
Sebastian Sch{\"{o}}neberg and
Arne Sch{\"{o}}nwald and
Anne Schukraft and
Lukas Schulte and
David Schultz and
Olaf Schulz and
David Seckel and
Yolanda Sestayo de la Cerra and
Surujhdeo Seunarine and
Rezo Shanidze and
Chris Sheremata and
Miles W. E. Smith and
Dennis Soldin and
Glenn M. Spiczak and
Christian Spiering and
Michael Stamatikos and
Todor Stanev and
Nick A. Stanisha and
Alexander Stasik and
Thorsten Stezelberger and
Robert G. Stokstad and
Achim St{\"{o}}{\ss}l and
Erik A. Strahler and
Rickard Str{\"{o}}m and
Nora Linn Strotjohann and
Gregory W. Sullivan and
Henric Taavola and
Ignacio J. Taboada and
Alessio Tamburro and
Andreas Tepe and
Samvel Ter{-}Antonyan and
Gordana Tesic and
Serap Tilav and
Patrick A. Toale and
Moriah Natasha Tobin and
Simona Toscano and
Maria Tselengidou and
Elisabeth Unger and
Marcel Usner and
Sofia Vallecorsa and
Nick van Eijndhoven and
Arne Van Overloop and
Jakob van Santen and
Markus Vehring and
Markus Voge and
Matthias Vraeghe and
Christian Walck and
Tilo Waldenmaier and
Marius Wallraff and
Christopher N. Weaver and
Mark T. Wellons and
Christopher H. Wendt and
Stefan Westerhoff and
Nathan Whitehorn and
Klaus Wiebe and
Christopher Wiebusch and
Dawn R. Williams and
Henrike Wissing and
Martin Wolf and
Terri R. Wood and
Kurt Woschnagg and
Donglian Xu and
Xianwu Xu and
Juan Pablo Y{\'{a}}{\~{n}}ez Garza and
Gaurang B. Yodh and
Shigeru Yoshida and
Pavel Zarzhitsky and
Jan Ziemann and
Simon Zierke and
Marcel Zoll},
title = {The IceProd Framework: Distributed Data Processing for the IceCube
Neutrino Observatory},
journal = {CoRR},
volume = {abs/1311.5904},
year = {2013},
url = {http://arxiv.org/abs/1311.5904},
eprinttype = {arXiv},
eprint = {1311.5904},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AartsenA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Cowen12,
author = {Robert Cowen},
title = {A Method for Constructing Minimally Unsatisfiable CNFs},
journal = {CoRR},
volume = {abs/1211.7152},
year = {2012},
url = {http://arxiv.org/abs/1211.7152},
eprinttype = {arXiv},
eprint = {1211.7152},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Cowen12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Cowen10,
author = {Robert Cowen},
title = {Generalized Davis-Putnam and satisfiability problems in mathematics},
journal = {Log. J. {IGPL}},
volume = {18},
number = {3},
pages = {456--463},
year = {2010},
url = {https://doi.org/10.1093/jigpal/jzp053},
doi = {10.1093/JIGPAL/JZP053},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Cowen10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jocn/MurphyLACHR09,
author = {Susannah E. Murphy and
Carlo Longhitano and
Rachael E. Ayres and
Philip J. Cowen and
Catherine J. Harmer and
Robert D. Rogers},
title = {The Role of Serotonin in Nonnormative Risky Choice: The Effects of
Tryptophan Supplements on the "Reflection Effect" in Healthy Adult
Volunteers},
journal = {J. Cogn. Neurosci.},
volume = {21},
number = {9},
pages = {1709--1719},
year = {2009},
url = {https://doi.org/10.1162/jocn.2009.21122},
doi = {10.1162/JOCN.2009.21122},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jocn/MurphyLACHR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Cowen09,
author = {Robert Cowen},
title = {2-CNFS and Logical Embeddings},
journal = {Stud Logica},
volume = {93},
number = {1},
pages = {15--19},
year = {2009},
url = {https://doi.org/10.1007/s11225-009-9206-1},
doi = {10.1007/S11225-009-9206-1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Cowen09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/CowenCS08,
author = {Lenore J. Cowen and
Robert Cowen and
Arthur Steinberg},
title = {Totally Greedy Coin Sets and Greedy Obstructions},
journal = {Electron. J. Comb.},
volume = {15},
number = {1},
year = {2008},
url = {http://www.combinatorics.org/Volume\_15/Abstracts/v15i1r90.html},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/CowenCS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/CowenHKS07,
author = {Robert Cowen and
Stephen H. Hechler and
John W. Kennedy and
Arthur Steinberg},
title = {Odd neighborhood transversals on grid graphs},
journal = {Discret. Math.},
volume = {307},
number = {17-18},
pages = {2200--2208},
year = {2007},
url = {https://doi.org/10.1016/j.disc.2006.11.006},
doi = {10.1016/J.DISC.2006.11.006},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/CowenHKS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CowenK07,
author = {Robert Cowen and
Adam Kolany},
title = {Davis-Putnam Style Rules for Deciding Property {S}},
journal = {Fundam. Informaticae},
volume = {79},
number = {1-2},
pages = {5--15},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-1-2-02},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CowenK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cse/CortezFCD04,
author = {Ricardo Cortez and
Lisa J. Fauci and
Nathaniel Cowen and
Robert Dillon},
title = {Simulation of swimming organisms: coupling internal mechanics with
external fluid dynamics},
journal = {Comput. Sci. Eng.},
volume = {6},
number = {3},
pages = {38--45},
year = {2004},
url = {https://doi.org/10.1109/MCISE.2004.1289307},
doi = {10.1109/MCISE.2004.1289307},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cse/CortezFCD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rml/Cowen01,
author = {Robert Cowen},
title = {Property {S}},
journal = {Reports Math. Log.},
volume = {35},
pages = {61--74},
year = {2001},
url = {https://rml.tcs.uj.edu.pl/rml-35/a-cow-35.htm},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rml/Cowen01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rml/Cowen98,
author = {Robert Cowen},
title = {A Compactness Theorem for Infinite Constraint Satisfaction},
journal = {Reports Math. Log.},
volume = {32},
pages = {97--107},
year = {1998},
url = {https://rml.tcs.uj.edu.pl/rml-32/a-cow-32.htm},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rml/Cowen98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/CowenE96,
author = {Robert Cowen and
William Emerson},
title = {A compactness theorem for linear equations},
journal = {Stud Logica},
volume = {57},
number = {2/3},
pages = {355--357},
year = {1996},
url = {https://doi.org/10.1007/BF00370839},
doi = {10.1007/BF00370839},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/CowenE96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/CowenW93,
author = {Robert Cowen and
Katherine Wyatt},
title = {{BREAKUP:} a preprocessing algorithm for satisfiability testing of
{CNF} formulas},
journal = {Notre Dame J. Formal Log.},
volume = {34},
number = {4},
pages = {602--606},
year = {1993},
url = {https://doi.org/10.1305/ndjfl/1093633909},
doi = {10.1305/NDJFL/1093633909},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/CowenW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rml/Cowen93,
author = {Robert Cowen},
title = {Combinatorial Analytic Tableaux},
journal = {Reports Math. Log.},
volume = {27},
pages = {29--39},
year = {1993},
url = {https://rml.tcs.uj.edu.pl/rml-27/a-cow-27.htm},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rml/Cowen93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Cowen93,
author = {Robert Cowen},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Some Connections Between Set Theory and Computer Science},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {14--22},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022548},
doi = {10.1007/BFB0022548},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Cowen93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rml/Cowen91,
author = {Robert Cowen},
title = {Hypergraph Satisfiability},
journal = {Reports Math. Log.},
volume = {25},
year = {1991},
url = {https://rml.tcs.uj.edu.pl/rml-25/a-cow-25.htm},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rml/Cowen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cowen90,
author = {Robert Cowen},
title = {Two Hypergraph Theorems Equivalent to {BPI}},
journal = {Notre Dame J. Formal Log.},
volume = {31},
number = {2},
pages = {232--240},
year = {1990},
url = {https://doi.org/10.1305/ndjfl/1093635418},
doi = {10.1305/NDJFL/1093635418},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cowen90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgt/CowenCW86,
author = {Lenore J. Cowen and
Robert Cowen and
Douglas R. Woodall},
title = {Defective colorings of graphs in surfaces: Partitions into subgraphs
of bounded valency},
journal = {J. Graph Theory},
volume = {10},
number = {2},
pages = {187--195},
year = {1986},
url = {https://doi.org/10.1002/jgt.3190100207},
doi = {10.1002/JGT.3190100207},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jgt/CowenCW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cowen83,
author = {Robert Cowen},
title = {Compactness via prime semilattices},
journal = {Notre Dame J. Formal Log.},
volume = {24},
number = {2},
pages = {199--204},
year = {1983},
url = {https://doi.org/10.1305/ndjfl/1093870310},
doi = {10.1305/NDJFL/1093870310},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cowen83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cowen77,
author = {Robert H. Cowen},
title = {Generalizing K{\"{o}}nig's infinity lemma},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {2},
pages = {243--247},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887927},
doi = {10.1305/NDJFL/1093887927},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cowen77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cowen77a,
author = {Robert H. Cowen},
title = {Binary consistent choice on triples},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {2},
pages = {310--312},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093887937},
doi = {10.1305/NDJFL/1093887937},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cowen77a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Cowen76,
author = {Robert H. Cowen},
title = {Elementary Equivalence and Constructible Models of Zermelo-Fraenkel
Set Theory},
journal = {Math. Log. Q.},
volume = {22},
number = {1},
pages = {333--338},
year = {1976},
url = {https://doi.org/10.1002/malq.19760220143},
doi = {10.1002/MALQ.19760220143},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Cowen76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cowen75,
author = {Robert H. Cowen},
title = {A characterization of logical consequence in quantification theory},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {3},
pages = {375--377},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891798},
doi = {10.1305/NDJFL/1093891798},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cowen75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cowen71,
author = {Robert H. Cowen},
title = {Superinductive classes in class-set theory},
journal = {Notre Dame J. Formal Log.},
volume = {12},
number = {1},
pages = {62--68},
year = {1971},
url = {https://doi.org/10.1305/ndjfl/1093894151},
doi = {10.1305/NDJFL/1093894151},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cowen71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Cowen70,
author = {Robert H. Cowen},
title = {A new proof of the compactness theorem for propositional logic},
journal = {Notre Dame J. Formal Log.},
volume = {11},
number = {1},
pages = {79--80},
year = {1970},
url = {https://doi.org/10.1305/ndjfl/1093893860},
doi = {10.1305/NDJFL/1093893860},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Cowen70.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.
retrieved on 2024-06-25 12:42 CEST from data curated 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:
