Conferences in DBLP
Andrei Z. Broder Introduction: The Fourth International Workshop on Randomization and Approximation Techniques in Computer Science. [Citation Graph (0, 0)][DBLP ] Conf ] Tzvika Hartman , Ran Raz On the Distribution of the Number of Roots of Polynomials and Explicit Logspace Extractors. [Citation Graph (0, 0)][DBLP ] Conf ] Ferdinando Cicalese , Luisa Gargano , Ugo Vaccaro Optimal Approximation of Uniform Distributions with a Biased Coin. [Citation Graph (0, 0)][DBLP ] Conf ] Edyta Szymanska Derandomization of a Parallel MIS Algorithm in a Linear Hypergraph. [Citation Graph (0, 0)][DBLP ] Conf ] Rasmus Pagh Dispersing Hash Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Edward A. Hirsch Worst-case Time Bounds for MAX-k-SAT with respect to the Number of Variables Using Local Search. [Citation Graph (0, 0)][DBLP ] Conf ] Oded Goldreich , Avi Wigderson On Pseudorandomness with respect to Deterministic Observes. [Citation Graph (0, 0)][DBLP ] Conf ] Dimitris Achlioptas , Jeong Han Kim , Michael Krivelevich , Prasad Tetali Two-coloring Random Hypergraphs. [Citation Graph (0, 0)][DBLP ] Conf ] Ugo Vaccaro Introduction: Approximation and Randomized Algorithms in Communication Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Carme Àlvarez , Rafel Cases , Josep Díaz , Jordi Petit , Maria J. Serna Routing Tree Problems on Random Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Yasuhito Asano Experimental Evaluation of Approximation Algorithms for the Minimum Cost Multiple-source Unsplittable Flow Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Gian Carlo Bongiovanni , Andrea E. F. Clementi , Paolo Penna A Note on Parallel Read Operations on Large Public Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Erlebach , Klaus Jansen Conversion of Coloring Algorithms into Maximum Weight Independent Set Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Shannon L. Fitzpatrick , Jeannette Janssen , Richard J. Nowakowski Distributive Online Channel Assignment for Hexagonal Cellular Networks with Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Luisa Gargano , Adele A. Rescigno Coloring Circular Arcs with Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Glaßer , Steffen Reith , Heribert Vollmer The Complexity of Base Station Positioning in Cellular Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Jansen , Monaldo Mastrolilli Parallel Machine Scheduling Problems with Controllable Processing Times. [Citation Graph (0, 0)][DBLP ] Conf ] Christos Kaklamanis , Danny Krizanc , Manuela Montangero , Pino Persiano Efficient Automatic Simulation of Parallel Computation on Network of Workstations. [Citation Graph (0, 0)][DBLP ] Conf ] Lata Narayanan , Jaroslav Opatrny Wavelength Routing of Uniform Instances in Optical Rings. [Citation Graph (0, 0)][DBLP ] Conf ] Sotiris E. Nikoletseas , Paul G. Spirakis Efficient Communication Establishment in Adverse Communication Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Juraj Hromkovic , Ingo Wegener Introduction: Workshop on Boolean Functions and Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Farid M. Ablayev On Complexity of Regular (1, +k)-Branching Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Hartmut Klauck Quantum Communication Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Bro Miltersen On the Shannon Function for Partially Defined Boolean Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Detlef Sieling Restricted Branching Programs with Parity-Type Augmentations-Lower Bounds and Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] J. B. Wells Introduction: Workshop on Intersection Types and Related Systems (ITRS'00). [Citation Graph (0, 0)][DBLP ] Conf ] Mariangiola Dezani-Ciancaglini Intersection Types and Properties of Lambda Terms. [Citation Graph (0, 0)][DBLP ] Conf ] John C. Reynolds An Intrinsic Semantics of Intersection Types. [Citation Graph (0, 0)][DBLP ] Conf ] Ferruccio Damiani Conjunctive Types and Useless-code Elimination. [Citation Graph (0, 0)][DBLP ] Conf ] Mariangiola Dezani-Ciancaglini , Furio Honsell , Fabio Alessi A Complete Characterization of the Complete Intersection-Type Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Silvia Ghilezan Intersection Types and Topologies and Lambda Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Grzegorz Grudzinski A Minimal System of Disjunctive Properties for Strictness Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Trevor Jim A Polar Type System. [Citation Graph (0, 0)][DBLP ] Conf ] Ralph Matthes Characterizing Strongly Normalizing Terms of a Calculus with Generalized Applications via Intersection Types. [Citation Graph (0, 0)][DBLP ] Conf ] Robert K. Meyer What Entailment Can do for Type Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Corradini , Reiko Heckel Introduction: Graph Transformation and Visual Modeling Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Gogolla Graph Transformations on the UML Metamodel. [Citation Graph (0, 0)][DBLP ] Conf ] Gregor Engels , Reiko Heckel From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Parisi-Presicce Which Graphs for Visual Modeling? [Citation Graph (0, 0)][DBLP ] Conf ] Mauro Pezzè , Luciano Baresi Can Graph Grammars Make Formal Methods More Human? [Citation Graph (0, 0)][DBLP ] Conf ] Yoshihiro Adachi , Suguru Kobayashi Parsing Context-Sensitive NCE Graph Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Busatto , Pieter Jan't Hoen A Graph-Grammar Based Approach to the Specification of Hypermedia Application Dynamics. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Corradini , Reiko Heckel , Ugo Montanari Graphical Operational Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Ralph Depke , Reiko Heckel Formalizing the Development of Agent-Based Systems Using Graph Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Hartmut Ehrig , Gabriele Taentzer A Proposal for Consistent Integration of Visual Computing with Visual Development of Software Components. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Gruner , Murat Kurt , Gabriele Taentzer A Visual Modeling Technique for Controlling Graph Transformation. [Citation Graph (0, 0)][DBLP ] Conf ] Berthold Hoffmann , Mark Minas A Generic Model for Diagram Syntax and Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara König A Graph Rewriting Semantics for the Polyadic Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Münch , Andy Schürr Generic and Polymorphic Graph Transformations-Supporting the Definition of Visual Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Julia Padberg , Claudia Ermel , Roswitha Bardohl Rule-Based and Visual Model Evolution using GENGED. [Citation Graph (0, 0)][DBLP ] Conf ] M. Walter OpenSESAME: A Tool's Concept. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Gorrieri Introduction: International Workshop on Process Algebra and Performance Modelling. [Citation Graph (0, 0)][DBLP ] Conf ] Rance Cleaveland , S. Purushothaman Iyer Branching-Time Probalistic Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Boudewijn R. Haverkort Are Stochastic Process Algebras Good for Performance and Dependability Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Jeroen Voeten Temporal Rewards for Performance Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Jane Hillston , J. Tomasik Amalgamation of Transition Sequences in the PEPA Formalism. [Citation Graph (0, 0)][DBLP ] Conf ] Linda Brodo , Pierpaolo Degano , Corrado Priami A tool for quantitative analysis of calculus processes. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Bernardo , Nadia Busi , Marina Ribaudo Integrating Two Towers and GreatSPN. [Citation Graph (0, 0)][DBLP ] Conf ] Fulvio Babich , Lia Deotto Performance Analysis of UMTS Resource Allocation Strategies using TIPPtool. [Citation Graph (0, 0)][DBLP ] Conf ] Jeremy T. Bradley , N. J. Davies A Matrix-based Method for Analysing Stochastic Process Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Aldini , Mario Bravetti An Asynchronous Calculus for Generative-Reactive Probalistic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Nigel Thomas , Jeremy T. Bradley Approximating Variance in Non-product Form Decomposed Models. [Citation Graph (0, 0)][DBLP ] Conf ] 