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

Volltext

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

Volltext bestellen

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

Volltext bestellen

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