Satisfiability modulo theories for process systems engineering von Mistry, M, Callia D'Iddio, A, Huth, MRA, Misener, R

Volltext

Centrally governed blockchains: optimizing security, cost, and availability von Lundbaek, L, Callia d'Iddio, A, Huth, MRA

Volltext bestellen

Satisfiability modulo theories for process systems engineering von Mistry, Miten, D’Iddio, Andrea Callia, Huth, Michael, Misener, Ruth

Volltext

Foundations and tool support for robust non-linear optimisation with transcendental functions through satisfiability modulo theories von Callia D'Iddio, Andrea

Volltext bestellen

Centrally Governed Blockchains: Optimizing Security, Cost, and Availability von Lundbæk, Leif-Nissen, Callia D’Iddio, Andrea, Huth, Michael

Volltext

Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving von D'Iddio, Andrea Callia, Huth, Michael

Volltext bestellen

Symbolic Detection of Assertion Dependencies for Bounded Model Checking von Fedyukovich, Grigory, D’Iddio, Andrea Callia, Hyvärinen, Antti E. J., Sharygina, Natasha

Volltext

Optimizing Governed Blockchains for Financial Process Authentications von Lundbaek, Leif-Nissen, D'Iddio, Andrea Callia, Huth, Michael

Volltext bestellen

Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving von D'Iddio, Andrea Callia, Huth, Michael

Volltext

Providing context-based security for inter-organizational electronic business processes von Talamo, Maurizio, Arcieri, Franco, Schunck, Christian H., D'Iddio, Andrea Callia

Volltext bestellen

Optimizing Governed Blockchains for Financial Process Authentications von Leif-Nissen Lundbaek, D'Iddio, Andrea Callia, Huth, Michael

Volltext