Refine my results

VerifyThis 2019 : a program verification competition

Dross, Claire ; Furia, Carlo A ; Huisman, Marieke ; Monahan, Rosemary ; Müller, Peter

In: International Journal on Software Tools for Technology Transfer, 2021, vol. 23, p. 883–893

VerifyThis is a series of program verification competitions that emphasize the human aspect: participants tackle the verification of detailed behavioral properties—something that lies beyond the capabilities of fully automatic verification and requires instead human expertise to suitably encode programs, specifications, and invariants. This paper describes the 8th edition of VerifyThis, ...

AutoProofmeets some verification challenges

Tschannen, Julian ; Furia, Carlo ; Nordio, Martin

In: International Journal on Software Tools for Technology Transfer, 2015, vol. 17, no. 6, p. 745-755

Prediction of non-isothermal ternary gas-phase breakthrough experiments based on binary data

Marx, Dorian ; Joss, Lisa ; Casas, Nathalie ; Schell, Johanna ; Mazzotti, Marco

In: Adsorption, 2014, vol. 20, no. 2-3, p. 493-510

Modeling water vapor adsorption/desorption cycles

Hefti, Max ; Mazzotti, Marco

In: Adsorption, 2014, vol. 20, no. 2-3, p. 359-371

On-line optimizing control of the intermittent simulated moving bed process

Katsuo, Shigeharu ; Grossmann, Cristian ; Morari, Manfred ; Mazzotti, Marco

In: Adsorption, 2014, vol. 20, no. 1, p. 109-119

Pure and binary adsorption of CO2, H2, and N2 on activated carbon

Schell, Johanna ; Casas, Nathalie ; Pini, Ronny ; Mazzotti, Marco

In: Adsorption, 2012, vol. 18, no. 1, p. 49-65

Production of fine and speciality chemicals: procedure for the estimation of LCIs

Geisler, Georg ; Hofstetter, Thomas ; Hungerbühler, Konrad

In: The International Journal of Life Cycle Assessment, 2004, vol. 9, no. 2, p. 101-113

Alignments with non-overlapping moves, inversions and tandem duplications in O ( n 4) time

Ledergerber, Christian ; Dessimoz, Christophe

In: Journal of Combinatorial Optimization, 2008, vol. 16, no. 3, p. 263-278

Fixed bed adsorption of CO2/H2 mixtures on activated carbon: experiments and modeling

Casas, Nathalie ; Schell, Johanna ; Pini, Ronny ; Mazzotti, Marco

In: Adsorption, 2012, vol. 18, no. 2, p. 143-161

Modeling the extra-column volume in a small column setup for bulk gas adsorption

Joss, Lisa ; Mazzotti, Marco

In: Adsorption, 2012, vol. 18, no. 5-6, p. 381-393