| |
Author  |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Links |
|
|
Maggioli, F.; Mancini, T.; Tronci, E. |
SBML2Modelica: Integrating biochemical models within open-standard simulation ecosystems |
2019 |
Bioinformatics |
|
1367-4803 |
|
10.1093/bioinformatics/btz860 |
36 |
2165–2172 |
|
|
|
Leeners, B.; Kruger, T.H.C.; Geraedts, K.; Tronci, E.; Mancini, T.; Ille, F.; Egli, M.; Röblitz, S.; Saleh, L.; Spanaus, K.; Schippert, C.; Zhang, Y.; Hengartner, M.P. |
Lack of Associations between Female Hormone Levels and Visuospatial Working Memory, Divided Attention and Cognitive Bias across Two Consecutive Menstrual Cycles |
2017 |
Frontiers in Behavioral Neuroscience |
|
1662-5153 |
|
10.3389/fnbeh.2017.00120 |
11 |
120 |
|
|
|
Leeners, B.; Krueger, T.H.C.; Geraedts, K.; Tronci, E.; Mancini, T.; Egli, M.; Roeblitz, S.; Saleh, L.; Spanaus, K.; Schippert, C.; Zhang, Y.; Ille, F. |
Associations Between Natural Physiological and Supraphysiological Estradiol Levels and Stress Perception |
2019 |
Frontiers in Psychology |
|
1664-1078 |
|
10.3389/fpsyg.2019.01296 |
10 |
1296 |
|
|
|
Leeners, B.; Krueger, T.; Geraedts, K.; Tronci, E.; Mancini, T.; Ille, F.; Egli, M.; Roeblitz, S.; Wunder, D.; Saleh, L.; Schippert, C.; Hengartner, M.P. |
Cognitive function in association with high estradiol levels resulting from fertility treatment |
2021 |
Hormones and Behavior |
|
0018-506x |
|
10.1016/j.yhbeh.2021.104951 |
130 |
104951 |
|
|
|
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone; Troina, Angelo; Tronci, Enrico |
Automatic Covert Channel Analysis of a Multilevel Secure Component |
2004 |
Information and Communications Security, 6th International Conference, ICICS 2004, Malaga, Spain, October 27-29, 2004, Proceedings |
Springer |
|
|
10.1007/b101042 |
|
249-261 |
|
|
|
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone; Troina, Angelo; Tronci, Enrico |
Automatic Analysis of the NRL Pump |
2004 |
Electr. Notes Theor. Comput. Sci. |
|
|
|
10.1016/j.entcs.2004.02.011 |
99 |
245-266 |
|
|
|
Intrigila, Benedetto; Magazzeni, Daniele; Melatti, Igor; Tronci, Enrico |
A Model Checking Technique for the Verification of Fuzzy Control Systems |
2005 |
CIMCA '05: Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce Vol-1 (CIMCA-IAWTIC'06) |
IEEE Computer Society |
0-7695-2504-0-01 |
|
10.1109/CIMCA.2005.1631319 |
|
536-542 |
|
|
|
Hengartner, M. P.; Kruger, T. H. C.; Geraedts, K.; Tronci, E.; Mancini, T.; Ille, F.; Egli, M.; Röblitz, S.; Ehrig, R.; Saleh, L.; Spanaus, K.; Schippert, C.; Zhang, Y.; Leeners, B. |
Negative affect is unrelated to fluctuations in hormone levels across the menstrual cycle: Evidence from a multisite observational study across two successive cycles |
2017 |
Journal of Psychosomatic Research |
|
|
|
10.1016/j.jpsychores.2017.05.018 |
99 |
21-27 |
|
|
|
Hayes, B. P. ; Melatti, I.; Mancini, T.; Prodanovic, M.; Tronci, E. |
Residential Demand Management using Individualised Demand Aware Price Policies |
2017 |
IEEE Transactions On Smart Grid |
|
|
|
10.1109/TSG.2016.2596790 |
8 |
1284-1294 |
|
|
|
Gribaudo, Marco; Horváth, Andras; Bobbio, Andrea; Tronci, Enrico; Ciancamerla, Ester; Minichino, Michele |
Fluid Petri Nets and hybrid model checking: a comparative case study |
2003 |
Int. Journal on: Reliability Engineering & System Safety |
Elsevier |
|
|
10.1016/S0951-8320(03)00089-9 |
81 |
239-257 |
|
