informatik, dekan Fakulty elektrotechniky a informatiky STU

Vzdelanie: Fakulta matematiky a fyziky UK, 1993

Pracoviská a významné funkcie: 1993 - 1999 výskumník na Ústave informatiky SAV; 1999 - 2001 odborný asistent na oddelení aplikovaných počítačových vied Katolíckej univerzity Eichstätt-Ingolstadt, Nemecko; 2001 - 2005 odborný asistent informatiky na Katolíckej univerzite Eichstätt-Ingolstadt, Nemecko; 2005 - 2006 odborný asistent Fakulty elektrotechniky a informatiky STU v Bratislave; 2006 - 2012 docent Fakulty elektrotechniky a informatiky STU v Bratislave; od r. 2012 profesor aplikovanej informatiky na Fakulte elektrotechniky a informatiky STU v Bratislave

Najvýznamnejšie publikácie:

 H. Ehrig, G. Juhás, J. Padberg, G. Rozenberg (Eds.). Unifying Petri Nets, Advances in Petri Nets, LNCS 2128, pp. 1-25, Springer-Verlag, 2001

• G. Juhás, R. Lorenz and S. Mauser: Causal Semantics of Algebraic Petri Nets Distinguishing Concurrency and Synchronicity. To appear in Fundamenta Informaticae , IOS Press.
• G. Juhás, R. Lorenz and S. Mauser: Complete Process Semantics for Inhibitor Nets. Application and Theory of Petri Nets and Other Models of Concurrency.LNCS 4546, pp. 184–203, Springer-Verlag, 2007.
• R. Lorenz and G. Juhás: Toward Synthesis of Petri Nets from Scenarios. Application and Theory of Petri Nets and Other Models of Concurrency. LNCS 4024, pp. 302-321, Springer-Verlag, 2006.
• R. Bergenthum, J. Desel, G. Juhás and R. Lorenz: Can I Execute my Scenario in Your Net? VipTool tells you! Application and Theory of Petri Nets and Other Models of Concurrency. LNCS 4024, pp. 382-390, Springer-Verlag, 2006.
• G. Juhás, R. Lorenz and J. Desel: Can I Execute my Scenario in Your Net? Application and Theory of Petri Nets and Other Models of Concurrency. LNCS 3536, pp 289-308. Springer-Verlag, 2005.
• J. Desel, H.-M. Hanisch,G. Juhás, R. Lorenz and C. Neumair: A Guide to Modelling and Control with Modules of Signal Nets. Integration of Software Specification Techniques for Applications in Engineering, LNCS 3147, pp. 270-300, Springer-Verlag, 2004.
• G. Juhás, R. Lorenz and C. Neumair: Modelling and Control with Modules of Signal Nets. Lectures on Cocnurrency and Petri Nets, Advances in Petri Nets, LNCS 3098, pp. 585-625, Springer-Verlag, 2004.
• G. Juhás, R. Lorenz and C. Neumair: Synthesis of Controlled Behavior with Modules of Signal Nets. Application and Theory of Petri Nets, LNCS 3099, pp. 238-257, Springer-Verlag, 2004.
• J. Desel, G. Juhás and C. Neumair: Finite Unfoldings of Unbounded Petri Nets. Application and Theory of Petri Nets, LNCS 3099, pp. 157-176, Springer-Verlag, 2004.
• G. Juhás, R. Lorenz and T. Šingliar: On Synchronicity and Concurrency in Petri Nets. Application and Theory of Petri Nets, LNCS 2679, pp. 357-376, Springer-Verlag, 2003.
• J. Desel, G. Juhás, R. Lorenz and C. Neumair: Modelling and Validation with VipTool. Business Process Management 2003, LNCS 2678, pp. 380-389, Springer-Verlag, 2003.
• J. Desel, G. Juhás and R. Lorenz: Petri nets over partial algebra. Unifying Petri Nets, Advances in Petri Nets, LNCS 2128, pp.131-178, Springer-Verlag, 2001.
• J. Desel and G. Juhás: What is a Petri Net? Informal Answers for the Informed Readers. Unifying Petri Nets, Advances in Petri Nets, LNCS 2128, pp. 1-25, Springer-Verlag, 2001.
• J. Desel, G. Juhás and R. Lorenz: Process semantics of Petri nets over partial algebra. Applications and Theory of Petri Nets, LNCS 1825, pp.146-165, Springer-Verlag, 2000.
• G. Juhás: On Semantics of Petri Nets over Partial Algebra, Current Trends in Theory and Practice of Informatics, Springer, LNCS 1725, pages 408--415, 1999.