Conferences in DBLP
Neil Immerman Descriptive Complexity and Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Nili Guttmann-Beck , Refael Hassin , Samir Khuller , Balaji Raghavachari Approximation Algorithms with Bounded Performance Guarantees for the Clustered Traveling Salesman Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Dimitris Fotakis , Paul G. Spirakis A Hamiltonian Approach to the Assignment of Non-reusable Frequencies. [Citation Graph (0, 0)][DBLP ] Conf ] Carolina Lavatelli Deadlock Sensitive Types for Lambda Calculus with Resources. [Citation Graph (0, 0)][DBLP ] Conf ] Paola Quaglia , David Walker On Encoding p-pi in m-pi. [Citation Graph (0, 0)][DBLP ] Conf ] Sudipto Guha , Samir Khuller Improved Methods for Approximating Node Weighted Steiner Trees and Connected Dominating Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Mahesh Kallahalla , Peter J. Varman Red-Black Prefetching: An Approximation Algorithm for Parallel Disk Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Pierre Talpin , David Nowak A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ilaria Castellani , Matthew Hennessy Testing Theories for Asynchronous Languages. [Citation Graph (0, 0)][DBLP ] Conf ] John H. Reif Alternative Computational Models: A Comparison of Biomolecular and Quantum Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Maya Madhavan , Priti Shankar Optimal Regular Tree Pattern Matching Using Pushdown Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Neumann , Helmut Seidl Locating Matches of Tree Patterns in Forests. [Citation Graph (1, 0)][DBLP ] Conf ] Armin Kühnemann Benefits of Tree Transducers for Optimizing Functional Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Vijay K. Garg , J. Roger Mitchell Implementable Failure Detectors in Asynchronous Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Meineche Schmidt BRICS and Quantum Information Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Devdatt P. Dubhashi Martingales and Locality in Distributed Computing. [Citation Graph (0, 0)][DBLP ] Conf ] J. Ian Munro , Venkatesh Raman , S. Srinivasa Rao Space Efficient Suffix Trees. [Citation Graph (0, 0)][DBLP ] Conf ] N. S. Pendharkar , K. Gopinath Formal Verification of an O. S. Submodule. [Citation Graph (0, 0)][DBLP ] Conf ] K. Narayan Kumar , Rance Cleaveland , Scott A. Smolka Infinite Probabilistic and Nonprobabilistic Testing. [Citation Graph (0, 0)][DBLP ] Conf ] N. Kalyana Rama Prasad , P. Sreenivasa Kumar On Generating Strong Elimination Orderings of Strongly Chordal Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Gudmundsson , Christos Levcopoulos A Parallel Approximation Algorithm for Minimum Weight Triangulation. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Aceto , Patricia Bouyer , Augusto Burgueño , Kim Guldstrand Larsen The Power of Reachability Testing for Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Paritosh K. Pandya , Y. S. Ramakrishna Recursive Mean-Value Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Alur Efficient Formal Verification of Hierarchical Descriptions. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth L. McMillan Proof Rules for Model Checking Systems with Data. [Citation Graph (0, 0)][DBLP ] Conf ] Michaela Huhn , Peter Niebert , Heike Wehrheim Partial Order Reductions for Bisimulation Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Bohn , Werner Damm , Orna Grumberg , Hardi Hungar , Karen Laster First-Order-CTL Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Antoni Lozano , Vijay Raghavan On the Complexity of Counting the Number of Vertices Moved by Graph Automorphisms. [Citation Graph (0, 0)][DBLP ] Conf ] Satyanarayana V. Lokam Remarks on Graph Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Lohrey On the Confluence of Trace Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hugues Calbrix , Teodor Knapik A String-Rewriting Characterization of Muller and Schupp's Context-Free Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Petr Jancar , Frantisek Mráz , Martin Plátek , Jörg Vogel Different Types of Monotonicity for Restarting Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Kamal Lodaya , Pascal Weil A Kleene Iteration for Parallelism. [Citation Graph (0, 0)][DBLP ] Conf ] Umesh V. Vazirani Quantum Computation and Information. [Citation Graph (0, 0)][DBLP ] Conf ] 