![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "Robert Cowen"
@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 = {Sun, 04 Aug 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} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.