Publications - Current Year

“Reduction of Chemical Reaction Networks with Approximate Conservation Laws,” SIAM journal on Applied Dynamical Systems, vol. 23, no. 1, 2024.

@article{Desoeuvre24b,
TITLE = {Reduction of Chemical Reaction Networks with Approximate Conservation Laws},
AUTHOR = {Desoeuvres, Aurelien and Iosif, Alexandru and Luders, Christoph and Radulescu, Ovidiu and Rahkooy, Hamid and Seiss, Matthias and Sturm, Thomas},
LANGUAGE = {eng},
ISSN = {1536-0040},
DOI = {10.1137/22M1543963},
PUBLISHER = {SIAM},
ADDRESS = {Philadelphia, PA},
YEAR = {2024},
DATE = {2024},
JOURNAL = {SIAM journal on Applied Dynamical Systems},
VOLUME = {23},
NUMBER = {1},
PAGES = {256--296},
}

%0 Journal Article
%A Desoeuvres, Aurelien
%A Iosif, Alexandru
%A Luders, Christoph
%A Radulescu, Ovidiu
%A Rahkooy, Hamid
%A Seiss, Matthias
%A Sturm, Thomas
%+ External Organizations
External Organizations
External Organizations
External Organizations
External Organizations
External Organizations
Automation of Logic, MPI for Informatics, Max Planck Society
%T Reduction of Chemical Reaction Networks with Approximate Conservation Laws : 
%G eng
%U http://hdl.handle.net/21.11116/0000-000F-13AF-7
%R 10.1137/22M1543963
%D 2024
%J SIAM journal on Applied Dynamical Systems
%V 23
%N 1
%& 256
%P 256 - 296
%I SIAM
%C Philadelphia, PA
%@ false

“A Computational Approach to Polynomial Conservation Laws,” SIAM Journal on Applied Dynamical Systems, vol. 23, no. 1, 2024.

@article{Desoeuvres24,
TITLE = {A Computational Approach to Polynomial Conservation Laws},
AUTHOR = {Desoeuvres, Aur{\'e}lien and Iosif, Alexandru and L{\"u}ders, Christoph and Radulescu, Ovidiu and Rahkooy, Hamid and Sei{\ss}, Matthias and Sturm, Thomas},
LANGUAGE = {eng},
ISSN = {1536-0040},
DOI = {10.1137/22M1544014},
PUBLISHER = {SIAM},
ADDRESS = {Philadelphia, PA},
YEAR = {2024},
DATE = {2024},
JOURNAL = {SIAM Journal on Applied Dynamical Systems},
VOLUME = {23},
NUMBER = {1},
PAGES = {813--854},
}

%0 Journal Article
%A Desoeuvres, Aurélien
%A Iosif, Alexandru
%A Lüders, Christoph
%A Radulescu, Ovidiu
%A Rahkooy, Hamid
%A Seiß, Matthias
%A Sturm, Thomas
%+ External Organizations
External Organizations
External Organizations
External Organizations
External Organizations
External Organizations
Automation of Logic, MPI for Informatics, Max Planck Society
%T A Computational Approach to Polynomial Conservation Laws : 
%G eng
%U http://hdl.handle.net/21.11116/0000-000F-7429-1
%R 10.1137/22M1544014
%7 2024
%D 2024
%J SIAM Journal on Applied Dynamical Systems
%V 23
%N 1
%& 813
%P 813 - 854
%I SIAM
%C Philadelphia, PA
%@ false

“Counting QBF Solutions at Level Two,” Constraints, 2024.

@article{Moehle24,
TITLE = {Counting {QBF} Solutions at Level Two},
AUTHOR = {Plank, Andreas and M{\"o}hle, Sibylle and Seidl, Martina},
LANGUAGE = {eng},
ISSN = {1383-7133},
DOI = {10.1007/s10601-024-09369-4},
PUBLISHER = {Springer},
ADDRESS = {New York, NY},
YEAR = {2024},
JOURNAL = {Constraints},
}

%0 Journal Article
%A Plank, Andreas
%A Möhle, Sibylle
%A Seidl, Martina
%+ External Organizations
Automation of Logic, MPI for Informatics, Max Planck Society
External Organizations
%T Counting QBF Solutions at Level Two : 
%G eng
%U http://hdl.handle.net/21.11116/0000-000F-BC36-1
%R 10.1007/s10601-024-09369-4
%7 2024
%D 2024
%J Constraints
%I Springer
%C New York, NY
%@ false