Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Richard A. DeMillo
@article{DBLP:journals/information/BarenjiMBNBD23,
author = {Ali Vatankhah Barenji and
Beno{\^{\i}}t Montreuil and
Sevda Babalou and
Dima Nazzal and
Fr{\'{e}}d{\'{e}}rick B{\'{e}}naben and
Richard A. DeMillo},
title = {An Agent-Based Simulation Platform for a Safe Election: From Design
to Simulation},
journal = {Inf.},
volume = {14},
number = {10},
pages = {529},
year = {2023},
url = {https://doi.org/10.3390/info14100529},
doi = {10.3390/INFO14100529},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/information/BarenjiMBNBD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/DeMillo12,
author = {Richard A. DeMillo},
title = {Keeping technology promises},
journal = {Commun. {ACM}},
volume = {55},
number = {11},
pages = {37--39},
year = {2012},
url = {https://doi.org/10.1145/2366316.2366329},
doi = {10.1145/2366316.2366329},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/DeMillo12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/procedia/BakerBD12,
author = {Paul Manuel Aviles Baker and
Keith R. Bujak and
Rich DeMillo},
editor = {Leontios J. Hadjileontiadis and
Paulo Martins and
Robert Todd and
Hugo Paredes and
Jo{\~{a}}o Rodrigues and
Jo{\~{a}}o Barroso},
title = {The Evolving University: Disruptive Change and Institutional Innovation},
booktitle = {Proceedings of the 4th International Conference on Software Development
for Enhancing Accessibility and Fighting Info-exclusion, {DSAI} 2012,
Douro Region, Portugal, July 19-22, 2012},
series = {Procedia Computer Science},
volume = {14},
pages = {330--335},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.procs.2012.10.037},
doi = {10.1016/J.PROCS.2012.10.037},
timestamp = {Sat, 02 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/procedia/BakerBD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wise/DeMillo09,
author = {Richard A. DeMillo},
editor = {Gottfried Vossen and
Darrell D. E. Long and
Jeffrey Xu Yu},
title = {Blighted Virtual Neighborhoods and Other Threats to Online Social
Experiences},
booktitle = {Web Information Systems Engineering - {WISE} 2009, 10th International
Conference, Poznan, Poland, October 5-7, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5802},
pages = {1--2},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04409-0\_1},
doi = {10.1007/978-3-642-04409-0\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/wise/DeMillo09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joc/BonehDL01,
author = {Dan Boneh and
Richard A. DeMillo and
Richard J. Lipton},
title = {On the Importance of Eliminating Errors in Cryptographic Computations},
journal = {J. Cryptol.},
volume = {14},
number = {2},
pages = {101--119},
year = {2001},
url = {https://doi.org/10.1007/s001450010016},
doi = {10.1007/S001450010016},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joc/BonehDL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DeMillo00,
author = {Richard A. DeMillo},
editor = {John C. Knight and
David S. Rosenblum},
title = {Software development for next generation communication networks},
booktitle = {{ACM} {SIGSOFT} Symposium on Foundations of Software Engineering,
an Diego, California, USA, November 6-10, 2000, Proceedings},
pages = {1},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/355045.355047},
doi = {10.1145/355045.355047},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/DeMillo00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BasiliBBBBDFGLL99,
author = {Victor R. Basili and
Laszlo A. Belady and
Barry W. Boehm and
Frederick P. Brooks Jr. and
James Browne and
Richard A. DeMillo and
Stuart I. Feldman and
Cordell Green and
Butler W. Lampson and
Duncan H. Lawrie and
Nancy G. Leveson and
Nancy A. Lynch and
Mark D. Weiser and
Jeannette M. Wing},
title = {{NSF} workshop on a software research program for the 21st century},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {24},
number = {3},
pages = {37--44},
year = {1999},
url = {https://doi.org/10.1145/311963.311993},
doi = {10.1145/311963.311993},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/BasiliBBBBDFGLL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/DeMilloPS97,
author = {Richard A. DeMillo and
Hsin Pan and
Eugene H. Spafford},
title = {Failure and Fault Analysis for Software Debugging},
booktitle = {21st International Computer Software and Applications Conference {(COMPSAC}
'97), 11-15 August 1997, Washington, DC, {USA}},
pages = {515--521},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/CMPSAC.1997.625061},
doi = {10.1109/CMPSAC.1997.625061},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/DeMilloPS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocrypt/BonehDL97,
author = {Dan Boneh and
Richard A. DeMillo and
Richard J. Lipton},
editor = {Walter Fumy},
title = {On the Importance of Checking Cryptographic Protocols for Faults (Extended
Abstract)},
booktitle = {Advances in Cryptology - {EUROCRYPT} '97, International Conference
on the Theory and Application of Cryptographic Techniques, Konstanz,
Germany, May 11-15, 1997, Proceeding},
series = {Lecture Notes in Computer Science},
volume = {1233},
pages = {37--51},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-69053-0\_4},
doi = {10.1007/3-540-69053-0\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/eurocrypt/BonehDL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/DeMillo96,
author = {Richard A. DeMillo},
title = {Mission-Critical Applications, Commercial Value and Software Quality},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {204},
year = {1996},
url = {https://doi.org/10.1145/242224.242484},
doi = {10.1145/242224.242484},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/DeMillo96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DeMilloPS96,
author = {Richard A. DeMillo and
Hsin Pan and
Eugene H. Spafford},
editor = {Steve J. Zeil and
Will Tracz},
title = {Critical Slicing for Software Fault Localization},
booktitle = {Proceedings of the 1996 International Symposium on Software Testing
and Analysis, {ISSTA} 1996, San Diego, CA, USA, January 8-10, 1996},
pages = {121--134},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/229000.226310},
doi = {10.1145/229000.226310},
timestamp = {Thu, 03 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/DeMilloPS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DeMilloMW95,
author = {Richard A. DeMillo and
Aditya P. Mathur and
W. Eric Wong},
title = {Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities
of Test Methods},
journal = {{IEEE} Trans. Software Eng.},
volume = {21},
number = {10},
pages = {858--861},
year = {1995},
url = {https://doi.org/10.1109/32.469455},
doi = {10.1109/32.469455},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/DeMilloMW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/ApostolicoBBD95,
author = {Alberto Apostolico and
Gianfranco Bilardi and
Franco Bombi and
Richard A. DeMillo},
editor = {Philip S. Yu and
Arbee L. P. Chen},
title = {An International Masters in Software Engineering: Experience and Prospects},
booktitle = {Proceedings of the Eleventh International Conference on Data Engineering,
March 6-10, 1995, Taipei, Taiwan},
pages = {556--557},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICDE.1995.380349},
doi = {10.1109/ICDE.1995.380349},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/ApostolicoBBD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DeMillo94,
author = {Richard A. DeMillo},
title = {Introduction to the Special Section},
journal = {{IEEE} Trans. Software Eng.},
volume = {20},
number = {10},
pages = {749},
year = {1994},
url = {http://doi.ieeecomputersociety.org/10.1109/TSE.1994.10005},
doi = {10.1109/TSE.1994.10005},
timestamp = {Thu, 10 Dec 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/DeMillo94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/AgrawalDS93,
author = {Hiralal Agrawal and
Richard A. DeMillo and
Eugene H. Spafford},
title = {Debugging with Dynamic Slicing and Backtracking},
journal = {Softw. Pract. Exp.},
volume = {23},
number = {6},
pages = {589--616},
year = {1993},
url = {https://doi.org/10.1002/spe.4380230603},
doi = {10.1002/SPE.4380230603},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/AgrawalDS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/DemilloO93,
author = {Richard A. DeMillo and
A. Jefferson Offutt},
title = {Experimental Results from an Automatic Test Case Generator},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {2},
number = {2},
pages = {109--127},
year = {1993},
url = {https://doi.org/10.1145/151257.151258},
doi = {10.1145/151257.151258},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/DemilloO93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/1993,
editor = {Victor R. Basili and
Richard A. DeMillo and
Takuya Katayama},
title = {Proceedings of the 15th International Conference on Software Engineering,
Baltimore, Maryland, USA, May 17-21, 1993},
publisher = {{IEEE} Computer Society / {ACM} Press},
year = {1993},
url = {http://dl.acm.org/citation.cfm?id=257572},
isbn = {0-89791-588-7},
timestamp = {Mon, 14 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/AgrawalDS91,
author = {Hiralal Agrawal and
Richard A. DeMillo and
Eugene H. Spafford},
title = {An Execution-Backtracking Approach to Debugging},
journal = {{IEEE} Softw.},
volume = {8},
number = {3},
pages = {21--26},
year = {1991},
url = {https://doi.org/10.1109/52.88940},
doi = {10.1109/52.88940},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/AgrawalDS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DeMilloL91,
author = {Richard A. DeMillo and
Richard J. Lipton},
title = {Defining Software by Continuous, Smooth Functions},
journal = {{IEEE} Trans. Software Eng.},
volume = {17},
number = {4},
pages = {383--384},
year = {1991},
url = {https://doi.org/10.1109/32.90437},
doi = {10.1109/32.90437},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/DeMilloL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DeMilloO91,
author = {Richard A. DeMillo and
A. Jefferson Offutt},
title = {Constraint-Based Automatic Test Data Generation},
journal = {{IEEE} Trans. Software Eng.},
volume = {17},
number = {9},
pages = {900--910},
year = {1991},
url = {https://doi.org/10.1109/32.92910},
doi = {10.1109/32.92910},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/DeMilloO91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/DeMilloKM91,
author = {Richard A. DeMillo and
Edward W. Krauser and
Aditya P. Mathur},
title = {Compiler-integrated program mutation},
booktitle = {Proceedings of the Fifteenth Annual International Computer Software
and Applications Conference, {COMPSAC} 1991, Tokyo, Japan, 11-13 September,
1991},
pages = {351--356},
publisher = {{IEEE}},
year = {1991},
url = {https://doi.org/10.1109/CMPSAC.1991.170202},
doi = {10.1109/CMPSAC.1991.170202},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/compsac/DeMilloKM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DeMillo91,
author = {Richard A. DeMillo},
editor = {Les Belady and
David R. Barstow and
Koji Torii},
title = {Progress Toward Automated Software Testing},
booktitle = {Proceedings of the 13th International Conference on Software Engineering,
Austin, TX, USA, May 13-17, 1991},
pages = {180--183},
publisher = {{IEEE} Computer Society / {ACM} Press},
year = {1991},
url = {http://portal.acm.org/citation.cfm?id=256664.256752},
timestamp = {Mon, 14 May 2012 18:17:12 +0200},
biburl = {https://dblp.org/rec/conf/icse/DeMillo91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/AgrawalDS91,
author = {Hiralal Agrawal and
Richard A. DeMillo and
Eugene H. Spafford},
editor = {William E. Howden},
title = {Dynamic Slicing in the Presence of Unconstrained Pointers},
booktitle = {Proceedings of the Symposium on Testing, Analysis, and Verification,
{TAV} 1991, Victoria, British Columbia, Canada, October 8-10, 1991},
pages = {60--73},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/120807.120813},
doi = {10.1145/120807.120813},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/AgrawalDS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Demillo89,
author = {Richard A. DeMillo},
title = {Software testing for critical applications: a position paper},
booktitle = {Proceedings of the 13th Annual International Computer Software and
Applications Conference, {COMPSAC} 1989, Orlando, FL, USA, 20-22 September,
1989},
publisher = {{IEEE}},
year = {1989},
url = {https://doi.org/10.1109/CMPSAC.1989.65138},
doi = {10.1109/CMPSAC.1989.65138},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/compsac/Demillo89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DeMillo01,
author = {Richard A. DeMillo},
editor = {Larry E. Druffel and
Dick Fairley and
Dines Bj{\o}rner},
title = {Test Adequacy and Program Mutation},
booktitle = {Proceedings of the 11th International Conference on Software Engineering,
Pittsburg, PA, USA, May 15-18, 1989},
pages = {355--356},
publisher = {{IEEE} Computer Society / {ACM} Press},
year = {1989},
url = {https://doi.org/10.1145/74587.74634},
doi = {10.1145/74587.74634},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DeMillo01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/DeMilloDS88,
author = {Rich DeMillo and
Weimin Du and
Ryan Stansifer},
title = {An integrated software environment for reuse},
booktitle = {Proceedings of the Conference on TRI-Ada 1988, TRI-Ada 1988, Charleston,
West Virginia, USA, 1988},
pages = {186--197},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/76619.76626},
doi = {10.1145/76619.76626},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigada/DeMilloDS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0077989,
author = {Richard A. DeMillo and
W. Michael McCracken and
Rhonda J. Martin and
John F. Passafiume},
title = {Software testing and evaluation},
publisher = {Benjamin/Cummings},
year = {1987},
url = {http://dl.acm.org/citation.cfm?id=40689},
isbn = {978-0-8053-2535-5},
timestamp = {Mon, 29 Aug 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0077989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MartinD86,
author = {Edith W. Martin and
Richard A. DeMillo},
title = {Operational Survivability in Gracefully Degrading Distributed Processing
Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {6},
pages = {693--704},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312967},
doi = {10.1109/TSE.1986.6312967},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MartinD86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC16,
editor = {Richard A. DeMillo},
title = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
publisher = {{ACM}},
year = {1984},
timestamp = {Mon, 17 Oct 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/STOC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/DeMilloM83,
author = {Richard A. DeMillo and
Michael Merritt},
title = {Protocols for Data Security},
journal = {Computer},
volume = {16},
number = {2},
pages = {39--51},
year = {1983},
url = {https://doi.org/10.1109/MC.1983.1654298},
doi = {10.1109/MC.1983.1654298},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/DeMilloM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/DeMilloLM82,
author = {Richard A. DeMillo and
Nancy A. Lynch and
Michael Merritt},
editor = {Harry R. Lewis and
Barbara B. Simons and
Walter A. Burkhard and
Lawrence H. Landweber},
title = {Cryptographic Protocols},
booktitle = {Proceedings of the 14th Annual {ACM} Symposium on Theory of Computing,
May 5-7, 1982, San Francisco, California, {USA}},
pages = {383--400},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800070.802214},
doi = {10.1145/800070.802214},
timestamp = {Wed, 14 Nov 2018 10:51:38 +0100},
biburl = {https://dblp.org/rec/conf/stoc/DeMilloLM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/82,
editor = {Richard A. DeMillo},
title = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
publisher = {{ACM} Press},
year = {1982},
url = {http://dl.acm.org/citation.cfm?id=582153},
isbn = {0-89791-065-6},
timestamp = {Mon, 21 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/MilloLM81,
author = {Richard A. DeMillo and
Nancy A. Lynch and
Michael Merritt},
editor = {Allen Gersho},
title = {The Design and Analysis of Cryptographic Protocols},
booktitle = {Advances in Cryptology: {A} Report on {CRYPTO} 81, {CRYPTO} 81, {IEEE}
Workshop on Communications Security, Santa Barbara, California, USA,
August 24-26, 1981},
pages = {71--72},
publisher = {U. C. Santa Barbara, Dept. of Elec. and Computer Eng., {ECE} Report
No 82-04},
year = {1981},
timestamp = {Fri, 23 Dec 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/crypto/MilloLM81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/DavidaDL81,
author = {George I. Davida and
Richard A. DeMillo and
Richard J. Lipton},
title = {Multilevel Secure Distributed System},
booktitle = {Proceedings of the 2nd International Conference on Distributed Computing
Systems, Paris, France, 1981},
pages = {308--312},
publisher = {{IEEE} Computer Society},
year = {1981},
timestamp = {Thu, 22 Sep 2005 10:45:08 +0200},
biburl = {https://dblp.org/rec/conf/icdcs/DavidaDL81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/DeMilloEL80,
author = {Richard A. DeMillo and
Stanley C. Eisenstat and
Richard J. Lipton},
title = {Space-Time Trade-Offs in Structured Programming: An Improved Combinatorial
Embedding Theorem},
journal = {J. {ACM}},
volume = {27},
number = {1},
pages = {123--127},
year = {1980},
url = {https://doi.org/10.1145/322169.322180},
doi = {10.1145/322169.322180},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/DeMilloEL80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BuddDLS80,
author = {Timothy A. Budd and
Richard A. DeMillo and
Richard J. Lipton and
Frederick G. Sayward},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {Theoretical and Emperical Studies on Using Program Mutation to Test
the Functional Correctness of Programs},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {220--233},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567468},
doi = {10.1145/567446.567468},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BuddDLS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/DavidaDL80,
author = {George I. Davida and
Richard A. DeMillo and
Richard J. Lipton},
title = {Protecting Shared Cryptographic Keys},
booktitle = {Proceedings of the 1980 {IEEE} Symposium on Security and Privacy,
Oakland, California, USA, April 14-16, 1980},
pages = {100--102},
publisher = {{IEEE} Computer Society},
year = {1980},
url = {https://doi.org/10.1109/SP.1980.10011},
doi = {10.1109/SP.1980.10011},
timestamp = {Thu, 21 Sep 2023 15:57:32 +0200},
biburl = {https://dblp.org/rec/conf/sp/DavidaDL80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/DavidaDL80a,
author = {George I. Davida and
Richard A. DeMillo and
Richard J. Lipton},
title = {A System Architecture to Support a Verifiably Secure Multilevel Security
System},
booktitle = {Proceedings of the 1980 {IEEE} Symposium on Security and Privacy,
Oakland, California, USA, April 14-16, 1980},
pages = {137--144},
publisher = {{IEEE} Computer Society},
year = {1980},
url = {https://doi.org/10.1109/SP.1980.10007},
doi = {10.1109/SP.1980.10007},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sp/DavidaDL80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/DeMilloL80,
author = {Richard A. DeMillo and
Richard J. Lipton},
editor = {Raymond E. Miller and
Seymour Ginsburg and
Walter A. Burkhard and
Richard J. Lipton},
title = {The Consistency of "P = NP" and Related Problems with Fragments
of Number Theory},
booktitle = {Proceedings of the 12th Annual {ACM} Symposium on Theory of Computing,
April 28-30, 1980, Los Angeles, California, {USA}},
pages = {45--57},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800141.804652},
doi = {10.1145/800141.804652},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/DeMilloL80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/DeMilloLP79,
author = {Richard A. DeMillo and
Richard J. Lipton and
Alan J. Perlis},
title = {Social Processes and Proofs of Theorems and Programs},
journal = {Commun. {ACM}},
volume = {22},
number = {5},
pages = {271--280},
year = {1979},
url = {https://doi.org/10.1145/359104.359106},
doi = {10.1145/359104.359106},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/DeMilloLP79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/MilloM79,
author = {Richard A. DeMillo and
Raymond E. Miller},
title = {Implicit Computation of Synchronization Primitives},
journal = {Inf. Process. Lett.},
volume = {9},
number = {1},
pages = {35--38},
year = {1979},
url = {https://doi.org/10.1016/0020-0190(79)90105-4},
doi = {10.1016/0020-0190(79)90105-4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/MilloM79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/DeMilloL79,
author = {Richard A. DeMillo and
Richard J. Lipton},
title = {A Constructive Generalization of the Borel-Cantelli Lemma with Application
to the Complexity of Infinite Strings},
journal = {Math. Syst. Theory},
volume = {13},
pages = {95--104},
year = {1979},
url = {https://doi.org/10.1007/BF01744291},
doi = {10.1007/BF01744291},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/DeMilloL79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/DeMilloL79,
author = {Richard A. DeMillo and
Richard J. Lipton},
title = {Review of "Proofs and refutations: the logic of mathematical
discovery" by Imre Lakatos. Cambridge University Press 1976},
journal = {{SIGACT} News},
volume = {11},
number = {2},
pages = {7--9},
year = {1979},
url = {https://doi.org/10.1145/1008620.1008628},
doi = {10.1145/1008620.1008628},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/DeMilloL79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/DeMilloL79,
author = {Richard A. DeMillo and
Richard J. Lipton},
editor = {Michael J. Fischer and
Richard A. DeMillo and
Nancy A. Lynch and
Walter A. Burkhard and
Alfred V. Aho},
title = {Some Connections between Mathematical Logic and Complexity Theory},
booktitle = {Proceedings of the 11h Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1979, Atlanta, Georgia, {USA}},
pages = {153--159},
publisher = {{ACM}},
year = {1979},
url = {https://doi.org/10.1145/800135.804408},
doi = {10.1145/800135.804408},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/DeMilloL79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC11,
editor = {Michael J. Fischer and
Richard A. DeMillo and
Nancy A. Lynch and
Walter A. Burkhard and
Alfred V. Aho},
title = {Proceedings of the 11h Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1979, Atlanta, Georgia, {USA}},
publisher = {{ACM}},
year = {1979},
timestamp = {Mon, 17 Oct 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/STOC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/DeMilloEL78,
author = {Richard A. DeMillo and
Stanley C. Eisenstat and
Richard J. Lipton},
title = {Preserving Average Proximity in Arrays},
journal = {Commun. {ACM}},
volume = {21},
number = {3},
pages = {218--231},
year = {1978},
url = {https://doi.org/10.1145/359361.359447},
doi = {10.1145/359361.359447},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/DeMilloEL78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/DeMilloLS78,
author = {Richard A. DeMillo and
Richard J. Lipton and
Frederick G. Sayward},
title = {Hints on Test Data Selection: Help for the Practicing Programmer},
journal = {Computer},
volume = {11},
number = {4},
pages = {34--41},
year = {1978},
url = {https://doi.org/10.1109/C-M.1978.218136},
doi = {10.1109/C-M.1978.218136},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/DeMilloLS78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/DemilloL78,
author = {Richard A. DeMillo and
Richard J. Lipton},
title = {A Probabilistic Remark on Algebraic Program Testing},
journal = {Inf. Process. Lett.},
volume = {7},
number = {4},
pages = {193--195},
year = {1978},
url = {https://doi.org/10.1016/0020-0190(78)90067-4},
doi = {10.1016/0020-0190(78)90067-4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/DemilloL78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/DijkstraDLP78,
author = {Edsger W. Dijkstra and
Richard A. DeMillo and
Richard J. Lipton and
Alan J. Perlis},
title = {On a political pamphlet from the middle ages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {3},
number = {2},
pages = {14--16},
year = {1978},
url = {https://doi.org/10.1145/1005888.1005890},
doi = {10.1145/1005888.1005890},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/DijkstraDLP78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/DeMilloLP78,
author = {Richard A. DeMillo and
Richard J. Lipton and
Alan J. Perlis},
title = {Response from R. A. DeMillo, R. J. Lipton, A. J. Perlis},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {3},
number = {2},
pages = {16--17},
year = {1978},
url = {https://doi.org/10.1145/1005888.1005891},
doi = {10.1145/1005888.1005891},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/DeMilloLP78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DeMilloDL78,
author = {Richard A. DeMillo and
David P. Dobkin and
Richard J. Lipton},
title = {Even Data Bases That Lie Can Be Compromised},
journal = {{IEEE} Trans. Software Eng.},
volume = {4},
number = {1},
pages = {73--75},
year = {1978},
url = {https://doi.org/10.1109/TSE.1978.231469},
doi = {10.1109/TSE.1978.231469},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/DeMilloDL78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afips/BuddLDS78,
author = {Timothy A. Budd and
Richard J. Lipton and
Richard A. DeMillo and
Frederick G. Sayward},
editor = {Sakti P. Ghosh and
Leonard Y. Liu},
title = {The design of a prototype mutation system for program testing},
booktitle = {American Federation of Information Processing Societies: 1978 National
Computer Conference, June 5-8, 1978, Anaheim, CA, {USA}},
series = {{AFIPS} Conference Proceedings},
volume = {47},
pages = {623--629},
publisher = {{AFIPS} Press},
year = {1978},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/afips/BuddLDS78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/DeMilloD78,
author = {Richard A. DeMillo and
David P. Dobkin},
title = {Recent progress in secure computation},
booktitle = {The {IEEE} Computer Society's Second International Computer Software
and Applications Conference, {COMPSAC} 1978, 13-16 November, 1978,
Chicago, Illinois, {USA}},
pages = {209--214},
publisher = {{IEEE}},
year = {1978},
url = {https://doi.org/10.1109/CMPSAC.1978.810381},
doi = {10.1109/CMPSAC.1978.810381},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/compsac/DeMilloD78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/DeMillo78,
author = {Richard A. DeMillo},
editor = {Herbert Weber and
Anthony I. Wasserman},
title = {Database Security},
booktitle = {Issues in Data Base Management, Proceedings of the 4th {VLDB} (Material
from the Survey Sessions), September 13-15, 1978, West Berlin, Germany},
pages = {253--256},
publisher = {North-Holland},
year = {1978},
timestamp = {Thu, 02 Feb 2017 14:07:16 +0100},
biburl = {https://dblp.org/rec/conf/vldb/DeMillo78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BarnesDDLS77,
author = {Bruce H. Barnes and
George I. Davida and
Richard A. DeMillo and
Larry Landweber and
Harold S. Stone},
title = {Theory in the Computer Science and Engineering Curriculum: Why, What,
When, and Where},
journal = {Computer},
volume = {10},
number = {12},
pages = {106--108},
year = {1977},
url = {https://doi.org/10.1109/C-M.1977.217609},
doi = {10.1109/C-M.1977.217609},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BarnesDDLS77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/DeMilloVS77,
author = {Richard A. DeMillo and
K. Vairavan and
Ekaterini Sycara{-}Cyranski},
title = {A Study of Schedules as Models of Synchronous Parallel Computation},
journal = {J. {ACM}},
volume = {24},
number = {4},
pages = {544--565},
year = {1977},
url = {https://doi.org/10.1145/322033.322035},
doi = {10.1145/322033.322035},
timestamp = {Sat, 20 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/DeMilloVS77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/DeMillo77,
author = {Richard A. DeMillo},
title = {Some applications of model theory to the metatheory of program schemata},
journal = {Notre Dame J. Formal Log.},
volume = {18},
number = {3},
pages = {489--495},
year = {1977},
url = {https://doi.org/10.1305/ndjfl/1093888024},
doi = {10.1305/NDJFL/1093888024},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/DeMillo77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DeMilloLP77,
author = {Richard A. DeMillo and
Richard J. Lipton and
Alan J. Perlis},
editor = {Robert M. Graham and
Michael A. Harrison and
Ravi Sethi},
title = {Social Processes and Proofs of Theorems and Programs},
booktitle = {Conference Record of the Fourth {ACM} Symposium on Principles of Programming
Languages, Los Angeles, California, USA, January 1977},
pages = {206--214},
publisher = {{ACM}},
year = {1977},
url = {https://doi.org/10.1145/512950.512970},
doi = {10.1145/512950.512970},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/DeMilloLP77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/LiptonED76,
author = {Richard J. Lipton and
Stanley C. Eisenstat and
Richard A. DeMillo},
title = {Space and Time Hierarchies for Classes of Control Structures and Data
Structures},
journal = {J. {ACM}},
volume = {23},
number = {4},
pages = {720--732},
year = {1976},
url = {https://doi.org/10.1145/321978.321990},
doi = {10.1145/321978.321990},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/LiptonED76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/DeMilloEL76,
author = {Richard A. DeMillo and
Stanley C. Eisenstat and
Richard J. Lipton},
title = {Can structured programs be efficient?},
journal = {{ACM} {SIGPLAN} Notices},
volume = {11},
number = {10},
pages = {10--18},
year = {1976},
url = {https://doi.org/10.1145/956020.956021},
doi = {10.1145/956020.956021},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/DeMilloEL76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/VairavanD76,
author = {K. Vairavan and
Richard A. DeMillo},
title = {On the Computational Complexity of a Generalized Scheduling Problem},
journal = {{IEEE} Trans. Computers},
volume = {25},
number = {11},
pages = {1967--1073},
year = {1976},
url = {https://doi.org/10.1109/TC.1976.1674556},
doi = {10.1109/TC.1976.1674556},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/VairavanD76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/DeMillo75,
author = {Richard A. DeMillo},
title = {Non-definability of certain semantic properties of programs},
journal = {Notre Dame J. Formal Log.},
volume = {16},
number = {4},
pages = {583--590},
year = {1975},
url = {https://doi.org/10.1305/ndjfl/1093891904},
doi = {10.1305/NDJFL/1093891904},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/DeMillo75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/LiptonED75,
author = {Richard J. Lipton and
Stanley C. Eisenstat and
Richard A. DeMillo},
editor = {William C. Rounds and
Nancy Martin and
Jack W. Carlyle and
Michael A. Harrison},
title = {The Complexity of Control Structures and Data Structures},
booktitle = {Proceedings of the 7th Annual {ACM} Symposium on Theory of Computing,
May 5-7, 1975, Albuquerque, New Mexico, {USA}},
pages = {186--193},
publisher = {{ACM}},
year = {1975},
url = {https://doi.org/10.1145/800116.803768},
doi = {10.1145/800116.803768},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/LiptonED75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/VairavanD74,
author = {K. Vairavan and
Richard A. DeMillo},
editor = {Robert L. Constable and
Robert W. Ritchie and
Jack W. Carlyle and
Michael A. Harrison},
title = {Parallel Scheduling of Programs in a Restricted Model of Computation},
booktitle = {Proceedings of the 6th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1974, Seattle, Washington, {USA}},
pages = {248--255},
publisher = {{ACM}},
year = {1974},
url = {https://doi.org/10.1145/800119.803902},
doi = {10.1145/800119.803902},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/VairavanD74.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 02:17 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:
