Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: James B. Saxe
@article{DBLP:journals/sigplan/FlanaganLLNSS13,
author = {Cormac Flanagan and
K. Rustan M. Leino and
Mark Lillibridge and
Greg Nelson and
James B. Saxe and
Raymie Stata},
title = {{PLDI} 2002: Extended static checking for Java},
journal = {{ACM} {SIGPLAN} Notices},
volume = {48},
number = {4S},
pages = {22--33},
year = {2013},
url = {https://doi.org/10.1145/2502508.2502520},
doi = {10.1145/2502508.2502520},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/FlanaganLLNSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/DetlefsNS05,
author = {David Detlefs and
Greg Nelson and
James B. Saxe},
title = {Simplify: a theorem prover for program checking},
journal = {J. {ACM}},
volume = {52},
number = {3},
pages = {365--473},
year = {2005},
url = {https://doi.org/10.1145/1066100.1066102},
doi = {10.1145/1066100.1066102},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/DetlefsNS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LeinoMS05,
author = {K. Rustan M. Leino and
Todd D. Millstein and
James B. Saxe},
title = {Generating error traces from verification-condition counterexamples},
journal = {Sci. Comput. Program.},
volume = {55},
number = {1-3},
pages = {209--226},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2004.05.016},
doi = {10.1016/J.SCICO.2004.05.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/LeinoMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FlanaganJOS03,
author = {Cormac Flanagan and
Rajeev Joshi and
Xinming Ou and
James B. Saxe},
editor = {Warren A. Hunt Jr. and
Fabio Somenzi},
title = {Theorem Proving Using Lazy Proof Explication},
booktitle = {Computer Aided Verification, 15th International Conference, {CAV}
2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2725},
pages = {355--367},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45069-6\_34},
doi = {10.1007/978-3-540-45069-6\_34},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/FlanaganJOS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FlanaganLLNSS02,
author = {Cormac Flanagan and
K. Rustan M. Leino and
Mark Lillibridge and
Greg Nelson and
James B. Saxe and
Raymie Stata},
editor = {Jens Knoop and
Laurie J. Hendren},
title = {Extended Static Checking for Java},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation (PLDI), Berlin, Germany, June 17-19,
2002},
pages = {234--245},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/512529.512558},
doi = {10.1145/512529.512558},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/FlanaganLLNSS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FlanaganS01,
author = {Cormac Flanagan and
James B. Saxe},
editor = {Chris Hankin and
Dave Schmidt},
title = {Avoiding exponential explosion: generating compact verification conditions},
booktitle = {Conference Record of {POPL} 2001: The 28th {ACM} {SIGPLAN-SIGACT}
Symposium on Principles of Programming Languages, London, UK, January
17-19, 2001},
pages = {193--205},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/360204.360220},
doi = {10.1145/360204.360220},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/popl/FlanaganS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/McMillanQS00,
author = {Kenneth L. McMillan and
Shaz Qadeer and
James B. Saxe},
editor = {E. Allen Emerson and
A. Prasad Sistla},
title = {Induction in Compositional Model Checking},
booktitle = {Computer Aided Verification, 12th International Conference, {CAV}
2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1855},
pages = {312--327},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722167\_25},
doi = {10.1007/10722167\_25},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/McMillanQS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/LeinoSS99,
author = {K. Rustan M. Leino and
James B. Saxe and
Raymie Stata},
editor = {Ana M. D. Moreira and
Serge Demeyer},
title = {Checking Java Programs via Guarded Commands},
booktitle = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1743},
pages = {110--111},
publisher = {Springer},
year = {1999},
timestamp = {Mon, 15 Jun 2020 17:08:35 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/LeinoSS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/GaoGKLS93,
author = {Feng Gao and
Leonidas J. Guibas and
David G. Kirkpatrick and
William T. Laaser and
James B. Saxe},
title = {Finding Extrema with Unary Predicates},
journal = {Algorithmica},
volume = {9},
number = {6},
pages = {591--600},
year = {1993},
url = {https://doi.org/10.1007/BF01190157},
doi = {10.1007/BF01190157},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/GaoGKLS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/SaxeHGG93,
author = {James B. Saxe and
James J. Horning and
John V. Guttag and
Stephen J. Garland},
title = {Using Transformations and Verification in Circuit Design},
journal = {Formal Methods Syst. Des.},
volume = {3},
number = {3},
pages = {181--209},
year = {1993},
url = {https://doi.org/10.1007/BF01384073},
doi = {10.1007/BF01384073},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/SaxeHGG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/AndersonOST93,
author = {Thomas E. Anderson and
Susan S. Owicki and
James B. Saxe and
Charles P. Thacker},
title = {High Speed Switch Scheduling for Local Area Networks},
journal = {{ACM} Trans. Comput. Syst.},
volume = {11},
number = {4},
pages = {319--352},
year = {1993},
url = {https://doi.org/10.1145/161541.161736},
doi = {10.1145/161541.161736},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/AndersonOST93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/AndersonOST92,
author = {Thomas E. Anderson and
Susan S. Owicki and
James B. Saxe and
Charles P. Thacker},
editor = {Barry Flahive and
Richard L. Wexelblat},
title = {High Speed Switch Scheduling for Local Area Networks},
booktitle = {{ASPLOS-V} Proceedings - Fifth International Conference on Architectural
Support for Programming Languages and Operating Systems, Boston, Massachusetts,
USA, October 12-15, 1992},
pages = {98--110},
publisher = {{ACM} Press},
year = {1992},
url = {https://doi.org/10.1145/143365.143495},
doi = {10.1145/143365.143495},
timestamp = {Wed, 07 Jul 2021 13:23:09 +0200},
biburl = {https://dblp.org/rec/conf/asplos/AndersonOST92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-2/SaxeGGH92,
author = {James B. Saxe and
Stephen J. Garland and
John V. Guttag and
James J. Horning},
editor = {J{\o}rgen Staunstrup and
Robin Sharp},
title = {Using Transformations and Verification in Ciruit Design},
booktitle = {Designing Correct Circuits, Proceedings of the Second {IFIP} {WG10.2/WG10.5}
Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January
1992},
series = {{IFIP} Transactions},
volume = {{A-5}},
pages = {1--25},
publisher = {North-Holland},
year = {1992},
timestamp = {Tue, 19 Feb 2002 13:35:53 +0100},
biburl = {https://dblp.org/rec/conf/ifip10-2/SaxeGGH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/larch/SaxeGHG92,
author = {James B. Saxe and
John V. Guttag and
James J. Horning and
Stephen J. Garland},
editor = {Ursula Martin and
Jeannette M. Wing},
title = {Using Transformations and Verification in Circuit Design},
booktitle = {First International Workshop on Larch, Proceedings of the first First
International Workshop on Larch, Dedham, Massachusetts, USA, 13-15
July 1992},
series = {Workshops in Computing},
pages = {201--226},
publisher = {Springer},
year = {1992},
timestamp = {Thu, 20 Feb 2003 11:29:44 +0100},
biburl = {https://dblp.org/rec/conf/larch/SaxeGHG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/LeisersonS91,
author = {Charles E. Leiserson and
James B. Saxe},
title = {Retiming Synchronous Circuitry},
journal = {Algorithmica},
volume = {6},
number = {1},
pages = {5--35},
year = {1991},
url = {https://doi.org/10.1007/BF01759032},
doi = {10.1007/BF01759032},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/LeisersonS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dcg/AggarwalGSS89,
author = {Alok Aggarwal and
Leonidas J. Guibas and
James B. Saxe and
Peter W. Shor},
title = {A Linear-Time Algorithm for Computing the Voronoi Diagram of a Convex
Polygon},
journal = {Discret. Comput. Geom.},
volume = {4},
pages = {591--604},
year = {1989},
url = {https://doi.org/10.1007/BF02187749},
doi = {10.1007/BF02187749},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dcg/AggarwalGSS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/LeisersonS88,
author = {Charles E. Leiserson and
James B. Saxe},
title = {A Mixed-Integer Linear Programming Problem which is Efficiently Solvable},
journal = {J. Algorithms},
volume = {9},
number = {1},
pages = {114--128},
year = {1988},
url = {https://doi.org/10.1016/0196-6774(88)90008-9},
doi = {10.1016/0196-6774(88)90008-9},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jal/LeisersonS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/AggarwalGSS87,
author = {Alok Aggarwal and
Leonidas J. Guibas and
James B. Saxe and
Peter W. Shor},
editor = {Alfred V. Aho},
title = {A Linear Time Algorithm for Computing the Voronoi Diagram of a Convex
Polygon},
booktitle = {Proceedings of the 19th Annual {ACM} Symposium on Theory of Computing,
1987, New York, New York, {USA}},
pages = {39--45},
publisher = {{ACM}},
year = {1987},
url = {https://doi.org/10.1145/28395.28400},
doi = {10.1145/28395.28400},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/AggarwalGSS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/FurstSS84,
author = {Merrick L. Furst and
James B. Saxe and
Michael Sipser},
title = {Parity, Circuits, and the Polynomial-Time Hierarchy},
journal = {Math. Syst. Theory},
volume = {17},
number = {1},
pages = {13--27},
year = {1984},
url = {https://doi.org/10.1007/BF01744431},
doi = {10.1007/BF01744431},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/FurstSS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/DurhamLS83,
author = {Ivor Durham and
David Alex Lamb and
James B. Saxe},
title = {Spelling Correction in User Interfaces},
journal = {Commun. {ACM}},
volume = {26},
number = {10},
pages = {764--773},
year = {1983},
url = {https://doi.org/10.1145/358413.358426},
doi = {10.1145/358413.358426},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/DurhamLS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/LeisersonS81,
author = {Charles E. Leiserson and
James B. Saxe},
title = {Optimizing Synchronous Systems},
booktitle = {22nd Annual Symposium on Foundations of Computer Science, Nashville,
Tennessee, USA, 28-30 October 1981},
pages = {23--36},
publisher = {{IEEE} Computer Society},
year = {1981},
url = {https://doi.org/10.1109/SFCS.1981.34},
doi = {10.1109/SFCS.1981.34},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/LeisersonS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/FurstSS81,
author = {Merrick L. Furst and
James B. Saxe and
Michael Sipser},
title = {Parity, Circuits, and the Polynomial-Time Hierarchy},
booktitle = {22nd Annual Symposium on Foundations of Computer Science, Nashville,
Tennessee, USA, 28-30 October 1981},
pages = {260--270},
publisher = {{IEEE} Computer Society},
year = {1981},
url = {https://doi.org/10.1109/SFCS.1981.35},
doi = {10.1109/SFCS.1981.35},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/FurstSS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/BentleyS80,
author = {Jon Louis Bentley and
James B. Saxe},
title = {Decomposable Searching Problems {I:} Static-to-Dynamic Transformation},
journal = {J. Algorithms},
volume = {1},
number = {4},
pages = {301--358},
year = {1980},
url = {https://doi.org/10.1016/0196-6774(80)90015-2},
doi = {10.1016/0196-6774(80)90015-2},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jal/BentleyS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siammax/Saxe80,
author = {James B. Saxe},
title = {Dynamic-Programming Algorithms for Recognizing Small-Bandwidth Graphs
in Polynomial Time},
journal = {{SIAM} J. Algebraic Discret. Methods},
volume = {1},
number = {4},
pages = {363--369},
year = {1980},
url = {https://doi.org/10.1137/0601042},
doi = {10.1137/0601042},
timestamp = {Thu, 15 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siammax/Saxe80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/BentleyHS80,
author = {Jon Louis Bentley and
Dorothea Haken and
James B. Saxe},
title = {A general method for solving divide-and-conquer recurrences},
journal = {{SIGACT} News},
volume = {12},
number = {3},
pages = {36--44},
year = {1980},
url = {https://doi.org/10.1145/1008861.1008865},
doi = {10.1145/1008861.1008865},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/BentleyHS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toms/BentleyS80,
author = {Jon Louis Bentley and
James B. Saxe},
title = {Generating Sorted Lists of Random Numbers},
journal = {{ACM} Trans. Math. Softw.},
volume = {6},
number = {3},
pages = {359--364},
year = {1980},
url = {https://doi.org/10.1145/355900.355907},
doi = {10.1145/355900.355907},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toms/BentleyS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/Saxe79,
author = {James B. Saxe},
title = {On the number of range queries in k-space},
journal = {Discret. Appl. Math.},
volume = {1},
number = {3},
pages = {217--225},
year = {1979},
url = {https://doi.org/10.1016/0166-218X(79)90045-3},
doi = {10.1016/0166-218X(79)90045-3},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/Saxe79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/BentleyS79,
author = {Jon Louis Bentley and
James B. Saxe},
title = {Algorithms on vector sets},
journal = {{SIGACT} News},
volume = {11},
number = {2},
pages = {36--39},
year = {1979},
url = {https://doi.org/10.1145/1008620.1008624},
doi = {10.1145/1008620.1008624},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/BentleyS79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/SaxeB79,
author = {James B. Saxe and
Jon Louis Bentley},
title = {Transforming Static Data Structures to Dynamic Structures (Abridged
Version)},
booktitle = {20th Annual Symposium on Foundations of Computer Science, San Juan,
Puerto Rico, 29-31 October 1979},
pages = {148--168},
publisher = {{IEEE} Computer Society},
year = {1979},
url = {https://doi.org/10.1109/SFCS.1979.47},
doi = {10.1109/SFCS.1979.47},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/SaxeB79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-27 22:44 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:
