List View
 |   | 
   web
Author (down) Title Year Publication Publisher ISSN ISBN DOI Volume Pages
Kuijpers, Ed; Carotenuto, Luigi; Malapert, Jean-Cristophe; Markov-Vetter, Daniela; Melatti, Igor; Orlandini, Andrea; Pinchuk, Ranni Collaboration on ISS Experiment Data and Knowledge Representation 2012 Proc. of IAC 2012 D.5.11
Intrigila, Benedetto; Salvo, Ivano; Sorgi, Stefano A characterization of weakly Church-Rosser abstract reduction systems that are not Church-Rosser 2001 Information and Computation Academic Press, Inc. 0890-5401 10.1006/inco.2001.2945 171 137-155
Intrigila, Benedetto; Melatti, Igor; Tofani, Alberto; Macchiarelli, Guido Computational models of myocardial endomysial collagen arrangement 2007 Computer Methods and Programs in Biomedicine Elsevier North-Holland, Inc. 0169-2607 10.1016/j.cmpb.2007.03.004 86 232-244
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
Gribaudo, Marco; Horváth, Andras; Bobbio, Andrea; Tronci, Enrico; Ciancamerla, Ester; Minichino, Michele Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant 2002 21st International Conference on Computer Safety, Reliability and Security (SAFECOMP) Springer 3-540-44157-3 10.1007/3-540-45732-1_27 273-283
Gorrieri, Roberto; Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Martinelli, Fabio; Tini, Simone; Tronci, Enrico Automated analysis of timed security: a case study on web privacy 2004 International Journal of Information Security 10.1007/s10207-004-0037-9 2 168-186
Focardi, Riccardo; Gorrieri, Roberto; Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Martinelli, Fabio; Tini, Simone; Tronci, Enrico Formal Models of Timing Attacks on Web Privacy 2002 Electronic Notes in Theoretical Computer Science 10.1016/S1571-0661(04)00329-9 62 229-243