default search action
BibTeX 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} }
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.