Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/birthday/rozenberg2002.bht:"
download as .bib file
@inproceedings{DBLP:conf/birthday/BaldanCM02,
author = {Paolo Baldan and
Andrea Corradini and
Ugo Montanari},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {Bisimulation Equivalences for Graph Grammars},
booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
pages = {158--190},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_11},
doi = {10.1007/3-540-45711-9\_11},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BaldanCM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BeekK02,
author = {Maurice H. ter Beek and
H. C. M. Kleijn},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {Petri Net Control for Grammar Systems},
booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
pages = {220--243},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_13},
doi = {10.1007/3-540-45711-9\_13},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BeekK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BerstelB02,
author = {Jean Berstel and
Luc Boasson},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {Balanced Grammars and Their Languages},
booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
pages = {3--25},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_1},
doi = {10.1007/3-540-45711-9\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BerstelB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BottoniLMP02,
author = {Paolo Bottoni and
Anna Labella and
Carlos Mart{\'{\i}}n{-}Vide and
Gheorghe Paun},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {Rewriting {P} Systems with Conditional Communication},
booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
pages = {325--353},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_18},
doi = {10.1007/3-540-45711-9\_18},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BottoniLMP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DiekertG02,
author = {Volker Diekert and
Paul Gastin},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {Safety and Liveness Properties for Real Traces and a Direct Translation
from {LTL} to Monoids},
booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
pages = {26--38},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_2},
doi = {10.1007/3-540-45711-9\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/DiekertG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/EhrigHPBH02,
author = {Hartmut Ehrig and
Kathrin Hoffmann and
Julia Padberg and
Paolo Baldan and
Reiko Heckel},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {High-Level Net Processes},
booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
pages = {191--219},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_12},
doi = {10.1007/3-540-45711-9\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/EhrigHPBH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Engelfriet02,
author = {Joost Engelfriet},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {The Delta Operation: From Strings to Trees to Strings},
booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
pages = {39--56},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_3},
doi = {10.1007/3-540-45711-9\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Engelfriet02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/EngelsG02,
author = {Gregor Engels and
Luuk Groenewegen},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {Towards Team-Automata-Driven Object-Oriented Collaborative Work},
booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
pages = {257--276},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_15},
doi = {10.1007/3-540-45711-9\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/EngelsG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Esparza02,
author = {Javier Esparza},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {Grammars as Processes},
booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
pages = {277--297},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_16},
doi = {10.1007/3-540-45711-9\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Esparza02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HalavaH02,
author = {Vesa Halava and
Tero Harju},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {Infinite Solutions of Marked Post Correspondence Problem},
booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
pages = {57--68},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_4},
doi = {10.1007/3-540-45711-9\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HalavaH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Head02,
author = {Tom Head},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {An Aqueous Algorithm for Finding the Bijections Contained in a Binary
Relation},
booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
pages = {354--360},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_19},
doi = {10.1007/3-540-45711-9\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Head02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HoogeboomV02,
author = {Hendrik Jan Hoogeboom and
Nike van Vugt},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {Upper Bounds for Restricted Splicing},
booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
pages = {361--375},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_20},
doi = {10.1007/3-540-45711-9\_20},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HoogeboomV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Janssens02,
author = {Dirk Janssens},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {Local Action Systems and {DPO} Graph Transformation},
booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
pages = {138--157},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_10},
doi = {10.1007/3-540-45711-9\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Janssens02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KarhumakiP02,
author = {Juhani Karhum{\"{a}}ki and
Ion Petre},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {The Branching Point Approach to Conway's Problem},
booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
pages = {69--76},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_5},
doi = {10.1007/3-540-45711-9\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KarhumakiP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KariKT02,
author = {Lila Kari and
Rob Kitto and
Gabriel Thierrin},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {Codes, Involutions, and {DNA} Encodings},
booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
pages = {376--393},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_21},
doi = {10.1007/3-540-45711-9\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KariKT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Kreowski02,
author = {Hans{-}J{\"{o}}rg Kreowski},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {A Sight-seeing Tour of the Computational Landscape of Graph Transformation},
booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
pages = {119--137},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_9},
doi = {10.1007/3-540-45711-9\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Kreowski02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Luca02,
author = {Aldo de Luca},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {A Survey of Some Quantitative Approaches to the Notion of Information},
booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
pages = {77--95},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_6},
doi = {10.1007/3-540-45711-9\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Luca02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MateescuS02,
author = {Alexandru Mateescu and
Arto Salomaa},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {Nondeterministic Trajectories},
booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
pages = {96--106},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_7},
doi = {10.1007/3-540-45711-9\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MateescuS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NielsenV02,
author = {Mogens Nielsen and
Frank D. Valencia},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {Temporal Concurrent Constraint Programming: Applications and Behavior},
booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
pages = {298--324},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_17},
doi = {10.1007/3-540-45711-9\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NielsenV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Prescott02,
author = {David M. Prescott},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {{DNA} Manipulations in Ciliates},
booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
pages = {394--417},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_22},
doi = {10.1007/3-540-45711-9\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Prescott02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/RestivoS02,
author = {Antonio Restivo and
Sergio Salemi},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {Binary Patterns in Infinite Binary Words},
booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
pages = {107--118},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_8},
doi = {10.1007/3-540-45711-9\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/RestivoS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Thiagarajan02,
author = {P. S. Thiagarajan},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {Regular Event Structures and Finite Petri Nets: {A} Conjecture},
booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
pages = {244--256},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_14},
doi = {10.1007/3-540-45711-9\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Thiagarajan02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/YokomoriSK02,
author = {Takashi Yokomori and
Yasubumi Sakakibara and
Satoshi Kobayashi},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {A Magic Pot : Self-assembly Computation Revisited},
booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
pages = {418--430},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_23},
doi = {10.1007/3-540-45711-9\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/YokomoriSK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2002rozenberg,
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9},
doi = {10.1007/3-540-45711-9},
isbn = {3-540-43190-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2002rozenberg.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-06-30 06:09 CEST from data curated 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:
