Sun, Meng.

Formal methods and software engineering = 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018 : proceedings / by: Sun, Meng.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Sun, Jing. (Language materials, printed)

Machine Learning and Principles and Practice of Knowledge Discovery in Databases = International Workshops of ECML PKDD 2021, Virtual Event, September 13-17, 2021, Proceedings, Part I / by: Andresini, Giuseppina.; Galárraga, Luis.; Medeiros, Ibéria.; Ponti, Giovanni.; Buckley, Christopher.; Gama, João.; Bouadi, Tassadit.; Gallicchio, Claudio.; Ghazaleh, Naghmeh.; Gullo, Francesco.; Blott, Michaela.; Bordino, Ilaria.; Severini, Lorenzo.; SpringerLink (Online service); Richiardi, Jonas.; Lijffijt, Jefrey.; Sun, Meng.; Ferretti, Andrea.; Nawaz, M. Saqib.; Fröning, Holger.; Oramas, José.; Rosenhahn, Bodo.; Zhou, Min.; Bitetta, Valerio.; Saldana Miranda, Diego.; Guidotti, Riccardo.; Largeron, Christine.; Schiele, Gregor.; Frénay, Benoît.; Adilova, Linara.; Schindler, Günther.; Bibal, Adrien.; Ribeiro, Rita.; Kang, Bo.; Lanillos, Pablo.; Fournier-Viger, Philippe.; Verbelen, Tim.; Monreale, Anna.; Cialfi, Daniela.; Aune, Erlend.; Kamp, Michael.; Ferreira, Pedro M.; Rinzivillo, Salvatore.; Roqueiro, Damian.; Graça, Guilherme.; Ruocco, Massimiliano.; Sechidis, Konstantinos.; Gavaldà, Ricard.; Biecek, Przemyslaw.; Ntoutsi, Eirini.; Viard, Tiphaine.; Cooper, Lee.; Welke, Pascal.; Pechenizkiy, Mykola.; Koprinska, Irena.; Pernkopf, Franz.; Ventura, Sebastian.; Malerba, Donato.; Krishnamurthy, Yamuna.; Ramstead, Maxwell. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Formal Methods and Software Engineering = 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings / by: Sun, Meng.; Sun, Jing.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Theoretical aspects of software engineering = 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023 : proceedings / by: Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Sun, Meng.; David, Cristina. (Language materials, printed)

Machine Learning and Principles and Practice of Knowledge Discovery in Databases = International Workshops of ECML PKDD 2021, Virtual Event, September 13-17, 2021, Proceedings, Part II / by: Oramas, José.; Rosenhahn, Bodo.; Saldana Miranda, Diego.; Guidotti, Riccardo.; Largeron, Christine.; Frénay, Benoît.; Adilova, Linara.; Bibal, Adrien.; Kang, Bo.; Fournier-Viger, Philippe.; Verbelen, Tim.; Monreale, Anna.; Cialfi, Daniela.; Aune, Erlend.; Kamp, Michael.; Ferreira, Pedro M.; Rinzivillo, Salvatore.; Roqueiro, Damian.; Graça, Guilherme.; Ruocco, Massimiliano.; Sechidis, Konstantinos.; Gavaldà, Ricard.; Biecek, Przemyslaw.; Ntoutsi, Eirini.; Viard, Tiphaine.; Cooper, Lee.; Welke, Pascal.; Pechenizkiy, Mykola.; Koprinska, Irena.; Pernkopf, Franz.; Ventura, Sebastian.; Malerba, Donato.; Andresini, Giuseppina.; Galárraga, Luis.; Medeiros, Ibéria.; Ponti, Giovanni.; Buckley, Christopher.; Krishnamurthy, Yamuna.; Gama, João.; Bouadi, Tassadit.; Ramstead, Maxwell.; Gallicchio, Claudio.; Ghazaleh, Naghmeh.; Gullo, Francesco.; Blott, Michaela.; Bordino, Ilaria.; Severini, Lorenzo.; SpringerLink (Online service); Richiardi, Jonas.; Lijffijt, Jefrey.; Sun, Meng.; Ferretti, Andrea.; Nawaz, M. Saqib.; Fröning, Holger.; Zhou, Min.; Bitetta, Valerio.; Schiele, Gregor.; Schindler, Günther.; Ribeiro, Rita.; Lanillos, Pablo. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]