%% 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}
}