@incollection{Hartmam-Raz/00,
AUTHOR = {Hartmam, T. and Raz, R.},
TITLE = {On the distribution of the number of roots of polynomials and explicit logspace extractors},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {3-22},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Cicalese-Gargano-Vaccaro/00,
AUTHOR = {Cicalese, Ferdinando and Gargano, Luisa and Vaccaro, Ugo},
TITLE = {Optimal approximation of uniform distributions with a biased coin},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {23-37},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Szymanska/00,
AUTHOR = {Szyma{\'n}ska, Edyta},
TITLE = {Derandomization of a parallel randomized algorithm for finding a maximal independent set in a linear hypergraph},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {39-52},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Pagh/00,
AUTHOR = {Pagh, Rasmus},
TITLE = {Dispersing hash functions},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {53-67},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Hirsch/00,
AUTHOR = {Hirsch, Edward A.},
TITLE = {Worst-case time bounds for MAX-$k$-SAT w.r.t. the number of variables using local search},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {69-76},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Goldreich-Wigderson/00,
AUTHOR = {Goldreich, O. and Wigderson, A.},
TITLE = {On pseudorandomness with respect to deterministic observers},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {77-84},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Achlioptas-Kim-Krivelevich-Tetali/00,
AUTHOR = {Achlioptas, Dimitris and Kim, Jeong Han and Krivelevich, Michael and Tetali, Prasad},
TITLE = {Two-coloring random hypergraphs},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {85-96},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Alvarez-Cases-Diaz-Petit-Serna/00,
AUTHOR = {{\`A}lvarez, C. and Cases, R. and D{\'{i}}az, J. and Petit, J. and Serna, M.},
TITLE = {Routing trees for random graphs},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {99-110},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Asano/00,
AUTHOR = {Asano, Yasuhito},
TITLE = {Experimental evaluation of approximation algorithms for the minimum cost multiple-source unsplittable flow problem},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {111-121},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Bongiovanni-Clementi-Penna/00,
AUTHOR = {Bongiovanni, Giancarlo and Clementi, Andrea E.F. and Penna, Paolo},
TITLE = {A note on parallel read operations on large public databases},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {123-133},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Erlebach-Jansen/00,
AUTHOR = {Erlebach, T. and Jansen, K.},
TITLE = {Conversion of coloring algorithms into maximum weight independent set algorithms},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {135-145},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Fitzpatrick-Janssen-Nowakowski/00,
AUTHOR = {Fitzpatrick, Shannon and Janssen, Jeannette and Nowakowski, Richard},
TITLE = {Distributive online channel assignment for hexagonal cellular networks with constraints},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {147-154},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Gargano-Rescigno/00,
AUTHOR = {Gargano, L. and Rescigno, A.A.},
TITLE = {Coloring circular arcs with applications to WDM routing},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {155-166},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Glasser-Reith-Vollmer/00,
AUTHOR = {Glasser, Christian and Reith, Steffen and Vollmer, Heribert},
TITLE = {The complexity of base station positioning in cellular networks},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {167-177},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Jansen-Mastrolilli/00,
AUTHOR = {Jansen, Klaus and Mastrolilli, M.},
TITLE = {Parallel machine scheduling problems with controllable processing times},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {179-189},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Kaklamanis-Krizanc-Montangero-Persiano/00,
AUTHOR = {Kaklamanis, Christos and Krizanc, Danny and Montangero, Manuela and Persiano, Pino},
TITLE = {Efficient automatic simulation of parallel computation on network of workstations},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {191-201},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Narayanan-Opatrny/00,
AUTHOR = {Narayanan, L. and Opatrny, J.},
TITLE = {Wavelength routing of uniform instances in optical rings},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {203-213},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Nikoletseas-Spirakis/00,
AUTHOR = {Nikoletseas, S. and Spirakis, P.},
TITLE = {Efficient communication establishment in adverse communication environments},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {215-226},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Ablayev/00,
AUTHOR = {Ablayev, Farid},
TITLE = {On complexity of regular $(1,+k)$-branching programs},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {229-240},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Klauck/00,
AUTHOR = {Klauck, Hartmut},
TITLE = {Quantum communication complexity},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {241-252},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Miltersen/00,
AUTHOR = {Miltersen, Peter Bro},
TITLE = {On the Shannon function for partially defined Boolean functions},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {253-257},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Sieling/00,
AUTHOR = {Sieling, Detlef},
TITLE = {Restricted branching programs with parity-type augmentations --- Lower bonds and algorithms},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {259-262},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Dezani-Ciancaglini/00,
AUTHOR = {Dezani-Ciancaglini, Mariangiola},
TITLE = {Intersection types and properties of lambda terms},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {267-267},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Reynolds/00,
AUTHOR = {Reynolds, John C.},
TITLE = {An intrinsic semantics of intersection types},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {269-269},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Damiani/00,
AUTHOR = {Damiani, F.},
TITLE = {Conjunctive types and useless-code elimination},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {271-285},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Dezani-Ciancaglini-Honsell-Alessi/00,
AUTHOR = {Dezani-Ciancaglini, M. and Honsell, F. and Alessi, F.},
TITLE = {A complete characterization of complete intersection-type theories},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {287-301},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Ghilezan/00,
AUTHOR = {Ghilezan, Silvia},
TITLE = {Intersection types and topologies in lambda calculus},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {303-304},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Grudzinski/00,
AUTHOR = {Grudzi{\'n}ski, Grzegorz},
TITLE = {A minimal system of disjuncitve properties for strictness analysis},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {305-321},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Jim/00,
AUTHOR = {Jim, Trevor},
TITLE = {A polar type system},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {323-338},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Matthes/00,
AUTHOR = {Matthes, R.},
TITLE = {Characterizing strongly normalizing terms of a $\lambda$-calculus with generalized applications via intersection types},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {339-353},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Meyer/00,
AUTHOR = {Meyer, Robert K.},
TITLE = {What entailment can do for type theory},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {355-355},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Gogolla/00,
AUTHOR = {Gogolla, M.},
TITLE = {Graph transformations on the UML metamodel},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {359-371},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Engels-Heckel/00,
AUTHOR = {Engels, Gregor and Heckel, Reiko},
TITLE = {From trees to graphs: Defining the semantics of diagram languages with graph transformation},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {373-382},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Parisi-Presicce/00,
AUTHOR = {Parisi-Presicce, F.},
TITLE = {Which graphs for visual modeling?},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {383-386},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Pezze-Baresi/00,
AUTHOR = {Pezz{\`{e}}, Mauro and Baresi, Luciano},
TITLE = {Can graph grammars make formal methods more human?},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {387-393},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Adachi-Kobayashi/00,
AUTHOR = {Adachi, Y. and Kobayashi, S.},
TITLE = {Parsing context-sensitive NCE graph grammars},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {395-401},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Busatto-Hoen/00,
AUTHOR = {Busatto, Giorgio and Hoen, Pieter Jan't},
TITLE = {A graph-grammar based approach to the specification of hypermedia application dynamics},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {403-409},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Corradini-Heckel-Montanari/00,
AUTHOR = {Corradini, Andrea and Heckel, Reiko and Montanari, Ugo},
TITLE = {Graphical operational semantics},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {411-418},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Depke-Heckel/00,
AUTHOR = {Depke, Ralph and Heckel, Reiko},
TITLE = {Formalizing the development of agent-based systems using graph processes},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {419-426},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Ehrig-Taentzer/00,
AUTHOR = {Ehrig, H. and Taentzer, G.},
TITLE = {A proposal for consistent integration of visual computing with visual development of software components},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {427-433},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Gruner-Kurt-Taentzer/00,
AUTHOR = {Gruner, S. and Kurt, M. and Taentzer, G.},
TITLE = {A visual modeling technique for controlling graph transformations},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {435-442},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Hoffmann-Minas/00,
AUTHOR = {Hoffmann, Berthold and Minas, Mark},
TITLE = {A generic model for diagram syntax and semantics},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {443-449},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Konig/00,
AUTHOR = {K{\"o}nig, Barbara},
TITLE = {A graph rewriting semantics for the polyadic $\pi$-calculus},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {451-458},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Munch-Schurr/00,
AUTHOR = {M{\"u}nch, Manfred and Sch{\"u}rr, Andy},
TITLE = {Generic and polymorphic graph transformations --- Supporting the definition of visual languages},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {459-466},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Padberg-Ermel-Bardohl/00,
AUTHOR = {Padberg, J. and Ermel, C. and Bardohl, R.},
TITLE = {Rule-based and visual model evolution using GenGEd},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {467-475},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'e} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Walter/00,
AUTHOR = {Walter, M.},
TITLE = {OpenSESAME: A tool's concept},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {477-483},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Cleaveland-Iyer/00,
AUTHOR = {Cleaveland, R. and Iyer, S. Purushothaman},
TITLE = {Branching-time probabilisitc model checking},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {487-499},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Haverkort/00,
AUTHOR = {Haverkort, Boudewijn R.},
TITLE = {Are stochastic process algebras good for performance and dependability evaluation?},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {501-510},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Voeten/00,
AUTHOR = {Voeten, Jeroen},
TITLE = {Temporal rewards for performance evaluation},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {511-522},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Hillston-Tomasik/00,
AUTHOR = {Hillston, Jane and Tomasik, Joanna},
TITLE = {Amalgamation of transition sequences in the PEPA formalism},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {523-534},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Brodo-Degano-Priami/00,
AUTHOR = {Brodo, Linda and Degano, Pierpaolo and Priami, Corrado},
TITLE = {A tool for quantitative analysis of $\pi$-calculus processes},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {535-549},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Bernardo-Busi-Ribaudo/00,
AUTHOR = {Bernardo, M. and Busi, N. and Ribaudo, M.},
TITLE = {Integrating TwoTowers and GreatSPN},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {551-563},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Deotto-Babich/00,
AUTHOR = {Deotto, L. and Babich, F.},
TITLE = {Performance analysis of UMTS resource allocation strategies using TIPPtool},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {565-577},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Bradley-Davies/00,
AUTHOR = {Bradley, J.T. and Davies, N.J.},
TITLE = {A matrix-based method for analysing stochastic process algebras},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {579-590},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Aldini-Bravetti/00,
AUTHOR = {Aldini, A. and Bravetti, M.},
TITLE = {An asynchronous calculus for generative-reactive probabilistic systems},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {591-605},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}
@incollection{Thomas-Bradley/00,
AUTHOR = {Thomas, Nigel and Bradley, Jeremy},
TITLE = {Approximating variance in non-product form decomposed models},
BOOKTITLE = {ICALP Workshops 2000 --- Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata, Languages, and Programming (Geneva, Switzerland, July 9-16, 2000)},
SERIES = {Proceedings in Informatics},
VOLUME = {8},
PAGES = {607-619},
YEAR = {2000},
EDITOR = {Rolim, Jos{\'{e}} D.P. et al.},
PUBLISHER = {Carleton Scientific},
}