S&T School Leadership
| Title | S&T School Leadership |
|---|---|
| Alternative | S&T - Leadshp |
| Faculty | Faculty of Science and Technology |
Latest research outputs
Sort by Date Title
Bacillus subtilis fadB (ysiB) gene encodes an enoyl-CoA hydratase
Frandi, A., Zucca, P., Marvasi, M., Mastromei, G., Sanjust, E. and Perito, B. 2011. Bacillus subtilis fadB (ysiB) gene encodes an enoyl-CoA hydratase. Annals of Microbiology. 61 (2, Jou), pp. 371-374. https://doi.org/10.1007/s13213-010-0121-5Article
Salmonella and tomatoes
Bartz, J., Marvasi, M. and Teplitski, M. 2014. Salmonella and tomatoes. in: Matthews, K., Sapers, G. and Gerba, C. (ed.) The produce contamination problem: causes and solution San Diego Academic Press. pp. 269-289Book chapter
Arsenic-resistant bacteria isolated from contaminated sediments of the Orbetello Lagoon, Italy, and their characterization
Pepi, M., Volterrani, M., Renzi, M., Marvasi, M., Gasperini, S., Franchi, E. and Focardi, S. 2007. Arsenic-resistant bacteria isolated from contaminated sediments of the Orbetello Lagoon, Italy, and their characterization. Journal of Applied Microbiology. 103 (6, Jou), pp. 2299-2308.Article
Two naphthalene degrading bacteria belonging to the genera Paenibacillus and Pseudomonas isolated from a highly polluted lagoon perform different sensitivities to the organic and heavy metal contaminants
Pepi, M., Lobianco, A., Renzi, M., Perra, G., Bernardini, E., Marvasi, M., Gasperini, S., Volterrani, M., Franchi, E., Heipieper, H. and Focardi, S. 2009. Two naphthalene degrading bacteria belonging to the genera Paenibacillus and Pseudomonas isolated from a highly polluted lagoon perform different sensitivities to the organic and heavy metal contaminants. Extremophiles : life under extreme conditions. 13 (5, Jou), pp. 839-848.Article
Physiological requirements for carbonate precipitation during biofilm development of Bacillus subtilis etfA mutant
Marvasi, M., Visscher, P., Perito, B., Mastromei, G. and Casillas-Martinez, L. 2010. Physiological requirements for carbonate precipitation during biofilm development of Bacillus subtilis etfA mutant. FEMS Microbiology Ecology. 71 (3, Jou), pp. 341-350.Article
Exopolymeric substances (EPS) from Bacillus subtilis: polymers and genes encoding their synthesis
Marvasi, M., Visscher, P. and Casillas Martinez, L. 2010. Exopolymeric substances (EPS) from Bacillus subtilis: polymers and genes encoding their synthesis. FEMS microbiology letters. 313 (1, Jou), pp. 1-9.Article
Factors that affect proliferation of Salmonella in tomatoes post-harvest: the roles of seasonal effects, irrigation regime, crop and pathogen genotype
Marvasi, M., Hochmuth, G., Giurcanu, M., George, A., Noel, J., Bartz, J. and Teplitski, M. 2013. Factors that affect proliferation of Salmonella in tomatoes post-harvest: the roles of seasonal effects, irrigation regime, crop and pathogen genotype. PLoS ONE. 8 (12), pp. 1-11. https://doi.org/10.1371/journal.pone.0080871Article
Effect of the irrigation regime on the susceptibility of pepper and tomato to post-harvest proliferation of Salmonella enterica
Marvasi, M., George, A., Giurcanu, M., Hochmuth, G., Noel, J. and Teplitski, M. 2015. Effect of the irrigation regime on the susceptibility of pepper and tomato to post-harvest proliferation of Salmonella enterica. Food Microbiology. 46, pp. 139-144. https://doi.org/10.1016/j.fm.2014.07.014Article
Laboratory activity to effectively teach introductory geomicrobiology concepts to non-geology majors
Marvasi, M., Davila-Vazquez, Y. and Martinez, L. 2013. Laboratory activity to effectively teach introductory geomicrobiology concepts to non-geology majors. Journal of microbiology & biology education. 14 (2, Jou), pp. 206-212.Article
Differential regulation of Salmonella typhimurium genes involved in O-antigen capsule production and their role in persistence within tomato fruit
Marvasi, M., Cox, C., Xu, Y., Noel, J., Giovannoni, J. and Teplitski, M. 2013. Differential regulation of Salmonella typhimurium genes involved in O-antigen capsule production and their role in persistence within tomato fruit. Molecular plant-microbe interactions : MPMI. 26 (7, Jou), pp. 793-800.Article
Systematic analysis of the ability of Nitric Oxide donors to dislodge biofilms formed by Salmonella enterica and Escherichia coli O157:H7
Marvasi, M., Chen, C., Carrazana, M., Durie, I. and Teplitski, M. 2014. Systematic analysis of the ability of Nitric Oxide donors to dislodge biofilms formed by Salmonella enterica and Escherichia coli O157:H7. AMB Express. 4. https://doi.org/10.1186/s13568-014-0042-yArticle
Arsenic precipitation by an anaerobic arsenic-respiring bacterial strain isolated from the polluted sediments of Orbetello Lagoon, Italy
Focardi, S., Pepi, M., Ruta, M., Marvasi, M., Bernardini, E., Gasperini, S. and Focardi, S. 2010. Arsenic precipitation by an anaerobic arsenic-respiring bacterial strain isolated from the polluted sediments of Orbetello Lagoon, Italy. Letters in Applied Microbiology. 51 (5, Jou), pp. 578-585.Article
The development of specialist support services for young people who have offended and who have also been victims of crime, abuse and/or violence: final report
Porteous, D., Adler, J. and Davidson, J. 2015. The development of specialist support services for young people who have offended and who have also been victims of crime, abuse and/or violence: final report. London MOPAC.Project report
Weak bisimilarity coalgebraically
Popescu, A. 2009. Weak bisimilarity coalgebraically. Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009. Udine, Italy 07 - 10 Sep 2009 Springer. pp. 157-172Conference paper
A semantic approach to interpolation
Popescu, A., Şerbănuţă, T. and Roşu, G. 2009. A semantic approach to interpolation. Theoretical Computer Science. 410 (12-13), pp. 1109-1128. https://doi.org/10.1016/j.tcs.2008.09.038Article
Incremental pattern-based coinduction for process algebra and its Isabelle formalization
Popescu, A. and Gunter, E. 2010. Incremental pattern-based coinduction for process algebra and its Isabelle formalization. Foundations of Software Science and Computation Structures (FOSSACS). Paphos, Cyprus 20 - 28 Mar 2010 Springer. pp. 109-127Conference paper
More SPASS with Isabelle: superposition with hard sorts and configurable simplification
Blanchette, J., Popescu, A., Wand, D. and Weidenbach, C. 2012. More SPASS with Isabelle: superposition with hard sorts and configurable simplification. Interactive Theorem Proving (ITP), Third International Conference. Princeton, New Jersey, US 13 - 15 Aug 2012 Springer. pp. 345-360Conference paper
Proving concurrent noninterference
Popescu, A., Hölzl, J. and Nipkow, T. 2012. Proving concurrent noninterference. 2nd International Conference on Certified Programs and Proofs (CPP 2012). Kyoto, Japan 13 - 15 Dec 2012 Springer. pp. 109-125Conference paper
Formal verification of language-based concurrent noninterference
Popescu, A., Hölzl, J. and Nipkow, T. 2013. Formal verification of language-based concurrent noninterference. Journal of Formalized Reasoning. 6 (1), pp. 1-30. https://doi.org/10.6092/issn.1972-5787/3690Article
Noninterfering schedulers: when possibilistic noninterference implies probabilistic noninterference
Popescu, A., Hölzl, J. and Nipkow, T. 2013. Noninterfering schedulers: when possibilistic noninterference implies probabilistic noninterference. 5th Conference on Algebra and Coalgebra in Computer Science (CALCO). Warsaw, Poland 03 - 06 Sep 2013 Springer. pp. 236-252Conference paper
Mechanizing the metatheory of sledgehammer
Blanchette, J. and Popescu, A. 2013. Mechanizing the metatheory of sledgehammer. 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013). Nancy, France 18 - 20 Sep 2013 Springer. pp. 245-260Conference paper
Formalizing probabilistic noninterference
Popescu, A., Hölzl, J. and Nipkow, T. 2013. Formalizing probabilistic noninterference. 3rd International Conference on Certified Programs and Proofs (CPP 2013). Melbourne, VIC, Australia 11 - 13 Dec 2013 Springer International Publishing. pp. 259-275Conference paper
Nonfree datatypes in Isabelle/HOL: animating a many-sorted metatheory
Schropp, A. and Popescu, A. 2013. Nonfree datatypes in Isabelle/HOL: animating a many-sorted metatheory. Certified Programs and Proofs (CPP). Melbourne, Australia 11 - 13 Dec 2013 Springer. pp. 114-130 https://doi.org/10.1007/978-3-319-03545-1_8Conference paper
Witnessing (co)datatypes
Blanchette, J., Popescu, A. and Traytel, D. 2015. Witnessing (co)datatypes. 24th European Symposium on Programming (ESOP 2015). London, UK 11 - 18 Apr 2015 Springer. pp. 359-382Conference paper
A conference management system with verified document confidentiality
Kanav, S., Lammich, P. and Popescu, A. 2014. A conference management system with verified document confidentiality. Biere, A. and Bloem, R. (ed.) 26th International Conference on Computer Aided Verification (CAV) 2014. Vienna, Austria 18 - 24 Jul 2014 Springer. pp. 167-183 https://doi.org/10.1007/978-3-319-08867-9_11Conference paper
Unified classical logic completeness: a coinductive pearl
Blanchette, J., Popescu, A. and Traytel, D. 2014. Unified classical logic completeness: a coinductive pearl. 7th International Joint Conference on Automated Reasoning (IJCAR). Vienna, Austria 19 - 22 Jul 2014 Springer International Publishing. pp. 46-60Conference paper
Integrating the strengths of cognitive emotion models with traditional HCI analysis tools
Springett, M., Law, E. and Coulson, M. 2015. Integrating the strengths of cognitive emotion models with traditional HCI analysis tools. Universal Access in the Information Society. 14 (2), pp. 203-214. https://doi.org/10.1007/s10209-013-0335-yArticle
Library of Coastal Vulnerability Indicators
Owen, D., Micou, P., Viavattene, C., Parker, D. and Priest, S. 2015. Library of Coastal Vulnerability Indicators. EU FP7 RISC-KIT Project.Dataset
Verification of quantum protocols using Coq
Boender, J., Kammueller, F. and Nagarajan, R. 2014. Verification of quantum protocols using Coq. 17th Conference on Quantum Information Processing (QIP). Barcelona, Spain 03 - 07 Feb 2014Conference poster
Library of Coastal Vulnerability Indicators guidance document
Viavattene, C., Micou, P., Owen, D., Priest, S. and Parker, D. 2015. Library of Coastal Vulnerability Indicators guidance document. Middlesex University.Project report
Modeling human behaviour with higher order logic: insider threats
Boender, J., Kammueller, F., Ivanova, M. and Primiero, G. 2014. Modeling human behaviour with higher order logic: insider threats. 4th Workshop on Socio-Technical Aspects in Security and Trust. Vienna Technical University, Vienna, Austria 18 Jul 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 31-39Conference paper
A probabilistic analysis framework for malicious insider threats
Chen, T., Kammueller, F., Nemli, I. and Probst, C. 2015. A probabilistic analysis framework for malicious insider threats. 3rd International Conference on Human Aspects of Information Security, Privacy and Trust, HAS 2015, held as part of HCI International 2015. Los Angeles, California, USA 02 - 07 Aug 2015 Springer. pp. 178-189Conference paper
Making security type systems less ad hoc
Nipkow, T. and Popescu, A. 2014. Making security type systems less ad hoc. Information Technology. 56 (6), pp. 267-272. https://doi.org/10.1515/itit-2014-1060Article
Strong normalization for System F by HOAS on top of FOAS
Popescu, A., Gunter, E. and Osborn, C. 2010. Strong normalization for System F by HOAS on top of FOAS. 25th Annual IEEE Symposium on Logic in Computer Science (LICS). Edinburgh, United Kingdom 11 - 14 Jul 2010 Institute of Electrical and Electronics Engineers. pp. 31-40Conference paper
Recursion principles for syntax with bindings and substitution
Popescu, A. and Gunter, E. 2011. Recursion principles for syntax with bindings and substitution. The 16th ACM SIGPLAN International Conference on Functional Programming. Tokyo 19 - 21 Sep 2011 Association for Computing Machinery (ACM). pp. 346-358Conference paper
Foundational, compositional (co)datatypes for higher-order logic: category theory applied to theorem proving
Traytel, D., Popescu, A. and Blanchette, J. 2012. Foundational, compositional (co)datatypes for higher-order logic: category theory applied to theorem proving. 27th Annual IEEE Symposium on Logic in Computer Science (LICS). Dubrovnik, Croatia 25 - 28 Jun 2012 Institute of Electrical and Electronics Engineers (IEEE). pp. 596-605 https://doi.org/10.1109/LICS.2012.75Conference paper
Truly modular (co)datatypes for Isabelle/HOL
Blanchette, J., Hölzl, J., Lochbihler, A., Panny, L., Popescu, A. and Traytel, D. 2014. Truly modular (co)datatypes for Isabelle/HOL. 5th International Conference on Interactive Theorem Proving (ITP). Vienna, Austria 14 - 17 Jul 2014 Springer International Publishing. pp. 93-110Conference paper
Cardinals in Isabelle/HOL
Blanchette, J., Popescu, A. and Taytel, D. 2014. Cardinals in Isabelle/HOL. 5th International Conference on Interactive Theorem Proving. Vienna, Austria 14 - 17 Jul 2014 Springer. pp. 111-127Conference paper
Term-generic logic
Popescu, A. and Roşu, G. 2015. Term-generic logic. Theoretical Computer Science. 577, pp. 1-24. https://doi.org/10.1016/j.tcs.2015.01.047Article
On malfunctioning software
Floridi, L., Fresco, N. and Primiero, G. 2015. On malfunctioning software. Synthese. 192 (4), pp. 1199-1220. https://doi.org/10.1007/s11229-014-0610-3Article
43615
total views9255
total downloads5262
views this month607
downloads this month