Journal: Program

Volume 52, Issue 4

462 -- 0Cecilia Zanni-Merk, Claudia S. Frydman, Anne Håkansson. Preface
463 -- 481Nikolaos Lagos, Adrian Mos, Mario Cortes Cornax. Towards semantically-aided domain specific business process modeling
482 -- 501Guillaume Gadek, Alexandre Pauchet, Nicolas Malandain, Laurent Vercouter, Khaled Khelif, Stéphan Brunessaux, Bruno Grilhères. Topological and topical characterisation of Twitter user communities
502 -- 519Luis Martí, Eduardo Segredo, Nayat Sánchez Pi, Emma Hart. Selection methods and diversity preservation in many-objective evolutionary algorithms
520 -- 538Kalthoum Rezgui, Hédia Mhiri, Khaled Ghédira. Towards a common and semantic representation of e-portfolios
539 -- 563Norihiro Kamide. Logical foundations of hierarchical model checking