default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID27th ICALP Satellite Workshops 2000: Geneva, Switzerland
- José D. P. Rolim, Andrei Z. Broder, Andrea Corradini, Roberto Gorrieri, Reiko Heckel, Juraj Hromkovic, Ugo Vaccaro, J. B. Wells:
ICALP Workshops 2000, Proceedings of the Satelite Workshops of the 27th International Colloquium on Automata, Languages and Programming, Geneva, Switzerland, July 9-15, 2000. Carleton Scientific, Waterloo, Ontario, Canada 2000, ISBN 1-894145-07-0
Fourth International Workshop on Randomization and Approximation Techniques in Computer Science (RANDOM 2000)
- Andrei Z. Broder:
Introduction: The Fourth International Workshop on Randomization and Approximation Techniques in Computer Science. ICALP Satellite Workshops 2000: 1-2 - Tzvika Hartman, Ran Raz:
On the Distribution of the Number of Roots of Polynomials and Explicit Logspace Extractors. ICALP Satellite Workshops 2000: 3-22 - Ferdinando Cicalese, Luisa Gargano, Ugo Vaccaro:
Optimal Approximation of Uniform Distributions with a Biased Coin. ICALP Satellite Workshops 2000: 23-38 - Edyta Szymanska:
Derandomization of a Parallel MIS Algorithm in a Linear Hypergraph. ICALP Satellite Workshops 2000: 39-52 - Rasmus Pagh:
Dispersing Hash Functions. ICALP Satellite Workshops 2000: 53-68 - Edward A. Hirsch:
Worst-case Time Bounds for MAX-k-SAT with respect to the Number of Variables Using Local Search. ICALP Satellite Workshops 2000: 69-76 - Oded Goldreich, Avi Wigderson:
On Pseudorandomness with respect to Deterministic Observes. ICALP Satellite Workshops 2000: 77-84 - Dimitris Achlioptas, Jeong Han Kim, Michael Krivelevich, Prasad Tetali:
Two-coloring Random Hypergraphs. ICALP Satellite Workshops 2000: 85-96
Workshop on Approximation and Randomized Algorithms in Communication Networks
- Ugo Vaccaro:
Introduction: Approximation and Randomized Algorithms in Communication Networks. ICALP Satellite Workshops 2000: 97-98 - Carme Àlvarez, Rafel Cases, Josep Díaz, Jordi Petit, Maria J. Serna:
Routing Tree Problems on Random Graphs. ICALP Satellite Workshops 2000: 99-110 - Yasuhito Asano:
Experimental Evaluation of Approximation Algorithms for the Minimum Cost Multiple-source Unsplittable Flow Problem. ICALP Satellite Workshops 2000: 111-122 - Gian Carlo Bongiovanni, Andrea E. F. Clementi, Paolo Penna:
A Note on Parallel Read Operations on Large Public Databases. ICALP Satellite Workshops 2000: 123-134 - Thomas Erlebach, Klaus Jansen:
Conversion of Coloring Algorithms into Maximum Weight Independent Set Algorithms. ICALP Satellite Workshops 2000: 135-146 - Shannon L. Fitzpatrick, Jeannette C. M. Janssen, Richard J. Nowakowski:
Distributive Online Channel Assignment for Hexagonal Cellular Networks with Constraints. ICALP Satellite Workshops 2000: 147-154 - Luisa Gargano, Adele A. Rescigno:
Coloring Circular Arcs with Applications. ICALP Satellite Workshops 2000: 155-166 - Christian Glaßer, Steffen Reith, Heribert Vollmer:
The Complexity of Base Station Positioning in Cellular Networks. ICALP Satellite Workshops 2000: 167-178 - Klaus Jansen, Monaldo Mastrolilli:
Parallel Machine Scheduling Problems with Controllable Processing Times. ICALP Satellite Workshops 2000: 179-190 - Christos Kaklamanis, Danny Krizanc, Manuela Montangero, Pino Persiano:
Efficient Automatic Simulation of Parallel Computation on Network of Workstations. ICALP Satellite Workshops 2000: 191-202 - Lata Narayanan, Jaroslav Opatrny:
Wavelength Routing of Uniform Instances in Optical Rings. ICALP Satellite Workshops 2000: 203-214 - Sotiris E. Nikoletseas, Paul G. Spirakis:
Efficient Communication Establishment in Adverse Communication Environments. ICALP Satellite Workshops 2000: 215-226
Workshop on Boolean Functions and Applications
- Juraj Hromkovic, Ingo Wegener:
Introduction: Workshop on Boolean Functions and Applications. ICALP Satellite Workshops 2000: 227-228 - Farid M. Ablayev:
On Complexity of Regular (1, +k)-Branching Programs. ICALP Satellite Workshops 2000: 229-240 - Hartmut Klauck:
Quantum Communication Complexity. ICALP Satellite Workshops 2000: 241-252 - Peter Bro Miltersen:
On the Shannon Function for Partially Defined Boolean Functions. ICALP Satellite Workshops 2000: 253-258 - Detlef Sieling:
Restricted Branching Programs with Parity-Type Augmentations-Lower Bounds and Algorithms. ICALP Satellite Workshops 2000: 259-262
Workshop on Intersection Types and Related Systems (ITRS 2000)
- J. B. Wells:
Introduction: Workshop on Intersection Types and Related Systems (ITRS'00). ICALP Satellite Workshops 2000: 263-266 - Mariangiola Dezani-Ciancaglini:
Intersection Types and Properties of Lambda Terms. ICALP Satellite Workshops 2000: 267-268 - John C. Reynolds:
An Intrinsic Semantics of Intersection Types. ICALP Satellite Workshops 2000: 269-270 - Ferruccio Damiani:
Conjunctive Types and Useless-code Elimination. ICALP Satellite Workshops 2000: 271-286 - Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi:
A Complete Characterization of the Complete Intersection-Type Theories. ICALP Satellite Workshops 2000: 287-302 - Silvia Ghilezan:
Intersection Types and Topologies and Lambda Calculus. ICALP Satellite Workshops 2000: 303-304 - Grzegorz Grudzinski:
A Minimal System of Disjunctive Properties for Strictness Analysis. ICALP Satellite Workshops 2000: 305-322 - Trevor Jim:
A Polar Type System. ICALP Satellite Workshops 2000: 323-338 - Ralph Matthes:
Characterizing Strongly Normalizing Terms of a Calculus with Generalized Applications via Intersection Types. ICALP Satellite Workshops 2000: 339-354 - Robert K. Meyer:
What Entailment Can do for Type Theory. ICALP Satellite Workshops 2000: 355-356
Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT'00)
- Andrea Corradini, Reiko Heckel:
Introduction: Graph Transformation and Visual Modeling Techniques. ICALP Satellite Workshops 2000: 357-358 - Martin Gogolla:
Graph Transformations on the UML Metamodel. ICALP Satellite Workshops 2000: 359-372 - Gregor Engels, Reiko Heckel:
From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation. ICALP Satellite Workshops 2000: 373-382 - Francesco Parisi-Presicce:
Which Graphs for Visual Modeling? ICALP Satellite Workshops 2000: 383-386 - Mauro Pezzè, Luciano Baresi:
Can Graph Grammars Make Formal Methods More Human? ICALP Satellite Workshops 2000: 387-394 - Yoshihiro Adachi, Suguru Kobayashi:
Parsing Context-Sensitive NCE Graph Grammars. ICALP Satellite Workshops 2000: 395-402 - Giorgio Busatto, Pieter Jan't Hoen:
A Graph-Grammar Based Approach to the Specification of Hypermedia Application Dynamics. ICALP Satellite Workshops 2000: 403-410 - Andrea Corradini, Reiko Heckel, Ugo Montanari:
Graphical Operational Semantics. ICALP Satellite Workshops 2000: 411-418 - Ralph Depke, Reiko Heckel:
Formalizing the Development of Agent-Based Systems Using Graph Processes. ICALP Satellite Workshops 2000: 419-426 - Hartmut Ehrig, Gabriele Taentzer:
A Proposal for Consistent Integration of Visual Computing with Visual Development of Software Components. ICALP Satellite Workshops 2000: 427-434 - Stefan Gruner, Murat Kurt, Gabriele Taentzer:
A Visual Modeling Technique for Controlling Graph Transformation. ICALP Satellite Workshops 2000: 435-442 - Berthold Hoffmann, Mark Minas:
A Generic Model for Diagram Syntax and Semantics. ICALP Satellite Workshops 2000: 443-450 - Barbara König:
A Graph Rewriting Semantics for the Polyadic Calculus. ICALP Satellite Workshops 2000: 451-458 - Manfred Münch, Andy Schürr:
Generic and Polymorphic Graph Transformations-Supporting the Definition of Visual Languages. ICALP Satellite Workshops 2000: 459-466 - Julia Padberg, Claudia Ermel, Roswitha Bardohl:
Rule-Based and Visual Model Evolution using GENGED. ICALP Satellite Workshops 2000: 467-476 - M. Walter:
OpenSESAME: A Tool's Concept. ICALP Satellite Workshops 2000: 477-484
International Workshop on Process Algebra and Performance Modeling
- Roberto Gorrieri:
Introduction: International Workshop on Process Algebra and Performance Modelling. ICALP Satellite Workshops 2000: 485-486 - Rance Cleaveland, S. Purushothaman Iyer:
Branching-Time Probalistic Model Checking. ICALP Satellite Workshops 2000: 487-500 - Boudewijn R. Haverkort:
Are Stochastic Process Algebras Good for Performance and Dependability Evaluation. ICALP Satellite Workshops 2000: 501-510 - Jeroen Voeten:
Temporal Rewards for Performance Evaluation. ICALP Satellite Workshops 2000: 511-522 - Jane Hillston, J. Tomasik:
Amalgamation of Transition Sequences in the PEPA Formalism. ICALP Satellite Workshops 2000: 523-534 - Linda Brodo, Pierpaolo Degano, Corrado Priami:
A tool for quantitative analysis of calculus processes. ICALP Satellite Workshops 2000: 535-550 - Marco Bernardo, Nadia Busi, Marina Ribaudo:
Integrating Two Towers and GreatSPN. ICALP Satellite Workshops 2000: 551-564 - Fulvio Babich, Lia Deotto:
Performance Analysis of UMTS Resource Allocation Strategies using TIPPtool. ICALP Satellite Workshops 2000: 565-578 - Jeremy T. Bradley, N. J. Davies:
A Matrix-based Method for Analysing Stochastic Process Algebras. ICALP Satellite Workshops 2000: 579-590 - Alessandro Aldini, Mario Bravetti:
An Asynchronous Calculus for Generative-Reactive Probalistic Systems. ICALP Satellite Workshops 2000: 591-606 - Nigel Thomas, Jeremy T. Bradley:
Approximating Variance in Non-product Form Decomposed Models. ICALP Satellite Workshops 2000: 607-619
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-11-29 00:03 CET 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:
