journals/software/Feord97:::Michael Feord:::Toolbox: Testing for Millennium Risk Management.
journals/software/Milicev02:::Dragan Milicev:::Domain Mapping Using Extended UML Object Diagrams.
journals/software/BowenS00:::Thomas F. Bowen::Mark E. Segal:::Remediation of Application-Specific Security Vulnerabilities at Runtime.
journals/software/Dakin95a:::Karl Dakin:::What's New? Tracing the Origin of Species.
journals/software/Dakin95c:::Karl Dakin:::Capitalizing On Multiple Market Opportunities.
journals/software/Dakin95d:::Karl Dakin:::Establishing A Fair Price For Software.
journals/software/Dakin96d:::Karl Dakin:::Legal Implications of Blown Schedules.
journals/software/McLaughlin03:::Laurianne McLaughlin:::After ElcomSoft: DMCA Still Worries Developers, Researchers.
journals/software/Jeffries97:::Robin Jeffries:::Interface: Designing Interfaces for Programmers.
journals/software/Meyer85:::Bertrand Meyer:::On Formalism in Specifications.
journals/software/Meyer87:::Bertrand Meyer:::Reusability: The Case for Object-Oriented Design.
journals/software/RothermelE03:::Gregg Rothermel::Sebastian G. Elbaum:::Putting Your Best Tests Forward.
journals/software/TuckerB02:::Allen B. Tucker::Barry W. Boehm:::Point/Counterpoint: On the Balance between Theory and Practice / Software Engineering Is a Value-Based Contact Sport.
journals/software/Gerhart90:::Susan L. Gerhart:::Applications of Formal Methods: Develoment Virtuoso Software - Guest Editor's Introduction.
journals/software/TianP98:::Jeff Tian::Joe Palma:::Analyzing and Improving Reliability: A Tree-Based Approach.
journals/software/Reifer00a:::Donald J. Reifer:::Manager - Requirements Management: The Search for Nirvana.
journals/software/Reifer02a:::Donald J. Reifer:::A Little Bit of Knowledge Is a Dangerous Thing.
journals/software/Reifer03a:::Donald J. Reifer:::Is the Software Engineering State of the Practice Getting Closer to the State of the Art?
journals/software/Alexander01:::Roger T. Alexander:::Improving the Quality of Object-Oriented Programs.
journals/software/LutzL03:::Michael H. Lutz::Phillip A. Laplante:::C# and the .NET Framework: Ready for Real Time?
journals/software/Thayer03a:::Richard H. Thayer:::Software Engineering Glossary.
journals/software/BerzinsL90:::Valdis Berzins::Luqi:::An Introduction to the Specification Language Spec.
journals/software/Puerta97:::Angel R. Puerta:::A Model-Based Interface Development Environment.
journals/software/GradyS94:::Robert B. Grady::Tom Van Slack:::Key Lessons in Achieving Widespread Inspection Use.
journals/software/Oshana98:::Robert Oshana:::Tailoring Cleanroom for Industrial Use.
journals/software/Davis95b:::Alan M. Davis:::Tomorrow's Blacksmiths?
journals/software/Davis96c:::Alan M. Davis:::What's Practical.
journals/software/Periyasamy95:::Kasilingam Periyasamy:::Apples and Oranges Are Both Fruit.
journals/software/Hohmann99:::Luke Hohmann:::Manager - Coaching the Rookie Manager.
journals/software/Jensen94:::Dick Jensen:::Adventures in Embedded Development.
journals/software/KanerL97:::Cem Kaner::Brian Lawrence:::Softlaw: UCC Changes Pose Problems for Developers.
journals/software/MusaA89:::John D. Musa::A. Frank Ackerman:::Quantifying Software Validation: When to Stop Testing?
journals/software/Humphrey95:::Watts S. Humphrey:::Making Process Improvement Personal.
journals/software/LarsenFB96:::Peter Gorm Larsen::John S. Fitzgerald::T. M. Brookes:::Applying Formal Specification in Industry.
journals/software/FayadHRK93:::Mohamed Fayad::Louis J. Hawn::Mark A. Roberts::Jerry R. Klatt:::Using the Shlaer-Mellor Object-Oriented Analysis Method.
journals/software/Jackman98:::Michele Jackman:::Homeopathic Remedies for Team Toxicity.
journals/software/Offutt02:::A. Jefferson Offutt:::Quality Attributes of Web Software Applications.
journals/software/Fowler02a:::Martin Fowler:::Yet Another Optimization Article.
journals/software/Fowler03c:::Martin Fowler:::Data Access Routines.
journals/software/MartinC94:::Robert L. Martin::Carl K. Chang:::How to Solve the Management Crisis?
journals/software/Oates98:::Joe Oates:::Toolbox: Evaluating Data Warehouse Toolkits.
journals/software/Jackson99:::Michael Jackson:::Specializing in Software Engineering.
journals/software/Myers02:::Ware Myers:::Ivar Jacobson: Shaping Software Development.
journals/software/Glass01a:::Robert L. Glass:::A Story about the Creativity Involved in Software Work.
journals/software/Glass01b:::Robert L. Glass:::Extreme Programming: The Good, the Bad, and the Bottom Line.
journals/software/Glass02a:::Robert L. Glass:::The Naturalness of Object Orientation: Beating a Dead Horse?
journals/software/Glass02c:::Robert L. Glass:::Project Retrospectives, and Why They Never Happen.
journals/software/Glass98b:::Robert L. Glass:::Reuse: What's Wrong with This Picture?
journals/software/Glass98d:::Robert L. Glass:::Maintenance: Less Is Not More.
journals/software/Glass99b:::Robert L. Glass:::Loyal Opposition - A Snapshot of Systems Development Practice.
journals/software/Vardi88:::Moshe Y. Vardi:::The Universal-Relation Data Model for Logic Independence.
journals/software/Goth02b:::Greg Goth:::Will the Cyber-UL Concept Take Hold?
journals/software/Mackey00:::Karen Mackey:::Culture at Work Mars versus Venus.
journals/software/Mackey98:::Karen Mackey:::Culture At Work: Beyond Dilbert - Creating Cultures that Work.
journals/software/Zanger94:::Larry M. Zanger:::Speculating on This Year's Issues.
journals/software/KitchenhamPP95:::Barbara Kitchenham::Lesley Pickard::Shari Lawrence Pfleeger:::Case Studies for Method and Tool Evaluation.
journals/software/CowanMAMYCS02:::Robert David Cowan::Ali Mili::Hany H. Ammar::Alan McKendall Jr.::Lin Yang::Dapeng Chen::Terry Spencer:::Software Engineering Technology Watch.
journals/software/Funka-LeaKMR91:::Cynthia A. Funka-Lea::Tasos D. Kontogiorgos::Robert J. T. Morris::Larry D. Rubin:::Interactive Visual Modeling for Performance.
journals/compsec/Hinde00:::Stephen Hinde:::New Millennium, Old Failures.
journals/compsec/ChoP03:::Sung-Bae Cho::Hyuk-Jang Park:::Efficient anomaly detection by modeling privilege flows using hidden Markov model.
journals/compsec/Hancock00b:::Bill Hancock:::Microsoft Releases New IIS Security Tool.
journals/compsec/Hancock01a:::Bill Hancock:::Voodoo is Alive and Well on Your Computer.
journals/compsec/Hancock00s:::Bill Hancock:::Wireless Big Brother.
journals/compsec/Hancock00v:::Bill Hancock:::Getting the Laws to Help Combat Cybercrime (There's a grand idea).
journals/compsec/Hancock01n:::Bill Hancock:::A Practical Risk.
journals/compsec/Hancock01o:::Bill Hancock:::Security Views.
journals/compsec/PeyravianMRZ00b:::Mohammad Peyravian::Stephen M. Matyas::Allen Roginsky::Nevenko Zunic:::Ticket and Challenge-Based Protocols for Timestamping.
journals/compsec/ClaessensDCPV02:::Joris Claessens::Valentin Dem::Danny De Cock::Bart Preneel::Joos Vandewalle:::On the Security of Today's Online Electronic Banking Systems.
journals/compsec/Hinde00d:::Stephen Hinde:::Fireworks, Beer and Old Halfpennies - The Risks of Assumption.
journals/compsec/Hinde01c:::Stephen Hinde:::The Weakest Link.
journals/compsec/David03:::Jon David:::Security in a Flash.
journals/compsec/Gritzali02:::Dimitris Gritzali:::Principles and requirements for a secure e-voting system.
journals/compsec/SmithE02:::Elmé Smith::Jan H. P. Eloff:::A Prototype for Assessing Information Technology Risks in Health Care.
journals/compsec/BiskupB88:::Joachim Biskup::Hans Hermann Brüggemann:::The Personal Model of Data: Towards a Privacy-Oriented Information System.
journals/compsec/HancockV00r:::Bill Hancock:::Is a Convicted Hacker Really Reformed and Should You Hire Them?
journals/compsec/HancockV00v:::Bill Hancock:::GeoCities Ordered to Report on Information Poste.
journals/compsec/HancockX00j:::Bill Hancock:::US Pentagon Defense Messaging System Shows Deficiencies in Security.
journals/compsec/HancockX00r:::Bill Hancock:::Cyberpatrol Reverse Engineering: Round 2.
journals/compsec/HancockX00w:::Bill Hancock:::Another Insider Job on Wall Stree.
journals/compsec/HancockY00u:::Bill Hancock:::Cyberstalking on the Rise.
journals/compsec/HancockZ00c:::Bill Hancock:::Software Scam - 17 Indicted.
journals/compsec/HancockZ00v:::Bill Hancock:::Speedy Response Yields Success at DOE.
journals/compsec/HancockZ00x:::Bill Hancock:::Who's to Blame?
journals/compsec/MagklarasF02:::G. Magklaras::Steven Furnell:::Insider Threat Prediction Tool: Evaluating the probability of IT misuse.
journals/compsec/Armstrong02:::Andrew Armstrong:::Bugbear.
journals/compsec/WilliamsZ00:::Chuck Williams::Nevenko Zunic:::Global Interoperability for Key Recovery.
journals/compsec/ChienJT02:::Hung-Yu Chien::Jinn-ke Jan::Yuh-Min Tseng:::An Efficient and Practical Solution to Remote Authentication: Smart Card.
journals/compsec/Bequai00a:::August Bequai:::America's Internet Commerce and The Threat of Fraud.
journals/compsec/ChangL03:::Chin-Chen Chang::Yeu-Pong Lai:::A flexible date-attachment scheme on e-cash.
journals/siamcomp/Papadimitriou92:::Christos H. Papadimitriou:::The Complexity of the Lin-Kernighan Heuristic for the Traveling Salesman Problem.
journals/siamcomp/FriedmanHS96:::J. Friedman::John Hershberger::Jack Snoeyink:::Efficiently Planning Compliant Motion in the Plane.
journals/siamcomp/LefmannS02:::Hanno Lefmann::Niels Schmitt:::A Deterministic Polynomial-Time Algorithm for Heilbronn's Problem in Three Dimensions.
journals/siamcomp/HeathPT99:::Lenwood S. Heath::Sriram V. Pemmaraju::Ann N. Trenk:::Stack and Queue Layouts of Directed Acyclic Graphs: Part I.
journals/siamcomp/BrazilTW00:::M. Brazil::D. A. Thomas::J. F. Weng:::Minimum Networks in Uniform Orientation Metrics.
journals/siamcomp/CaiC97:::Liming Cai::Jianer Chen:::On the Amount of Nondeterminism and the Power of Verifying.
journals/siamcomp/McKenzieC87:::Pierre McKenzie::Stephen A. Cook:::The Parallel Complexity of Abelian Permutation Group Problems.
journals/siamcomp/Azar92:::Yossi Azar:::Lower Bounds for Threshold and Symmetric Functions in Parallel Computation.
journals/siamcomp/Gallier84a:::Jean H. Gallier:::n-Rational Algebras II. Varieties and Logic of Inequalities.
journals/siamcomp/Chan00:::Timothy M. Chan:::Random Sampling, Halfspace Range Reporting, and Construction of (&lt;= k)-Levels in Three Dimensions.
journals/siamcomp/BertschN99:::Eberhard Bertsch::Mark-Jan Nederhof:::Regular Closure of Deterministic Languages.
journals/siamcomp/Perlman74:::David M. Perlman:::Isomorph Rejection on Power Sets.
journals/siamcomp/FischerMP82:::Michael J. Fischer::Albert R. Meyer::Mike Paterson:::Omega(n log n) Lower Bounds on Length of Boolean Formulas.
journals/siamcomp/Babai80:::László Babai:::On the Complexity of Canonical Labeling of Strongly Regular Graphs.
journals/siamcomp/Cole88:::Richard Cole:::Parallel Merge Sort.
journals/siamcomp/Cole93:::Richard Cole:::Correction: Parallel Merge Sort.
journals/siamcomp/ChenKT00:::Danny Z. Chen::Kevin S. Klenk::Hung-Yi Tu:::Shortest Path Queries Among Weighted Obstacles in the Rectilinear Plane.
journals/siamcomp/Immerman89:::Neil Immerman:::Expressibility and Parallel Complexity.
journals/siamcomp/GoldsmithHJY91:::Judy Goldsmith::Lane A. Hemachandra::Deborah Joseph::Paul Young:::Near-Testable Sets.
journals/siamcomp/SingerSC85:::Michael F. Singer::B. David Saunders::B. F. Caviness:::An Extension of Liouville's Theorem on Integration in Finite Terms.
journals/siamcomp/Dyer91:::Martin E. Dyer:::On Counting Lattice Points in Polyhedra.
journals/siamcomp/HofriT82:::Micha Hofri::Percy Tzelnic:::The Working Set Size Distribution for the Markov Chain Model of Program Behavior.
journals/siamcomp/Vikas02:::Narayan Vikas:::Computational Complexity of Compaction to Reflexive Cycles.
journals/siamcomp/KratochvilST93:::Jan Kratochvíl::Petr Savický::Zsolt Tuza:::One More Occurrence of Variables Makes Satisfiability Jump From Trivial to NP-Complete.
journals/siamcomp/RheeT89d:::Wansoo T. Rhee::Michel Talagrand:::The Complete Convergence of First Fit Decreasing.
journals/siamcomp/ArLRS98:::Sigal Ar::Richard J. Lipton::Ronitt Rubinfeld::Madhu Sudan:::Reconstructing Algebraic Functions from Mixed Data.
journals/siamcomp/Lempel75:::Abraham Lempel:::Matrix Factorization Over GF(2) and Trace-Orthogonal Bases of GF(2^n).
journals/siamcomp/Cam03:::Hasan Çam:::Rearrangeability of (2n-1)-Stage Shuffle-Exchange Networks.
journals/siamcomp/KarzanovM97:::Alexander V. Karzanov::S. Thomas McCormick:::Polynomial Methods for Separable Convex Optimization in Unimodular Linear Spaces with Applications.
journals/siamcomp/Kao93:::Ming-Yang Kao:::Linear-Processor NC Algorithms for Planar Directed Graphs I: Strongly Connected Components.
journals/siamcomp/Kao97:::Ming-Yang Kao:::Total Protection of Analytic-Invariant Information in Cross-Tabulated Tables.
journals/siamcomp/Kim97:::Sam M. Kim:::Computational Modeling for Genetic Splicing Systems.
journals/siamcomp/LiC90:::Keqin Li::Kam-Hoi Cheng:::On Three-Dimensional Packing.
journals/siamcomp/Bertram-KretzbergHL00:::Claudia Bertram-Kretzberg::Thomas Hofmeister::Hanno Lefmann:::An Algorithm for Heilbronn's Problem.
journals/siamcomp/WangT79:::Paul S. Wang::Barry M. Trager:::New Algorithms for Polynomial Square-Free Decomposition Over the Integers.
journals/siamcomp/ManberM93:::Udi Manber::Eugene W. Myers:::Suffix Arrays: A New Method for On-Line String Searches.
journals/siamcomp/Ben-AsherFN99:::Yosi Ben-Asher::Eitan Farchi::Ilan Newman:::Optimal Search in Trees.
journals/siamcomp/Valiant86:::Leslie G. Valiant:::Negation is Powerless for Boolean Slice Functions.
journals/siamcomp/BrunoD78:::John L. Bruno::Peter J. Downey:::Complexity of Task Sequencing with Deadlines, Set-Up Times and Changeover Costs.
journals/siamcomp/Yun79:::David Y. Y. Yun:::Uniform Bounds for a Class of Algebraic Mappings.
journals/siamcomp/KannanW95:::Sampath Kannan::Tandy Warnow:::Tree Reconstruction from Partial Orders.
journals/siamcomp/Keil85:::J. Mark Keil:::Decomposing a Polygon into Simpler Components.
journals/siamcomp/Just92:::Bettina Just:::Generalizing the Continued Fraction Algorithm to Arbitrary Dimensions.
journals/siamcomp/DecaturGR99:::Scott E. Decatur::Oded Goldreich::Dana Ron:::Computational Sample Complexity.
journals/siamcomp/MaLZ00:::Bin Ma::Ming Li::Louxin Zhang:::From Gene Trees to Species Trees.
journals/siamcomp/AshcroftW77:::Edward A. Ashcroft::William W. Wadge:::Erratum: Lucid - A Formal System for Writing and Proving Programs.
journals/siamcomp/Holyer81:::Ian Holyer:::The NP-Completeness of Some Edge-Partition Problems.
journals/siamcomp/LeveneL99:::Mark Levene::George Loizou:::Navigation in Hypertext Is Easy Only Sometimes.
journals/siamcomp/BloomE88:::Stephen L. Bloom::Zoltán Ésik:::Varieties of Iteration Theories.
journals/siamcomp/Lutz95:::Jack H. Lutz:::Weakly Hard Problems.
journals/siamcomp/HwangL72:::Frank K. Hwang::Shen Lin:::A Simple Algorithm for Merging Two Disjoint Linearly-Ordered Sets.
journals/siamcomp/HwangN02:::Hsien-Kuei Hwang::Ralph Neininger:::Phase Change of Limit Laws in the Quicksort Recurrence under Varying Toll Functions.
journals/siamcomp/GoldwasserMR89:::Shafi Goldwasser::Silvio Micali::Charles Rackoff:::The Knowledge Complexity of Interactive Proof Systems.
journals/siamcomp/LarmoreP95:::Lawrence L. Larmore::Teresa M. Przytycka:::Constructing Huffman Trees in Parallel.
journals/siamcomp/HuntS90:::Harry B. Hunt III::Richard Edwin Stearns:::The Complexity of Very Simple Boolean Formulas with Applications.
journals/siamcomp/BoyceDDG85:::James E. Boyce::David P. Dobkin::Robert L. (Scot) Drysdale III::Leonidas J. Guibas:::Finding Extremal Polygons.
journals/siamcomp/Paul77:::Wolfgang J. Paul:::A 2.5 n-Lower Bound on the Combinational Complexity of Boolean Functions.
journals/siamcomp/AuerCFS02:::Peter Auer::Nicolò Cesa-Bianchi::Yoav Freund::Robert E. Schapire:::The Nonstochastic Multiarmed Bandit Problem.
journals/siamcomp/Lehmann82:::Daniel J. Lehmann:::On Primality Tests.
journals/siamcomp/OpderbeckC75:::Holger Opderbeck::Wesley W. Chu:::The Renewal Model for Program Behavior.
journals/siamcomp/RazS03:::Ran Raz::Amir Shpilka:::New Results on Monotone Dualization and Generating Hypergraph Transversals.
journals/siamcomp/Varricchio97:::Stefano Varricchio:::A Pumping Condition for Regular Sets.
journals/siamcomp/Giancarlo95:::Raffaele Giancarlo:::A Generalization of the Suffix Tree to Square Matrices, with Applications.
journals/siamcomp/Whitehead90:::Jennifer Whitehead:::The Complexity of File Transfer Scheduling with Forwarding.
journals/siamcomp/HemaspaandraHW98:::Lane A. Hemaspaandra::Harald Hempel::Gerd Wechsung:::Query Order.
journals/siamcomp/KinariwalaB76:::Bharat Kinariwala::Kabekode V. S. Bhat:::Theory of Output Set Assignments and Degree Switching Operations.
journals/siamcomp/CarsonL77:::John S. Carson::Averill M. Law:::A Note on Spira's Algorithm for the All-Pairs Shortest-Path Problem.
journals/siamcomp/Ben-AmramG01:::Amir M. Ben-Amram::Zvi Galil:::Topological Lower Bounds on Algebraic Random Access Machines.
journals/siamcomp/DavidaL91:::George I. Davida::Bruce E. Litow:::Fast Parallel Arithmetic via Modular Representation.
journals/siamcomp/Toth03:::Csaba D. Tóth:::Binary Space Partitions for Line Segments with a Limited Number of Directions.
journals/siamcomp/Wang98:::Yongge Wang:::Genericity, Randomness, and Polynomial-Time Approximations.
journals/siamcomp/JacquetS89:::Philippe Jacquet::Wojciech Szpankowski:::Ultimate Characterizations of the Burst Response of an Interval Searching Algorithm: A Study of a Functional Equation.
journals/siamcomp/LifschitzP83:::Vladimir Lifschitz::Boris Pittel:::The Worst and the Most Probable Performance of a Class of Set-Covering Algorithms.
journals/siamcomp/FaigleGS85:::Ulrich Faigle::Gerhard Gierz::Rainer Schrader:::Algorithmic approaches to setup minimization.
journals/siamcomp/EschenHSS99:::Elaine M. Eschen::Ryan Hayward::Jeremy Spinrad::R. Sritharan:::Weakly Triangulated Comparability Graphs.
journals/siamcomp/ChuaB74:::Y. S. Chua::Arthur J. Bernstein:::Analysis of a Feedback Scheduler.
journals/siamcomp/MegiddoS84:::Nimrod Megiddo::Kenneth J. Supowit:::On the Complexity of Some Common Geometric Location Problems.
journals/siamcomp/MegiddoT83:::Nimrod Megiddo::Arie Tamir:::New Results on the Complexity of p-Center Problems.
journals/siamcomp/AlexiCGS88:::Werner Alexi::Benny Chor::Oded Goldreich::Claus-Peter Schnorr:::RSA and Rabin Functions: Certain Parts are as Hard as the Whole.
journals/siamcomp/Hagerup90:::Torben Hagerup:::Planar Depth-First Search in O(log n) Parallel Time.
journals/siamcomp/ItoIK85:::Minoru Ito::Motoaki Iwasaki::Tadao Kasami:::Some Results on the Representative Instance in Relational Databases.
journals/siamcomp/FredericksonJ90a:::Greg N. Frederickson::Donald B. Johnson:::Erratum: Generalized Selection and Ranking: Sorted Matrices.
journals/siamcomp/Frieze87:::Alan M. Frieze:::On the Exact Solution of Random Travelling Salesman Problems with Medium Size Integer Coefficients.
journals/siamcomp/MaurerW99:::Ueli M. Maurer::Stefan Wolf:::The Relationship Between Breaking the Diffie-Hellman Protocol and Computing Discrete Logarithms.
journals/siamcomp/MalkhiRW00:::Dahlia Malkhi::Michael K. Reiter::Avishai Wool:::The Load and Availability of Byzantine Quorum Systems.
journals/siamcomp/MoffatT87:::Alistair Moffat::Tadao Takaoka:::An All Pairs Shortest Path Algorithm with Expected Time O(n² log n).
journals/siamcomp/GoldsteinR93:::Arthur S. Goldstein::Edward M. Reingold:::A Fibonacci Version of Kraft's Inequality Applied to Discrete Unimodal Search.
journals/siamcomp/Kalorkoti95:::K. Kalorkoti:::On the Reuse of Additions in Matrix Multiplication.
journals/siamcomp/Aurenhammer87:::Franz Aurenhammer:::Power Diagrams: Properties, Algorithms and Applications.
journals/siamcomp/KatzS97:::Matthew J. Katz::Micha Sharir:::An Expander-Based Approach to Geometric Optimization.
journals/siamcomp/Tamaki98:::Hisao Tamaki:::Efficient Self-Embedding of Butterfly Networks with Random Faults.
journals/siamcomp/RosenkrantzH78:::Daniel J. Rosenkrantz::Harry B. Hunt III:::Polynomial Algorithms for Deterministic Pushdown Automata.
journals/siamcomp/ColeH97:::Richard Cole::Ramesh Hariharan:::Tighter Upper Bounds on the Exact Complexity of String Matching.
journals/siamcomp/GabowK82:::Harold N. Gabow::Oded Kariv:::Algorithms for Edge Coloring Bipartite Graphs and Multigraphs.
journals/siamcomp/GabowM78:::Harold N. Gabow::Eugene W. Myers:::Finding All Spanning Trees of Directed and Undirected Graphs.
journals/siamcomp/Albers98:::Susanne Albers:::Improved Randomized On-Line Algorithms for the List Update Problem.
journals/siamcomp/RosenthalG77:::Arnie Rosenthal::Anita Goldner:::Smallest Augmentations to Biconnect a Graph.
journals/siamcomp/SharirPH84:::Micha Sharir::Amir Pnueli::Sergiu Hart:::Verification of Probabilistic Programs.
journals/siamcomp/Edmonds98:::Jeff Edmonds:::Time-Space Tradeoffs For Undirected <i>st</i>-Connectivity on a Graph Automata.
journals/siamcomp/RackoffS81:::Charles Rackoff::Joel I. Seiferas:::Limitations on Separating Nondeterministic Complexity Classes.
journals/siamcomp/KaplanS96:::Haim Kaplan::Ron Shamir:::Pathwidth, Bandwidth, and Completion Problems to Proper Interval Graphs with Small Cliques.
journals/siamcomp/FleckL83:::Arthur C. Fleck::R. S. Limaye:::Formal Semantics and Abstract Properties of String Pattern Operations and Extended Formal Language Description Mechanisms.
journals/siamcomp/LouchardKS97:::Guy Louchard::Claire Kenyon::René Schott:::Data Structures' Maxima.
journals/siamcomp/EhrigR80:::Hartmut Ehrig::Barry K. Rosen:::The Mathematics of Record Handling.
journals/siamcomp/Priese79:::Lutz Priese:::Towards a Precise Characterization of the Complexity of Universal and Nonuniversal Turing Machines.
journals/siamcomp/Bennett89:::Charles H. Bennett:::Time/Space Trade-Offs for Reversible Computation.
journals/siamcomp/DengGBL00:::Xiaotie Deng::Nian Gu::Tim Brecht::KaiCheng Lu:::Preemptive Scheduling of Parallel Jobs on Multiprocessors.
journals/siamcomp/ReifS92:::John H. Reif::Sandeep Sen:::Optimal Parallel Randomized Algorithms for Three-Dimensional Convex Hulls and Related Problems.
journals/siamcomp/ReifT92:::John H. Reif::Stephen R. Tate:::On Threshold Circuits and Polynomial Computation.
journals/siamcomp/MossesP87:::Peter D. Mosses::Gordon D. Plotkin:::On Proving Limiting Completeness.
journals/siamcomp/SimonsW89:::Barbara B. Simons::Manfred K. Warmuth:::A Fast Algorithm for Multiprocessor Scheduling of Unit-Length Jobs.
