Publications

Journal publications

Farkas I., Korcsmaros T., Kovacs I., Mihalik A., Palotai R., Simko G., Szalay K., Szalay-Beko M., Vellai T., Wang S. (2011). Network-based tools for the identification of novel drug targets. Science Signaling 4. Impact factor: 7.5
Simko G., Gyurko D., Veres D., Nanasi T., Csermely P. (2009). Network strategies to understand the aging process and help age-related drug design. Genome Medicine 1, 90.
Horvath G., Juhasz S., Simko G. (2008). CAD systems for improving the efficiency of chest radiograph lung screening. In special edition of Kepalkoto 7. In Hungarian.

Peer-reviewed conference publications

Simko G., Jackson E. K. (2014). A Bounded Model Checking Tool for Periodic Sample-hold Systems. 17th International Conference on Hybrid Systems: Computation and Control (HSCC).
Mosterman P., Simko G., Zander J., Han Z. (2014). A Hyperdense Semantic Domain for Hybrid Dynamic Systems to Model With Impact. 17th International Conference on Hybrid Systems: Computation and Control (HSCC).
Simko G., Lindecker D., Levendovszky T., Neema S., Sztipanovits J. (2013). Specification of Cyber-Physical Components with Formal Semantics – Integration and Composition. In: ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS). Acceptance rate: 23%.
Mosterman P., Simko G., Zander J. (2013). A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Modeling. In: Compositional Multi-Paradigm Models for Software Development (MPM). Acceptance rate: 50%.
Simko G., Lindecker D., Levendovszky T., Jackson E. K., Neema S., Sztipanovits J. (2013). A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems. In: 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS).
Simko G., Levendovszky T., Maroti M., Sztipanovits J. (2013). Towards a Theory for Cyber-Physical Systems Modeling. In: Third Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy).
Lindecker D., Simko G., Madari I., Levendovszky T., Sztipanovits J. (2013). Multi-Way Semantic Specification of Domain-Specific Modeling Languages. In: 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS)
Jackson E., Simko G., Sztipanovits J. (2013). Diversely Enumerating System-Level Architectures.In: ACM/IEEE 13th International Conference on Embedded Software (EMSOFT).
Simko G., Sztipanovits J. (2012). Active monitoring using real-time metric linear temporal logic specifications. In: 5th International Conference on Health Informatics (HEALTHINF).
Simko G., Levendovszky T., Neema S., Jackson E., Bapty T., Porter J., Sztipanovits J. (2012). Foundation for Model Integration: Semantic Backplane. In: 32nd Computers and Information in Engineering Conference (ASME IDETC/CIE).
Simko G., Orban G., Maday P., Horvath G. (2009). Elimination of clavicle shadows to help automatic lung nodule detection on chest radiographs. In: 4th European Conference of the International Federation for Medical and Biological Engineering (EMBEC). Springer, pp.488–491.
Horvath G., Orban G., Horvath A., Simko G., Pataki B., Maday P., Juhasz S., HorvathA. (2009). A CAD System for Screening X-ray Chest Radiography. In: World Congress on Medical Physics and Biomedical Engineering, September 7-12, 2009, Munich, Germany. Springer, pp.210–213.