27. 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 (Eds.):
Proc. ICALP'2000 Satellite Workshops. Carleton Scientific,
Waterloo,
Ontario,
Canada,
2000,
ISBN 1-894145-07-0
Fourth International Workshop on Randomization and Approximation Techniques in Computer Science
Workshop on Approximation and Randomized Algorithms in Communication Networks
- Ugo Vaccaro:
Introduction: Approximation and Randomized Algorithms in Communication Networks.
97-98 BibTeX
- Carme Àlvarez, Rafel Cases, Josep Díaz, Jordi Petit, Maria J. Serna:
Routing Tree Problems on Random Graphs.
99-110 BibTeX
- Yasuhito Asano:
Experimental Evaluation of Approximation Algorithms for the Minimum Cost Multiple-source Unsplittable Flow Problem.
111-122 BibTeX
- Gian Carlo Bongiovanni, Andrea E. F. Clementi, Paolo Penna:
A Note on Parallel Read Operations on Large Public Databases.
123-134 BibTeX
- Thomas Erlebach, Klaus Jansen:
Conversion of Coloring Algorithms into Maximum Weight Independent Set Algorithms.
135-146 BibTeX
- Shannon L. Fitzpatrick, Jeannette Janssen, Richard J. Nowakowski:
Distributive Online Channel Assignment for Hexagonal Cellular Networks with Constraints.
147-154 BibTeX
- Luisa Gargano, Adele A. Rescigno:
Coloring Circular Arcs with Applications.
155-166 BibTeX
- Christian Glaßer, Steffen Reith, Heribert Vollmer:
The Complexity of Base Station Positioning in Cellular Networks.
167-178 BibTeX
- Klaus Jansen, Monaldo Mastrolilli:
Parallel Machine Scheduling Problems with Controllable Processing Times.
179-190 BibTeX
- Christos Kaklamanis, Danny Krizanc, Manuela Montangero, Pino Persiano:
Efficient Automatic Simulation of Parallel Computation on Network of Workstations.
191-202 BibTeX
- Lata Narayanan, Jaroslav Opatrny:
Wavelength Routing of Uniform Instances in Optical Rings.
203-214 BibTeX
- Sotiris E. Nikoletseas, Paul G. Spirakis:
Efficient Communication Establishment in Adverse Communication Environments.
215-226 BibTeX
Workshop on Boolean Functions and Applications
Workshop on Intersection Types and Related Systems (ITRS 2000)
Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT'00)
- Andrea Corradini, Reiko Heckel:
Introduction: Graph Transformation and Visual Modeling Techniques.
357-358 BibTeX
- Martin Gogolla:
Graph Transformations on the UML Metamodel.
359-372 BibTeX
- Gregor Engels, Reiko Heckel:
From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation.
373-382 BibTeX
- Francesco Parisi-Presicce:
Which Graphs for Visual Modeling?
383-386 BibTeX
- Mauro Pezzè, Luciano Baresi:
Can Graph Grammars Make Formal Methods More Human?
387-394 BibTeX
- Yoshihiro Adachi, Suguru Kobayashi:
Parsing Context-Sensitive NCE Graph Grammars.
395-402 BibTeX
- Giorgio Busatto, Pieter Jan't Hoen:
A Graph-Grammar Based Approach to the Specification of Hypermedia Application Dynamics.
403-410 BibTeX
- Andrea Corradini, Reiko Heckel, Ugo Montanari:
Graphical Operational Semantics.
411-418 BibTeX
- Ralph Depke, Reiko Heckel:
Formalizing the Development of Agent-Based Systems Using Graph Processes.
419-426 BibTeX
- Hartmut Ehrig, Gabriele Taentzer:
A Proposal for Consistent Integration of Visual Computing with Visual Development of Software Components.
427-434 BibTeX
- Stefan Gruner, Murat Kurt, Gabriele Taentzer:
A Visual Modeling Technique for Controlling Graph Transformation.
435-442 BibTeX
- Berthold Hoffmann, Mark Minas:
A Generic Model for Diagram Syntax and Semantics.
443-450 BibTeX
- Barbara König:
A Graph Rewriting Semantics for the Polyadic Calculus.
451-458 BibTeX
- Manfred Münch, Andy Schürr:
Generic and Polymorphic Graph Transformations-Supporting the Definition of Visual Languages.
459-466 BibTeX
- Julia Padberg, Claudia Ermel, Roswitha Bardohl:
Rule-Based and Visual Model Evolution using GENGED.
467-476 BibTeX
- M. Walter:
OpenSESAME: A Tool's Concept.
477-484 BibTeX
International Workshop on Process Algebra and Performance Modeling
- Roberto Gorrieri:
Introduction: International Workshop on Process Algebra and Performance Modelling.
485-486 BibTeX
- Rance Cleaveland, S. Purushothaman Iyer:
Branching-Time Probalistic Model Checking.
487-500 BibTeX
- Boudewijn R. Haverkort:
Are Stochastic Process Algebras Good for Performance and Dependability Evaluation.
501-510 BibTeX
- Jeroen Voeten:
Temporal Rewards for Performance Evaluation.
511-522 BibTeX
- Jane Hillston, J. Tomasik:
Amalgamation of Transition Sequences in the PEPA Formalism.
523-534 BibTeX
- Linda Brodo, Pierpaolo Degano, Corrado Priami:
A tool for quantitative analysis of calculus processes.
535-550 BibTeX
- Marco Bernardo, Nadia Busi, Marina Ribaudo:
Integrating Two Towers and GreatSPN.
551-564 BibTeX
- Fulvio Babich, Lia Deotto:
Performance Analysis of UMTS Resource Allocation Strategies using TIPPtool.
565-578 BibTeX
- Jeremy T. Bradley, N. J. Davies:
A Matrix-based Method for Analysing Stochastic Process Algebras.
579-590 BibTeX
- Alessandro Aldini, Mario Bravetti:
An Asynchronous Calculus for Generative-Reactive Probalistic Systems.
591-606 BibTeX
- Nigel Thomas, Jeremy T. Bradley:
Approximating Variance in Non-product Form Decomposed Models.
607-619 BibTeX
Acknowledgement:
The information on this page was contributed by Martin Gogolla.
Copyright © Sat May 16 23:16:06 2009
by Michael Ley (ley@uni-trier.de)
