Conferences in DBLP
Mike Paterson , Shlomit Tassa , Uri Zwick Looking for MUM and DAD: Text-Text Comparisons Do Help. [Citation Graph (0, 0)][DBLP ] Conf ] Sanjay Jain Branch and Bound on the Network Model. [Citation Graph (0, 0)][DBLP ] Conf ] Pallab Dasgupta , P. P. Chakrabarti , S. C. De Sarkar A Near Optimal Algorithm for the Extended Cow-Path Problem in the Presence of Relative Errors. [Citation Graph (0, 0)][DBLP ] Conf ] Abhik Roychoudhury , Susmita Sur-Kolay Efficient Algorithms for Vertex Arboricity of Planar Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Ajit A. Diwan , N. Usharani A Condition for the Three Colourability of Planar Locally Path Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Baumann , Karl Lermer A Framework for the Specification of Reactive and Concurrent Systems in Z. [Citation Graph (0, 0)][DBLP ] Conf ] Job Zwiers , Ulrich Hannemann , Yassine Lakhnech , Willem P. de Roever Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jozef Hooman Verifying Part of the ACCESS.bus Protocol Using PVS. [Citation Graph (0, 0)][DBLP ] Conf ] Luigi Petrone Reusing Batch Parsers as Incremental Parsers. [Citation Graph (0, 0)][DBLP ] Conf ] Prakash Panangaden The Expressive Power of Indeterminate Primitives in Asynchronous Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Garrigue The Transformation Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Jerzy Tiuryn Equational Axiomatization of Bicoercibility for Polymorphic Types. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Raynal , André Schiper From Causal Consistency to Sequential Consistency in Shared Memory Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander I. Tomlinson , Vijay K. Garg Observation of Software for Distributed Systems with RCL. [Citation Graph (0, 0)][DBLP ] Conf ] Nick D. Dendris , Lefteris M. Kirousis , Yannis C. Stamatiou , Dimitrios M. Thilikos Partiality and Approximation Schemes for Local Consistency in Networks of Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Deepak Kapur , G. Sivakumar Maximal Extensions os Simplification Orderings. [Citation Graph (0, 0)][DBLP ] Conf ] Rainer Schuler Average Polynominal Time Is Hard for Exponential Time Under sn-Reductions. [Citation Graph (0, 0)][DBLP ] Conf ] Ravi Kumar , D. Sivakumar On Self-Testing without the Generator Bottleneck. [Citation Graph (0, 0)][DBLP ] Conf ] Mogens Nielsen , Allan Cheng Obseving Behaviour Categorically. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Caspi , Jean-Claude Fernandez , Alain Girault An Algorithm for Reducing Binary Branchings. [Citation Graph (0, 0)][DBLP ] Conf ] Michele Boreale , Luca Trevisan On the Complexity of Bisimilarity for Value-Passing Processes (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Ashvin Dsouza , Bard Bloom On the Expressive Power of CCS. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Odersky Polarized Name Passing. [Citation Graph (0, 0)][DBLP ] Conf ] R. Balasubramanian , Venkatesh Raman Path Balance Heuristic for Self-Adjusting Binary Search Trees. [Citation Graph (0, 0)][DBLP ] Conf ] S. Rao Kosaraju Pattern Matching in Compressed Texts. [Citation Graph (0, 0)][DBLP ] Conf ] Srinivasa Rao Arikati , Shiva Chaudhuri , Christos D. Zaroliagis All-Pairs Min-Cut in Sparse Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Sandip K. Biswas , Sampath Kannan Minimizing Space Usage in Evaluation of Expression Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Herbert Edelsbrunner Smooth Surfaces for Multi-Scale Shape Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Christos Levcopoulos , Andrzej Lingas , Cao Wang On Parallel Complexity of Planar Triangulations. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Follert , Elmar Schömer , Jürgen Sellen , Michiel H. M. Smid , Christian Thiel Computing a Largest Empty Anchored Cylinder, and Related Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Drago Krznaric , Christos Levcopoulos Computing Hierarchies of Clusters from the Euclidean Minimum Spanning Tree in Linear Time. [Citation Graph (0, 0)][DBLP ] Conf ] Nils Klarlund , Madhavan Mukund , Milind A. Sohoni Determinizing Büchi Asnchronous Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene Asarin , Oded Maler Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy. [Citation Graph (0, 0)][DBLP ] Conf ] Anca Browne , Zohar Manna , Henny Sipma Generalized Temporal Verification Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Bianco , Luca de Alfaro Model Checking of Probabalistic and Nondeterministic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] 