default search action
Search dblp for Publications
export results for "toc:db/conf/birthday/rozenberg2002.bht:"
@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} }
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.