moved to folder thesis
This commit is contained in:
elvis
343
Thesis/document.bib
Normal file
343
Thesis/document.bib
Normal file
@ -0,0 +1,343 @@
|
||||
@article{Brodo_Bruni_Falaschi_2021,
|
||||
author = {Brodo, Linda and Bruni, Roberto and Falaschi,
|
||||
Moreno},
|
||||
doi = {10.1016/j.tcs.2021.03.024},
|
||||
journal = {Theoretical Computer Science},
|
||||
month = 7,
|
||||
pages = {1-27},
|
||||
title = {A logical and graphical framework for Reaction
|
||||
Systems},
|
||||
volume = 875,
|
||||
year = 2021,
|
||||
bdsk-url-1 = {https://doi.org/10.1016/j.tcs.2021.03.024}
|
||||
}
|
||||
|
||||
@article{Rozenberg_Engelfriet_1998,
|
||||
author = {Rozenberg, Grzegorz and Engelfriet, Joost},
|
||||
doi = {10.1007/3-540-65306-6_14},
|
||||
journal = {Lecture Notes in Computer Science},
|
||||
pages = {12-121},
|
||||
title = {Elementary Net Systems},
|
||||
year = 1998,
|
||||
bdsk-url-1 = {https://doi.org/10.1007/3-540-65306-6_14}
|
||||
}
|
||||
|
||||
@book{Baier_Katoen_Larsen_2016,
|
||||
author = {Baier, Christel and Katoen, Joost-Pieter and Larsen,
|
||||
Kim Guldstrand},
|
||||
place = {Cumberland},
|
||||
publisher = {MIT Press, The},
|
||||
title = {Principles of model checking},
|
||||
year = 2016
|
||||
}
|
||||
|
||||
@article{Aceto_Ingolfsdottir_Srba_2011,
|
||||
author = {Aceto, Luca and Ingolfsdottir, Anna and Srba,
|
||||
Jir{\'\i}},
|
||||
doi = {10.1017/cbo9780511792588.004},
|
||||
journal = {Advanced Topics in Bisimulation and Coinduction},
|
||||
month = 9,
|
||||
pages = {100-172},
|
||||
title = {The algorithmics of Bisimilarity},
|
||||
year = 2011,
|
||||
bdsk-url-1 = {https://doi.org/10.1017/cbo9780511792588.004}
|
||||
}
|
||||
|
||||
@article{Cleaveland_Sokolsky_2001,
|
||||
author = {Cleaveland, Rance and Sokolsky, Oleg},
|
||||
doi = {10.1016/b978-044482830-9/50024-2},
|
||||
journal = {Handbook of Process Algebra},
|
||||
pages = {391-424},
|
||||
title = {Equivalence and preorder checking for finite-state
|
||||
systems},
|
||||
year = 2001,
|
||||
bdsk-url-1 = {https://doi.org/10.1016/b978-044482830-9/50024-2}
|
||||
}
|
||||
|
||||
@article{Paige_Tarjan_1987,
|
||||
author = {Paige, Robert and Tarjan, Robert E.},
|
||||
doi = {10.1137/0216062},
|
||||
journal = {SIAM Journal on Computing},
|
||||
month = 12,
|
||||
number = 6,
|
||||
pages = {973-989},
|
||||
title = {Three partition refinement algorithms},
|
||||
volume = 16,
|
||||
year = 1987,
|
||||
bdsk-url-1 = {https://doi.org/10.1137/0216062}
|
||||
}
|
||||
|
||||
@online{rust_2025,
|
||||
accessed = {2025-09-14},
|
||||
author = {The Rust teams},
|
||||
title = {Rust Programming Language},
|
||||
url = {https://rust-lang.org/},
|
||||
bdsk-url-1 = {https://rust-lang.org/}
|
||||
}
|
||||
|
||||
@report{WebAssemblyCoreSpecification2,
|
||||
date = {2025-09-14},
|
||||
editor = {Rossberg, Andreas},
|
||||
institution = {{W3C}},
|
||||
langid = {english},
|
||||
title = {{WebAssembly Core Specification}},
|
||||
url = {https://www.w3.org/TR/wasm-core-2/},
|
||||
version = {2.0},
|
||||
bdsk-url-1 = {https://www.w3.org/TR/wasm-core-2/}}
|
||||
|
||||
@software{Burgener2025,
|
||||
author = {Daniel Burgener},
|
||||
date = {2025-05-22},
|
||||
license = {Apache-2.0 OR MIT},
|
||||
title = {{lalrpop}: convenient LR(1) parser generator},
|
||||
url = {https://github.com/lalrpop/lalrpop},
|
||||
version = {0.22.2},
|
||||
bdsk-url-1 = {https://github.com/lalrpop/lalrpop}}
|
||||
|
||||
@software{Borgna2025,
|
||||
author = {Agust{\'\i}n Borgna},
|
||||
date = {2025-09-30},
|
||||
license = {MIT OR Apache-2.0},
|
||||
title = {{petgraph}: Graph data structure library. Provides graph types and graph algorithms.},
|
||||
url = {https://github.com/petgraph/petgraph},
|
||||
version = {0.8.3},
|
||||
bdsk-url-1 = {https://github.com/petgraph/petgraph}}
|
||||
|
||||
@online{graphviz_2025,
|
||||
accessed = {2025-09-14},
|
||||
author = {Ellson, John},
|
||||
title = {Graphviz is open source graph visualization software.},
|
||||
url = {https://graphviz.org/doc/info/lang.html},
|
||||
bdsk-url-1 = {https://graphviz.org/doc/info/lang.html}}
|
||||
|
||||
@online{graphml_2025,
|
||||
accessed = {2025-09-14},
|
||||
author = {The GraphML Team},
|
||||
title = {GraphML is a comprehensive and easy-to-use file format for graphs.},
|
||||
url = {http://graphml.graphdrawing.org/},
|
||||
bdsk-url-1 = {http://graphml.graphdrawing.org/}}
|
||||
|
||||
@software{egui_node_graph22024,
|
||||
author = {trevyn},
|
||||
date = {2024-11-03},
|
||||
license = {MIT},
|
||||
title = {{egui\_node\_graph2}: A helper library to create interactive node graphs using egui},
|
||||
url = {https://github.com/trevyn/egui_node_graph2},
|
||||
version = {0.7.0},
|
||||
bdsk-url-1 = {https://github.com/trevyn/egui_node_graph2}}
|
||||
|
||||
@software{Ernerfeldt2025,
|
||||
author = {Emil Ernerfeldt},
|
||||
date = {2025-11-13},
|
||||
license = {MIT OR Apache-2.0},
|
||||
title = {{egui}: An easy-to-use immediate mode GUI that runs on both web and native},
|
||||
url = {https://github.com/emilk/egui},
|
||||
version = {0.33.2},
|
||||
bdsk-url-1 = {https://github.com/emilk/egui}}
|
||||
|
||||
@online{btree_2025,
|
||||
accessed = {2025-09-14},
|
||||
author = {The Rust teams},
|
||||
title = {An ordered set based on a B-Tree.},
|
||||
url = {https://doc.rust-lang.org/std/collections/struct.BTreeSet.html},
|
||||
bdsk-url-1 = {https://doc.rust-lang.org/std/collections/struct.BTreeSet.html}}
|
||||
|
||||
@online{arc_2025,
|
||||
accessed = {2025-09-14},
|
||||
author = {The Rust teams},
|
||||
title = {A thread-safe reference-counting pointer. `Arc' stands for `Atomically Reference Counted'.},
|
||||
url = {https://doc.rust-lang.org/std/sync/struct.Arc.html},
|
||||
bdsk-url-1 = {https://doc.rust-lang.org/std/sync/struct.Arc.html}}
|
||||
|
||||
@software{Rotem2025,
|
||||
author = {Nadav Rotem},
|
||||
date = {2025-04-24},
|
||||
license = {MIT},
|
||||
title = {{layout-rs}: A graph visualization program},
|
||||
url = {https://github.com/nadavrot/layout},
|
||||
version = {0.1.3},
|
||||
bdsk-url-1 = {https://github.com/nadavrot/layout}}
|
||||
|
||||
@software{Stampfl2025,
|
||||
author = {Laurenz Stampfl},
|
||||
date = {2025-04-17},
|
||||
license = {Apache-2.0 OR MIT},
|
||||
title = {{resvg}: An SVG rendering library.},
|
||||
url = {https://github.com/linebender/resvg},
|
||||
version = {0.45.1},
|
||||
bdsk-url-1 = {https://github.com/linebender/resvg}}
|
||||
|
||||
@software{wasm-bindgen2025,
|
||||
author = {daxpedda},
|
||||
date = {2025-10-27},
|
||||
license = {MIT OR Apache-2.0},
|
||||
title = {{wasm-bindgen}: Easy support for interacting between JS and Rust.},
|
||||
url = {https://github.com/wasm-bindgen/wasm-bindgen},
|
||||
version = {0.2.105},
|
||||
bdsk-url-1 = {https://github.com/wasm-bindgen/wasm-bindgen}}
|
||||
|
||||
@software{binaryen_2025,
|
||||
date = {2025-10-27},
|
||||
title = {{binaryen}: a compiler and toolchain infrastructure library for WebAssembly, written in C++.},
|
||||
url = {https://github.com/WebAssembly/binaryen},
|
||||
bdsk-url-1 = {https://github.com/WebAssembly/binaryen}}
|
||||
|
||||
@manual{manualperf_2025,
|
||||
edition = {6.17-2},
|
||||
month = 11,
|
||||
title = {perf(1) - Linux manual page},
|
||||
year = 2025
|
||||
}
|
||||
|
||||
@software{Ochtman2025,
|
||||
author = {Dirkjan Ochtman},
|
||||
date = {2025-11-07},
|
||||
license = {MIT OR Apache-2.0},
|
||||
title = {{flamegraph}: A simple cargo subcommand for generating flamegraphs, using inferno under the hood},
|
||||
url = {https://github.com/flamegraph-rs/flamegraph},
|
||||
version = {0.6.10},
|
||||
bdsk-url-1 = {https://github.com/flamegraph-rs/flamegraph}}
|
||||
|
||||
@article{Brodo_Bruni_Falaschi_Gori_Milazzo_2025,
|
||||
author = {Brodo, Linda and Bruni, Roberto and Falaschi, Moreno
|
||||
and Gori, Roberta and Milazzo, Paolo},
|
||||
doi = {10.1007/s11047-025-10046-5},
|
||||
journal = {Natural Computing},
|
||||
month = 9,
|
||||
title = {Slicing analyses for negative dependencies in
|
||||
Reaction Systems Modeling Gene Regulatory Networks},
|
||||
year = 2025,
|
||||
bdsk-url-1 = {https://doi.org/10.1007/s11047-025-10046-5}
|
||||
}
|
||||
|
||||
@article{Mitrana_Paun_Petre_Prelipcean_2025,
|
||||
author = {Mitrana, Victor and P{\u a}un, Mihaela and Petre,
|
||||
Ion and Prelipcean, Ana-Maria},
|
||||
doi = {10.1109/iraset64571.2025.11008263},
|
||||
journal = {2025 5th International Conference on Innovative
|
||||
Research in Applied Science, Engineering and
|
||||
Technology (IRASET)},
|
||||
month = 5,
|
||||
pages = {1-6},
|
||||
title = {Quantitative reaction systems},
|
||||
year = 2025,
|
||||
bdsk-url-1 = {https://doi.org/10.1109/iraset64571.2025.11008263}
|
||||
}
|
||||
|
||||
@article{Bottoni_Mitrana_Petre_2025,
|
||||
author = {Bottoni, Paolo and Mitrana, Victor and Petre, Ion},
|
||||
doi = {10.1007/978-3-031-97274-4_11},
|
||||
journal = {Lecture Notes in Computer Science},
|
||||
pages = {179-193},
|
||||
title = {Multiset Reaction Systems},
|
||||
year = 2025,
|
||||
bdsk-url-1 = {https://doi.org/10.1007/978-3-031-97274-4_11}
|
||||
}
|
||||
|
||||
@misc{ReactionSystemsGit,
|
||||
author = {Rossi, Elvis},
|
||||
howpublished = {\url{https://github.com/elvisrossi/ReactionSystems}},
|
||||
journal = {GitHub repository},
|
||||
publisher = {GitHub},
|
||||
title = {ReactionSystems},
|
||||
year = 2025
|
||||
}
|
||||
|
||||
@misc{ReactionSystemsGUIGit,
|
||||
author = {Rossi, Elvis},
|
||||
howpublished =
|
||||
{\url{https://github.com/elvisrossi/ReactionSystemsGUI}},
|
||||
journal = {GitHub repository},
|
||||
publisher = {GitHub},
|
||||
title = {ReactionSystems},
|
||||
year = 2025
|
||||
}
|
||||
|
||||
@misc{BioResolve2025,
|
||||
howpublished = {\url{https://pages.di.unipi.it/bruni/LTSRS/}},
|
||||
title = {BioResolve web page, a Prolog interpreter for
|
||||
Reaction Systems analysis.},
|
||||
year = 2025
|
||||
}
|
||||
|
||||
@article{Brodo_Bruni_Falaschi_Gori_Milazzo_Montagna_Pulieri_2024,
|
||||
author = {Brodo, Linda and Bruni, Roberto and Falaschi, Moreno
|
||||
and Gori, Roberta and Milazzo, Paolo and Montagna,
|
||||
Valeria and Pulieri, Pasquale},
|
||||
doi = {10.1007/s10009-024-00757-y},
|
||||
journal = {International Journal on Software Tools for
|
||||
Technology Transfer},
|
||||
month = 6,
|
||||
number = 4,
|
||||
pages = {509-526},
|
||||
title = {Causal analysis of positive reaction systems},
|
||||
volume = 26,
|
||||
year = 2024,
|
||||
bdsk-url-1 = {https://doi.org/10.1007/s10009-024-00757-y}
|
||||
}
|
||||
|
||||
@inbook{Ehrenfeucht_Rozenberg_2004,
|
||||
place = {Auckland, New Zealand},
|
||||
title = {Basic Notions of Reaction Systems},
|
||||
volume = {8th International Conference},
|
||||
booktitle = {Developments in Language Theory},
|
||||
publisher = {Springer},
|
||||
author = {A. Ehrenfeucht and G. Rozenberg},
|
||||
year = 2004,
|
||||
pages = {27-29}
|
||||
}
|
||||
|
||||
@article{Ehrenfeucht_Rozenberg_2007,
|
||||
author = {Ehrenfeucht, A. and Rozenberg, G.},
|
||||
title = {Reaction Systems},
|
||||
year = 2007,
|
||||
issue_date = {January 2007},
|
||||
publisher = {IOS Press},
|
||||
address = {NLD},
|
||||
volume = 75,
|
||||
number = {1-4},
|
||||
issn = {0169-2968},
|
||||
abstract = {Interactions between biochemical reactions lie at
|
||||
the heart of functioning of a living cell. In order
|
||||
to formalize these interactions we introduce
|
||||
reaction systems. We motivate them by explicitely
|
||||
stating a number of assumptions/axioms that (we
|
||||
believe) hold for a great number of biochemical
|
||||
reactions - we point out that these assumptions are
|
||||
very different from the ones underlying traditional
|
||||
models of computation. The paper provides the basic
|
||||
definitions, illustrates them by biology and
|
||||
computer science oriented examples, relates reaction
|
||||
systems to some traditional models of computation,
|
||||
and proves some basic properties of reaction
|
||||
systems.},
|
||||
journal = {Fundam. Inf.},
|
||||
month = jan,
|
||||
pages = {263-280},
|
||||
numpages = 18
|
||||
}
|
||||
|
||||
@inbook{Clark_Pazdernik_McGehee_2018,
|
||||
edition = {3rd},
|
||||
title = {Regulation of Transcription in Prokaryotes},
|
||||
booktitle = {Molecular Biology},
|
||||
publisher = {Academic Press},
|
||||
author = {Clark, David P. and Pazdernik, Nanette J. and
|
||||
McGehee, Michelle R.},
|
||||
year = 2018,
|
||||
pages = {532-542}
|
||||
}
|
||||
|
||||
@Misc{git,
|
||||
key = {https://git-scm.com/},
|
||||
author = {Junio Hamano and others},
|
||||
title = {Git},
|
||||
year = 2025
|
||||
}
|
||||
|
||||
@Misc{rustup,
|
||||
key = {https://rustup.rs/},
|
||||
author = {The Rust Project},
|
||||
title = {Rustup: the Rust toolchain installer},
|
||||
year = 2025
|
||||
}
|
||||
Reference in New Issue
Block a user