Checking and Enforcing Robustness against TSO
Bouajjani, Ahmed, Derevenetc, Egor, Meyer, Roland
Published in Programming Languages and Systems (2013)
Published in Programming Languages and Systems (2013)
Get full text
Book Chapter
Circular Economy of phosphorus – challenges and findings in performing comparable LCA-studies of phosphorus-recycling
Get full text
Journal Article
Conference Proceeding
High decapod diversity revealed by minimal-invasive, short-term survey of Brijuni marine protected area
Melzer, Roland R, Moira Bursic, Feliza Ceseña, Jana S. Dömel, Martin HeÃ, Sebastian Landmann, Martina Metz, Martin Pfannkuchen, Isaac Reed, Roland Meyer
Published in Biodiversity and conservation (01.07.2016)
Published in Biodiversity and conservation (01.07.2016)
Get full text
Journal Article
The effect of fatty acid composition on biodiesel oxidative stability
Falk, Oliver, Meyer-Pittroff, Roland
Published in European journal of lipid science and technology (01.12.2004)
Published in European journal of lipid science and technology (01.12.2004)
Get full text
Journal Article
A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets
Khomenko, Victor, Meyer, Roland, Hüchting, Reiner
Published in Logical methods in computer science (17.09.2013)
Published in Logical methods in computer science (17.09.2013)
Get full text
Journal Article
Shallow groundwater quality on dairy farms with irrigated forage crops
Harter, Thomas, Davis, Harley, Mathews, Marsha C, Meyer, Roland D
Published in Journal of contaminant hydrology (01.04.2002)
Published in Journal of contaminant hydrology (01.04.2002)
Get full text
Journal Article
Petri Net Reachability Graphs: Decidability Status of First Order Properties
Darondeau, Philippe, Demri, Stephane, Meyer, Roland, Morvan, Christophe
Published in Logical methods in computer science (22.10.2012)
Published in Logical methods in computer science (22.10.2012)
Get full text
Journal Article