Modeling and Verification of Reliable Messaging by Graph Transformation SystemsLászló Gönczy; Máté Kovács; Dániel Varró · 2007

Synthesis and Application of New, Optically Active Compounds as Catalysts and Ligands in Enantioselective ReactionsMátravölgyi, Béla; Kovács, Ervin; Hegedűs, László; Jászay, Zsuzsa; Thurner, Angelika; Deák, Szilvia; Erdélyi, Zsuzsa; Pham, Truong Son; Gönczi, Katalin; Sólyom, Szabolcs; Tőke, László; Faigl, Ferenc · Periodica Polytechnica Chemical Engineering · 2014

[ACM Press the 2007 workshop - Dubrovnik, Croatia (2007.09.04-2007.09.04)] Proceedings of the 2007 workshop on Engineering fault tolerant systems - EFTS '07 - Formal modeling of BPEL workflows including fault and compensation handlingKovács, Máté; Varró, Dániel; Gönczy, László · 2007