A Modeling Environment for Patient Portals. - Sean Duncavage; Janos L. Mathe; Jan Werner; Bradley A. Malin; Ákos Lédeczi; Janos Sztipanovits (AMIA, 2007)

Towards the security and privacy analysis of patient portals. - Janos L. Mathe; Sean Duncavage; Jan Werner; Bradley A. Malin; Ákos Lédeczi; Janos Sztipanovits (SIGBED Rev., 2007)

A Model-Integrated, Guideline-Driven, Clinical Decision-Support System. - Janos L. Mathe; Jason B. Martin; Peter Miller; Ákos Lédeczi; Liza M. Weavind; András Nádas; Anne Miller; David J. Maron; Janos Sztipanovits (IEEE Softw., 2009)

Cancer treatment planning: formal methods to the rescue. - Janos L. Mathe; Janos Sztipanovits; Mia A. Levy; Ethan K. Jackson; Wolfram Schulte (SEHC@ICSE, 2012)

The Precise Construction of Patient Protocols: Modeling, Simulation and Analysis of Computer Interpretable Guidelines. - Janos L. Mathe (2012)

Leveraging Knowledge Representation to Maintain Immunization Clinical Decision Support. - Janos L. Mathe; Scott D. Nelson; Stuart Weinberg; Christoph U. Lehmann; András Nádas; Asli O. Weitkamp (AMIA, 2018)

Towards bridging the gap between model- and data- driven tool suites for cyber-physical systems. - Qishen Zhang; Tamás Kecskés; Janos L. Mathe; Janos Sztipanovits (SEsCPS@ICSE, 2019)

Rebuilding the Standing Prescription Renewal Orders. - Scott D. Nelson; Hayley Rector; Daniel Brashear; Janos L. Mathe; Haomin Wen; Stacey English; William Hedges; Christoph U. Lehmann; Asli O. Weitkamp; Shane P. Stenner (Appl. Clin. Inform., 2019)