258 lines
8.8 KiB
BibTeX
258 lines
8.8 KiB
BibTeX
%% This BibTeX bibliography file was created using BibDesk.
|
|
%% http://bibdesk.sourceforge.net/
|
|
|
|
|
|
%% Created for Ion Petre at 2014-10-03 16:02:53 +0300
|
|
|
|
|
|
%% Saved with string encoding Unicode (UTF-8)
|
|
|
|
|
|
|
|
@techreport{meski2014,
|
|
Author = {Meski, Artur and Penczek, Wojciech and Rozenberg, Grzegorz},
|
|
Date-Added = {2014-10-03 13:01:29 +0000},
|
|
Date-Modified = {2014-10-03 13:02:44 +0000},
|
|
Institution = {University of Warsaw},
|
|
Number = {1028},
|
|
Title = {Model checking temporal properties of reaction systems},
|
|
Year = {2014}}
|
|
|
|
@article{mauri2012,
|
|
Author = {Luca Corolli and Carlo Maj and Fabrizio Marini and Daniela Besozzi and Giancarlo Mauri},
|
|
Bibsource = {dblp computer science bibliography, http://dblp.org},
|
|
Biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcs/CorolliMMBM12},
|
|
Doi = {10.1016/j.tcs.2012.04.003},
|
|
Journal = {Theoretical Computer Science},
|
|
Pages = {95--108},
|
|
Timestamp = {Fri, 03 Oct 2014 14:54:30 +0200},
|
|
Title = {An excursion in reaction systems: From computer science to biology},
|
|
Url = {http://dx.doi.org/10.1016/j.tcs.2012.04.003},
|
|
Volume = {454},
|
|
Year = {2012},
|
|
Bdsk-Url-1 = {http://dx.doi.org/10.1016/j.tcs.2012.04.003}}
|
|
|
|
@inproceedings{salomaa2012b,
|
|
Author = {Salomaa, Arto},
|
|
Booktitle = {Kozen Fetschrift},
|
|
Date-Added = {2014-10-03 12:44:53 +0000},
|
|
Date-Modified = {2014-10-03 12:46:56 +0000},
|
|
Editor = {R.L. Constable, A. Silva},
|
|
Number = {7230},
|
|
Pages = {271-282},
|
|
Series = {LNCS},
|
|
Title = {On state sequences defined by reaction systems},
|
|
Year = {2012}}
|
|
|
|
@article{salomaa2013,
|
|
Author = {Salomaa, Arto},
|
|
Date-Added = {2014-10-03 12:42:44 +0000},
|
|
Date-Modified = {2014-10-03 12:44:28 +0000},
|
|
Journal = {International Journal of Foundations of Computer Science},
|
|
Number = {1},
|
|
Pages = {147-159},
|
|
Title = {Functional constructions between reaction systems and propositional logic},
|
|
Volume = {24},
|
|
Year = {2013}}
|
|
|
|
@article{salomaa2012,
|
|
Author = {Salomaa, Arto},
|
|
Date-Added = {2014-10-03 12:40:28 +0000},
|
|
Date-Modified = {2014-10-03 12:41:35 +0000},
|
|
Journal = {Theoretical Computer Science},
|
|
Pages = {87-96},
|
|
Title = {Functions and sequences generated by reaction systems},
|
|
Volume = {466},
|
|
Year = {2012}}
|
|
|
|
@article{ehrenfeucht2007reaction,
|
|
Author = {Ehrenfeucht, Andrzej and Rozenberg, Grzegorz},
|
|
Journal = {Fundamenta Informaticae},
|
|
Number = {1},
|
|
Pages = {263--280},
|
|
Publisher = {IOS Press},
|
|
Title = {Reaction systems},
|
|
Volume = {75},
|
|
Year = {2007}}
|
|
|
|
@article{ehrenfeucht2011functions,
|
|
Author = {Ehrenfeucht, Andrzej and Main, Michael and Rozenberg, Grzegorz},
|
|
Journal = {International Journal of Foundations of Computer Science},
|
|
Number = {01},
|
|
Pages = {167--178},
|
|
Publisher = {World Scientific},
|
|
Title = {Functions defined by reaction systems},
|
|
Volume = {22},
|
|
Year = {2011}}
|
|
|
|
@article{azimi2014reaction,
|
|
Author = {Azimi, Sepinoud and Iancu, Bogdan and Petre, Ion},
|
|
Journal = {Fundamenta Informaticae},
|
|
Number = {3},
|
|
Pages = {299--312},
|
|
Publisher = {IOS Press},
|
|
Title = {Reaction System Models for the Heat Shock Response},
|
|
Volume = {131},
|
|
Year = {2014}}
|
|
|
|
@incollection{form-cgars,
|
|
Author = {Formenti, Enrico and Manzoni, Luca and Porreca, AntonioE.},
|
|
Booktitle = {Descriptional Complexity of Formal Systems},
|
|
Doi = {10.1007/978-3-319-09704-6_11},
|
|
Editor = {J{\"u}rgensen, Helmut and Karhum{\"a}ki, Juhani and Okhotin, Alexander},
|
|
Isbn = {978-3-319-09703-9},
|
|
Language = {English},
|
|
Pages = {114-125},
|
|
Publisher = {Springer International Publishing},
|
|
Series = {Lecture Notes in Computer Science},
|
|
Title = {Cycles and Global Attractors of Reaction Systems},
|
|
Url = {http://dx.doi.org/10.1007/978-3-319-09704-6_11},
|
|
Volume = {8614},
|
|
Year = {2014},
|
|
Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-319-09704-6_11}}
|
|
|
|
@incollection{form-fpla,
|
|
Author = {Formenti, Enrico and Manzoni, Luca and Porreca, Antonio E.},
|
|
Booktitle = {Language, Life, Limits},
|
|
Doi = {10.1007/978-3-319-08019-2_20},
|
|
Editor = {Beckmann, Arnold and Csuhaj-Varj{\'u}, Erzs{\'e}bet and Meer, Klaus},
|
|
Isbn = {978-3-319-08018-5},
|
|
Language = {English},
|
|
Pages = {194-203},
|
|
Publisher = {Springer International Publishing},
|
|
Series = {Lecture Notes in Computer Science},
|
|
Title = {Fixed Points and Attractors of Reaction Systems},
|
|
Url = {http://dx.doi.org/10.1007/978-3-319-08019-2_20},
|
|
Volume = {8493},
|
|
Year = {2014},
|
|
Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-319-08019-2_20}}
|
|
|
|
@article{brij-atofrs,
|
|
Author = {Robert Brijder and Andrzej Ehrenfeucht and Michael G. Main and Grzegorz Rozenberg},
|
|
Bibsource = {DBLP, http://dblp.uni-trier.de},
|
|
Ee = {http://dx.doi.org/10.1142/S0129054111008842},
|
|
Journal = {International Journal of Foundations of Computer Science},
|
|
Number = {7},
|
|
Pages = {1499-1517},
|
|
Title = {A Tour of reaction Systems},
|
|
Volume = {22},
|
|
Year = {2011}}
|
|
|
|
@book{gibbons1985algorithmic,
|
|
Author = {Gibbons, Alan},
|
|
Isbn = {9780521288811},
|
|
Lccn = {lc84023835},
|
|
Publisher = {Cambridge University Press},
|
|
Title = {Algorithmic Graph Theory},
|
|
Url = {http://books.google.fi/books?id=Be6t04pgggwC},
|
|
Year = {1985},
|
|
Bdsk-Url-1 = {http://books.google.fi/books?id=Be6t04pgggwC}}
|
|
|
|
@book{immerman1999descriptive,
|
|
Author = {Immerman, Neil},
|
|
Isbn = {9780387986005},
|
|
Lccn = {lc98033563},
|
|
Publisher = {Springer New York},
|
|
Series = {Graduate texts in computer science},
|
|
Title = {Descriptive Complexity},
|
|
Url = {http://books.google.fr/books?id=kWSZ0OWnupkC},
|
|
Year = {1999},
|
|
Bdsk-Url-1 = {http://books.google.fr/books?id=kWSZ0OWnupkC}}
|
|
|
|
@inproceedings{formenti2014b,
|
|
Author = {Formenti, Enrico and Manzoni, Luca and Porreca, Antonio E.},
|
|
Booktitle = {Descriptional Complexity of Formal Systems},
|
|
Doi = {10.1007/978-3-642-32208-2_11},
|
|
Editor = {J{\"u}rgensen, Helmut and Karhum{\"a}ki, Juhani and Okhotin, Alexander},
|
|
Pages = {114--125},
|
|
Publisher = {Springer},
|
|
Series = {Lecture Notes in Computer Science},
|
|
Title = {Cycles and Global Attractors of Reaction Systems},
|
|
Volume = {8614},
|
|
Year = {2014},
|
|
Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-642-32208-2_11}}
|
|
|
|
@inproceedings{formenti2014a,
|
|
Author = {Formenti, Enrico and Manzoni, Luca and Porreca, Antonio E.},
|
|
Booktitle = {Language, Life, Limits, 10th Conference on Computability in Europe, CiE 2014},
|
|
Doi = {10.1007/978-3-319-08019-2_20},
|
|
Editor = {Beckmann, Arnold and Csuhaj-Varj\'u, Erzs\'ebet and Meer, Klaus},
|
|
Pages = {194--203},
|
|
Publisher = {Springer},
|
|
Series = {Lecture Notes in Computer Science},
|
|
Title = {Fixed Points and Attractors of Reaction Systems},
|
|
Volume = {8493},
|
|
Year = {2014},
|
|
Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-319-08019-2_20}}
|
|
|
|
@book{papadimitriou1993a,
|
|
Author = {Papadimitriou, Christos H.},
|
|
Publisher = {Addison-Wesley},
|
|
Title = {Computational Complexity},
|
|
Year = {1993}}
|
|
|
|
@book{libkin2012a,
|
|
Author = {Libkin, Leonid},
|
|
Publisher = {Springer},
|
|
Title = {Elements of Finite Model Theory},
|
|
Year = {2012}}
|
|
|
|
@book{Cormen:2001:IA:580470,
|
|
Author = {Cormen, Thomas H. and Stein, Clifford and Rivest, Ronald L. and Leiserson, Charles E.},
|
|
Edition = {2nd},
|
|
Isbn = {0070131511},
|
|
Publisher = {McGraw-Hill Higher Education},
|
|
Title = {Introduction to Algorithms},
|
|
Year = {2001}}
|
|
|
|
@article{petre2011simple,
|
|
Author = {Petre, Ion and Mizera, Andrzej and Hyder, Claire L. and Meinander, Annika and Mikhailov, Andrey and Morimoto, Richard I. and Sistonen, Lea and Eriksson, John E. and Back, Ralph-Johan},
|
|
Journal = {Natural Computing},
|
|
Number = {1},
|
|
Pages = {595--612},
|
|
Publisher = {Springer},
|
|
Title = {A simple mass-action model for the eukaryotic heat shock response and its mathematical validation},
|
|
Volume = {10},
|
|
Year = {2011}}
|
|
|
|
@article{rieger2005mathematical,
|
|
Author = {Rieger, Theodore R. and Morimoto, Richard I. and Hatzimanikatis, Vassily},
|
|
Journal = {Biophysical journal},
|
|
Number = {3},
|
|
Pages = {1646--1658},
|
|
Publisher = {Elsevier},
|
|
Title = {Mathematical Modeling of the Eukaryotic Heat-Shock Response: Dynamics of the hsp70 promoter},
|
|
Volume = {88},
|
|
Year = {2005}}
|
|
|
|
@book{klipp2008systems,
|
|
Author = {Klipp, Edda and Herwig, Ralf and Kowald, Axel and Wierling, Christoph and Lehrach, Hans},
|
|
Publisher = {John Wiley \& Sons},
|
|
Title = {Systems biology in practice: concepts, implementation and application},
|
|
Year = {2008}}
|
|
|
|
@article{provan1983complexity,
|
|
Author = {Provan, J Scott and Ball, Michael O.},
|
|
Journal = {SIAM Journal on Computing},
|
|
Number = {4},
|
|
Pages = {777--788},
|
|
Publisher = {SIAM},
|
|
Title = {The complexity of counting cuts and of computing the probability that a graph is connected},
|
|
Volume = {12},
|
|
Year = {1983}}
|
|
|
|
@incollection{Voellmy2,
|
|
year={2007},
|
|
isbn={978-0-387-39974-4},
|
|
booktitle={Molecular Aspects of the Stress Response: Chaperones, Membranes and Networks},
|
|
volume={594},
|
|
series={Advances in Experimental Medicine and Biology},
|
|
editor={Csermely, Peter and V\'{i}gh, L\'{a}szl\'{o}},
|
|
doi={10.1007/978-0-387-39975-1_9},
|
|
title={Chaperone Regulation of the Heat Shock Protein Response},
|
|
url={http://dx.doi.org/10.1007/978-0-387-39975-1_9},
|
|
publisher={Springer New York},
|
|
author={Voellmy, Richard and Boellmann, Frank},
|
|
pages={89-99},
|
|
language={English}
|
|
}
|