default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, January 2001
- Jorge J. Moré:
Automatic Differentiation Tools in Optimization Software. - David J. Murray, Dale E. Parson:
Automated Debugging in Java Using OCL and JDI. - Federico Fontana, Davide Rocchesso:
Signal-Theoretic Characterization of Waveguide Mesh Geometries for Models of Two-Dimensional Wave Propagation in Elastic Media. - Kevin K. H. Cheung, Michele Mosca:
Decomposing Finite Abelian Groups. - Raymond Smith, Bogdan Korel:
Slicing Event Traces of Large Software Systems. - Marshall W. Bern, David Eppstein:
Optimal Moebius Transformations for Information Visualization and Meshing. - Mikhail Auguston:
Assertion checker for the C programming language based on computations over event traces. - Abdullah Mohd Zin, Syed Ahmad Aljunid, Zarina Shukur, Mohd Jan Nordin:
A Knowledge-based Automated Debugger in Learning System. - Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Generation of and Debugging with Logical Pre and Post-Conditions. - Ming-Yang Kao, Tak Wah Lam, Wing-Kin Sung, Hing-Fung Ting:
An Even Faster and More Unifying Algorithm for Comparing Trees via Unbalanced Bipartite Matchings. - Ming-Yang Kao:
Multiple-Size Divide-and-Conquer Recurrences. - Paul Hildreth, Chris Kimble, Peter C. Wright:
Communities of Practice in the Distributed International Environment. - Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin:
A Classification of Symbolic Transition Systems. - Zbigniew Lonc, Miroslaw Truszczynski:
On the problem of computing the well-founded semantics. - James Aspnes, Julia Hartling, Ming-Yang Kao, Junhyong Kim, Gauri Shah:
Combinatorial Toolbox for Protein Sequence Design and Landscape Analysis in the Grand Canonical Model. - Ting Chen, Ming-Yang Kao, Matthew Tepel, John Rush, George M. Church:
A Dynamic Programming Approach to De Novo Peptide Sequencing via Tandem Mass Spectrometry. - Ulrich Ultes-Nitsche, Pierre Wolper:
Checking Properties within Fairness and Behavior Abstractions. - Steven Benson, Lois C. McInnes, Jorge J. Moré:
GPCG: A Case Study in the Performance and Scalability of Optimization Algorithms. - Marcus Hutter:
General Loss Bounds for Universal Sequence Prediction. - Jörn Müller-Quade, Hideki Imai:
More Robust Multiparty Protocols with Oblivious Transfer. - Xin He, Ming-Yang Kao, Hsueh-I Lu:
A Fast General Methodology for Information-Theoretically Optimal Encodings of Graphs. - Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus:
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling. - Annalisa Bossi, Sandro Etalle, Sabina Rossi:
Properties of Input-Consuming Derivations. - Ming-Yang Kao, Stephen R. Tate:
On-Line Difference Maximization. - Enea Zaffanella, Patricia M. Hill, Roberto Bagnara:
Decomposing Non-Redundant Sharing by Complementation. - Péter Gács:
Deterministic computations whose history is independent of the order of asynchronous updating. - Simeon Warner:
Open Archives Initiative protocol development and implementation at arXiv. - Ming-Yang Kao, Yuan Ma, Michael Sipser, Yiqun Lisa Yin:
Optimal Constructions of Hybrid Algorithms. - Paul M. Aoki, Amy Hurst, Allison Woodruff:
Tap Tips: Lightweight Discovery of Touchscreen Targets. - Ming-Yang Kao:
Tree Contractions and Evolutionary Trees. - Ming-Yang Kao, Tak Wah Lam, Wing-Kin Sung, Hing-Fung Ting:
Cavity Matchings, Label Compressions, and Unrooted Evolutionary Trees. - Ming-Yang Kao:
Total Protection of Analytic Invariant Information in Cross Tabulated Tables. - Xin He, Ming-Yang Kao, Hsueh-I Lu:
Linear-Time Succinct Encodings of Planar Graphs via Canonical Orderings. - Ming-Yang Kao:
Data Security Equals Graph Connectivity. - Allison Woodruff, Paul M. Aoki, Amy Hurst, Margaret H. Szymanski:
The Guidebook, the Friend, and the Room: Visitor Experience in a Historic House. - Nick Chater
, Paul M. B. Vitányi:
The Generalized Universal Law of Generalization. - Claus O. Wilke:
Adaptive evolution on neutral networks. - Harry Buhrman, John Tromp, Paul M. B. Vitányi:
Time and Space Bounds for Reversible Simulation.
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 2025-10-08 22:26 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:
