AAB AAR AAS AAT ABD ABG ABR ABS ABox ACBC ACC ACF ACG ACI ACL ACS ADE ADM ADP ADR ADT AE AEC AEG AEI AEP AER AES AFF AFR AFS AFV AGL AGP AHO AIF AIG AII AIV AIVa AIVb AIVc AIVd AIVe AIVf AIVg AIVh AKO ALA ALC ALT AMB AMC AMD AME AMI AMN AMS AMT AMW ANE ANR ANV AO AOB AOF AOS AOT APA APF API APM APS ARA ARD ARF ARP ARS ARU ASA ASD ASI ASN ASQ ASR AST ASW ATC ATS ATV AUC AWS Aalst Aatef Abarca Abbasian Abd Abdalaoui Abdelaziz Abdollahi Abdolreza Abdon Abducible Abductive Abdulla Abdullah Abedin Abele Abelian Abell Abid Ablayev Ablayeva Abouelhoda Aboul Abramson Abseher Abu Abuzer Accardo Aciego Acyclicity Adamatzky Adhesivity Adhikari Adorna Adri Afonin Afsaneh Afshin Agata Agnieszka Agostino Aguilera Aguirre Agust Agustin Aguzzoli Ahamad Ahmad Ahmed Ahn Ai Ajeesh Ak Akbari Akhtarzada Akhundov Akinori Akshay Akt AlPiNA Alain Alarc Alarcon Alatabbi Alban Alberti Albrecht Alcal Alcala Aldilaijan Aldo Alekhina Aleksander Aleksandra Aleksi Aleksy Alem Alessandro Alessi Alessio Alexandre Alexandru Alexei Algebraical Alhazov Alhumaidan Alicja Alin Alina Alix Alkis Alok Alonso Alpers Alsaedi Alsolami Altenkirch Altintas Alves Alviano Alvis Alwen Alzamel Amadini Aman Amarouche Amato Amedeo Ameller Ametova Ameur Amin Amir Amoozegar Amor Analyses Analysing Anand Ananichev Anastasia Anasua Anatolij Anca Anciaux Ancona Andary Andena Andreas Andreea Andrej Andres Andrey Andries Andruszkiewicz Andrzej Angelis Anh Aniello Anil Aniruddh Anisimowicz Anjolina Ankita Annalisa AnneWilliams Annegret Anni Anping Antal Antichains Antiport Antirandom Antonella Antoni Antonia Antonino Antti Anuj Apoloniusz Appice Apriori Apurba Aqeel Aratsu Araucaria Aravantinos Arcadu Archuleta Arciprete Arend Arevalillo Arindam Ariola Arjunan Arkadiusz Armand Armando Armano Armen Armin Arnab Arnaud Arnon Arora Arqub Arrighi Arsen Arseny Artem Artiom Arto Artturi Artur Arun Arup Asif Asmundo Assaf Astrocytes Atangana Atena Atkin Aubel Autarkies Automata Automation Automorphissm Avellaneda Avellone Avesalon Avrachenkov Avron Aw Awais Axel Axiomatisation Axiomatizability Axiomatization Aysun Ayta Azad Azaza Azgomi Azimi Aziz B BAB BAI BAO BAS BBB BBC BBF BBW BCI BCM BCS BCT BDD BDI BFO BGB BHA BIF BIST BLC BLT BMC BMR BMT BNF BNP BPA BPB BPG BPI BPV BRACID BRC BRE BRU BSB BSF BSM BSO BTC BTF BTM BUQ Ba Baader Babaei Babu Bac Bachmann Backprojection Badia Badouel Bae Baelde Bagchi Bahram Baier Baioletti Bajorek Bakel Bakhadyr Bal Bala Balafoutis Balagopal Balaguer Balakrishnan Balazs Balbiani Baldan Baldoni Baleanu Ballier Baltzer Banacha Banbara Bandyopadhyay Banerjee Banu Bao Baoli Barabasz Barany Barash Barbuti Barcucci Barlatier Baroglio Bartak Bartek Bartl Bartoletti Bartosz Barylska Bashir Bashirov Bashkin Basile Baskent Bastien Basu Batenburg Batmanov Battaglino Batty Battyanyi Bawa Bayes Bazan Bazhenov Bazilevi Beata Beaton Beenhouwer Behavioural Behaviours Behrouz Bekir Belaid Belardinelli Belhassen Belitskii Bellatreche Bellia Bellin Bellodi Belohlavek Beltrametti Benedek Benedetti Benedetto Benedikt Benferhat Beno Bensch Benslimane Bentahar Bentayeb Benthem Benveniste Bera Berard Berardi Bergenthum Bergenti Bergh Berghammer Bergstra Bernardinello Bernd Berndt Bernstorff Beros Bertolusso Bertoni Bes Betts Bettuzzi Bezem Bhandari Bhargab Bhaswar Bhattacharya Bi Bianca Bianchi Biautomata Biclustering Biedrzycki Bigraphs Bijaya Bijective Bilotta Bimal Bimanual Bimonte Bing Bingjie Bio Bioinformatics Biomodel Biomolecular Biryukov Bis Bisht Bisimilarity Bisimulation Bistarelli Biswas Bivariate Bj Bjarki Bjarnason Blackhole Blazewicz Bleichrodt Bliem Blondeau Bo Bocci Bockenhauer Bodini Boer Boffa Bogdan Bohdan Bohm Boja Bojana Bojanczyk Bollig Bomanson Bonacic Bonarini Bongartz Bonizzoni Bono Bora Bordihn Bordon Borel Borislav Borowiecki Bortolussi Boruta Borzyszkowski Bosheng Bosquez Bottoni Boukraa Bourguiba Boussaid Boutara Boz Bozapalidis Bozena Bozzato Brajesh Bravetti Brigolin Brijder Brinda Brito Brlek Brocchi Brouwer Brun Brunella Brunelli Brunetti Bruni Brzezi Brzezinska Bu Bucci Buchs Budzy Budzynska Bugaj Bugge Buhagiar Buregwa Burkhard Burza Bushin Bussche Busse Bussmeier Butucaru C CAA CAC CAS CBA CBB CBD CBF CBI CBL CBM CBO CBP CBR CCA CCB CCC CCD CCE CCG CCH CCI CCM CCN CCP CCR CCS CCT CCU CCZ CD CDF CDI CDL CDO CDP CDS CEB CEBa CEBb CEC CED CEE CEM CEO CER CES CET CFA CFC CFP CFR CFS CFT CGA CGC CHF CHG CHIRA CHO CHR CIB CIC CICT CIN CIP CIT CIV CIW CK CLC CLD CLP CLS CMC CME CML CMP CMS CMU CMV CNM CODEN COS CPC CPDL CPK CPN CPP CPS CPV CR CRA CRD CRE CRG CRL CRM CRN CRP CRS CRV CS CSA CSB CSC CSD CSF CSG CSI CSL CSM CSN CSO CSP CSPa CSPb CSPs CSR CSS CTE CTG CTI CTN CTP CTRL CTV CVE CVN CVT CVU CWW CYE Cabarle Cabrera Caching Cai Caillaud Calardo Calegari Caleiro Calude Camassa Camelia Camillo Campagna Campeanu Campero Campos Caniego Cantillana Cantone Cao Capacitated Capuzzimati Carandang Carayol Carballido Cardelli Cardone Carlier Carlos Carmona Caron Carraro Carrieri Cartan Cassaigne Castiglione Castiglioni Catarina Categorial Catenations Cattaneo Cattani Caucal Cavaliere Ceci Celani Cem Cercignani Cerno Certificateless Cervelle Cervesato Cesta Cetnarowicz Cewei Cezar Ch Chai Chairungsee Chakraborty Chakraverty Chalopin Chaloupka Champarnaud Changjun Changlin Changqing Changzhong Chanjuan Chao Chapdelaine Characterisation Characterising Characterizations Charalambides Charalambos Charalampopoulos Charwat Chashkin Chatain Chaudhari Chavdar Chavez Che Chean Chebyshev Cheng Chengqian Chenyi Chesani Chetcuti Cheung Chia Chiaki Chiara Chiaselotti Chih Chiheb Chikalov Chilingaryan Chilinska Ching Chiniforooshan Chistikov Chitcharoen Chlebus Chmiel Choffrut Choi Chojnacki Choo Chowdhury Chr Christel Christof Christoph Christophe Christos Chrom Chrysafis Chrz Chu Chuan Chuang Chuankun Chun Chunlin Chunming Ciabattoni Ciancaglini Ciani Cicho Cichon Cieciel Cienciala Ciencialov Cimoli Cinzia Ciobanu Ciprian Circulant Cirstea Ciucci Ciurea Cl Claudius Clausal Clickstream Co CoCaml Coalgebraic Coalgebraically Coalitions Cocco Coinductive Cojocaru Colhon Colin Colom Colour Coloured Combinators Combinatory Comin Comixify Compagnoni Complementation Complementer Composable Compositeness Compositionality Concretisation Condorelli Confalonieri Conor Convolutional Coquand Corank Corina Cornelis Corrado Cortadella Cosets Cosparse Costa Costantini Costas Cota Cotugno Couso Couvreur Coverability Coxeter Crafa Creignou Criado Cristian Cristiano Cristina Crochemore Cryptosystem Csaba Csat Csato Csuhaj Cui Cungen Cuong Cuzzocrea Cyber Cybula Cyclotomic Czaja Czarnecki Czarny Czeizler Czelakowski Czerwi Czerwinski Czochra Czuma Czurylo Czy Czyzewska Czyzewski D D'Agostino D'eer DAC DAF DAGs DAL DAP DASs DAgostino DCA DCB DCG DCI DCOPs DCR DCV DDR DDT DDV DES DFAs DFC DFD DFP DFR DFS DHL DHQ DHW DKT DLA DLB DLC DLD DLO DLPC DLR DLS DMC DMH DMP DMS DNS DOC DOI DPA DPP DPS DPT DPU DQGa DQGb DRC DRDa DRDb DRF DRL DRR DRS DSC DSF DSM DT DTA DTDa DTDb DTE DTI DTL DTM DTN DTO DTR DTW DUF DVT DWS DZP Da Dabrowski Dachun Dahmoune Dai Dalla Dalsgaard Damas Damian Damien Danae Dangalchev Dani Daniela Daniele Danil Danitz Dapoigny Daren Dario Dariusz Darja Darkey Darondeau Dassow Dataflow Datalog Datasets Daubner Davide Dawar Dayal Daykin De DeAngelis DeBock DeIta DeMol Deadlockability Debarati Debasis Decipherability Dedekind Deepti Defeasible Definability Degang Degano Degenerations Deja Delaplace Dell'Arciprete Delmas Delosme Delzanno Demergian Demri Deng Deni Denis Denisiuk Denitiu Dennunzio Denti Deontic Deorowicz Der Desai Desel Desfontaines Destro Detlef Devi Devillers Deyi Dezani Di DiLena DiMauro Diagnosability Diagonalization Diaz Dicky Dicomplemented Didier Diederik Diekert Diker Dima Dimasi Dimi Dimiter Dimitrios Dimitry Dinabandhu Dingcheng Dinh Dinu Dipan Dirk Discretization Distinguishability Djafari Djamal Djelloul Djouadi Dmitri Dmitry Doberkat Dodaro Doherty Dojer Doliwa Dolques Domenico Dominik Donatella Donato Dong Donia Donnelly Dorel Dorota Dorz Dorzan Dost Doulkifli Doungrat Dovier Downen Dra Drabik Drago Dragomir Drami Drazic Dreossi Drewes Dritschler Droste Drylo Dssouli Du Duan Duarte Dubernard Dubois Dubtsov Duc Duchi Dudenhefner Dulio Dumitru Dunin Duntsch Duong Duoqian Dupr Durand Durda Durnoga Duta Dutt Dutta Dvure Dwaraganathan Dworza Dworzanski Dyck Dydo Dynkin E EAC EAG EAL EAM EAS EBNF EBQ ECL ECP ECQ ECS ECT ECTL EDAS EDG EEC EEG EEK EFE EFS EGH EGK EGW EIA EIM EIR EKF ELE ELP EMC EMD EMI EMM EMR EMS ENF ENL EOP EP EPC EPF EPL EPP EQC ERL ERM ERP ERS ERT ESA ESC ESI ESM ESQ ETG ETM EW EWM EYP Eberbach Ebubekir Echenim Ecosystems Eddin Edilma Edita Eduard Effectful Egecioglu Egidi Ehrig Ehsan Eigenvector Eike Eisman El ElKholy Elbassioni Eleonor Elettra Elicitation Elisa Elisabetta Eliza Elouasbi Elvira Emad Emanuele Emiliano Enaganti Encodings Eneia Enes Enevoldsen Engelbrecht Ennaji Enrica Eom Epichristoffel Epistemic Equational Erica Erkki Erofeev Erve Erves Eryk Erzs Escrig Esik Esp Esparza Esposito Est Estelle Eu Eugenio Evangelista Evangelos Evelina Everardo Evgeny Evolvability Ewa Exo ExpTime Extensionality Extremal Eyraud F FA FAH FAM FAQ FAS FAX FCB FCD FCO FCP FCS FD FDP FEM FEP FFD FFL FFM FFOa FFOb FFS FGB FGD FGO FHN FI FIA FIE FIF FIQ FLM FMB FMM FNI FNS FOL FPG FPGA FPP FPR FPV FRD FRP FSI FSM FST FSTa FSTb FSV FTG FTM FUD FUMAAJ FVL FVP FWC FWO FWP Fa Faber Fabiana Fabien Fabio Fabre Fabrizio Fadila Faella Fagen Fairouz Faisal Fajardo Fandinno Fanizzi Fanyu Farhadinia Farid Farr Fasching Fashandi Fatemeh Fawaz Fazziki Fdez Fedele Federica Federico Fedja Fedorov Fedorova Fei Feifei Felipe Felisiak Feng Fenrong Ferigato Ferilli Fernandes Fernau Ferrari Ferrero Ferretti Feschet Feuillade Figallo Filho Filippo Filtrations Finkel Finotelli Finzi Fioravanti Fiorentini Fiori Fiorini Fiorino Flajolet Flavio Flener Fleuriot Flor Florent Florentin Florentina Florian Floriana Flouret Flowgraph Flugy Fogh Fokkink Folkert Formanowicz Formenti Formisano Fortin Fory Forys Fournier Fr Fraca Francesc Francesca Franceschinis Francesco Francescomarino Franck Franconi Frans Franti Franzoi Fratini Frauel Freivalds Freund Fri Froelich Frosini Frutos Fu Fujita Fulop Fumihiko Fumiya Functors Fundamenta Fung Furio Fusco Fusy G GAC GACa GACb GAW GBA GCA GCB GCF GCM GCP GCS GDA GEO GEP GFE GGL GGMa GGMb GHE GHG GHW GIP GJA GLV GMF GMS GNS GPG GPR GPU GQC GRT GSE GTA GTC GTG GTP GTR GTSa GTSb GWE GWT GYD Gabow Gabriela Gabriele Gabriella Gac Gadducci Gaggl Gagliardi Gaik Gajek Galantucci Galina Galletta Gambin Gambini Gan Gandhi Ganesh Gange Gangopadhyay Ganguly Ganian Gao Garai Garc Gardy Garg Garoni Garrido Gascon Gashkov Gasiorek Gastin Gauthier Gavanelli Gebser Geeraerts Geffert Gema Genaro Gender Generalised Genome Genova Gentilini Georg Georgescu Georgios Georgy Gerevini Gerla Gerrit Geuvers Gexiang Ghanem Ghasemi Ghassemi Gheerbrant Gheorghe Ghidini Ghilardi Ghilezan Gholami Giacomo Giammarresi Giampiero Gian Giancarlo Gianfranco Gianluca Gianluigi Gianpiero Giao Giavitto Giessen Gilles Gimel Gimel'farb Giordano Giorgio Giovanna Gisela Giuliana Giuliano Giunchiglia Giuntini Giusi Giusto Gleifer Gliozzi Gloannec Glushkov Gogacz Gogin Golas Goldwurm Goles Goli Gomoli Gomolinska Gon Gonz Gonzalo Gopal Goppa Gorecki Gori Gorrieri Gospodarek Gosti Gottlob Goupy Governatori Gower Gr Gra Grabowski Grabska Graciani Graeme Graff Grahne Graining Gramatovici Granulometric Granulometry Grasso Grathwohl Grazzini Greco Gregorio Gribovskaya Grigorieff Grigoryan Gritzmann Gro Grocholewska Grochowalski Groote Grothendieck Grozea Grudzi Grudzinska Grue Grund Gruska Grze Grzecza Grzegorz Grzes Grzeskowiak Grzymala Gu Guan GuanJun Guanghong Guangming Guangzhao Gudy Guerra Guerreiro Guerrini Gui Guido Guilhem Guillaume Guillerminet Guillermo Guillon Guilong Guingne Guiwu Gunji Gunopulos Guo GuoYin Guodong Guohua Guojun Guoyin Gupta Gusev Gustavo Guterman Guti Guttmann Gy H HAA HAF HBC HCS HCT HDA HDG HDT HFE HGR HGS HIBE HKB HLC HLP HLTL HMA HND HOL HON HPN HRE HRM HRY HSE HSM HSQ HSR HSV HUD Haar Haase Habel Hadamard Haddad Hadrien Hadzic Hae Hage Haiyu Hajdu Hakanen Hakim Halava Haleh Haluk Hamacher Hamalainen Hamoon Hankel Hannes Hantos Hanzlik Hao Harald Harel Harish Harju Hartmut Hartonas Haruko Haruna Hasan Hassan Hassanien Hasse Hatamlou Hatsuda Haustein Hayk Hecher Hee Heged Heiko Heindel Heiner Heitmann Hendrik Henglein Hengyang Henkin Henning Henryk Herajy Herbrand Heribert Hern Hernandez Herrera Herrero Herzig Heu Heusel Hidders Hidenosuke Hidetomo Hien Hierarchicality Higuchi Higuera Hilario Hilde Himani Hippe Hirano Hirata Hirayama Hiroakira Hiromi Hiroshi Hirvensalo Hlad Hlin Hoa Hoang Hoare Hobiny Hoc Hoffmann Hojjat Holger Holonomic Holzer Homa Hon Hongmei Hongyang Hongying Honkala Honko Honsell Hoogeboom Hooshmand Hooshmandasl Horne Hornik Horzelski Hosking Hosoya Hossein Hostettler Hotspots Houcein Hristea Hromkovi Hromkovic Hruschka Hsing Hsu Hsuan Hsun Hu Hua Huai Huan Huang Huaxiong Huchard Hui Huifang Huiting Huiyang Huiyong Huiyu Hujsa Hummel Huo Hupel Hurkens Huschenbett Hussain Huy Hvidsten Hyang Hyman Hypercomputation Hypercuboid Hyperelliptic Hypergeometric Hypergraph Hypersets Hyun Hyv Hyvarinen IAA IAC IAD IAE IAP IAR IAS IAT IBC IBE IBS ICA ICD ICG ICK ICM ICO ICP IDC IEF IEM IFF IFI IFO IFT IGP IHP IIB IIM ILS IMA IMB IML IMR IMS IMT INA INI IPC IPD IPI IPT IRM ISD ISS ISSN ITA ITP ITT IUI IUML IVF IVH IWN Iancu Ibarra Ibrahim Idiatulina Idir Ielpa Iftene Iftikhar Igarashi Igor Ihara Iiritano Ikegami Ikonos Iliano Ilie Iliopoulos Ilkay Ilkka Ilknur Imai Imbalanced Imbeaux Imen Imidazolium Implicators Imran Incheon Inclezan Indices Indrajit Infeasibility Infinitary Informaticae Infusino Ingi Ingrid Inhabitation Innovativeness Inostrosa Inoue Inpainting Integro Internet Intra Intrigila Intuitionistic Inuiguchi Involutive Ionescu Ipate Iqbal Ireneusz Iribarne Irina Irredundant Irun Isabelle Ismael Ismel Isokawa Issa Ita Itoh Itsykson Iulia Ivanov Ivanovi Iveti Ivo Ivona Iwata Iwona Izabela Izhikevich J JHC JJF JSC JST JSetL JTabWb JaCaMo Jaber Jacek Jacobians Jacoby Jafar Jafari Jair Jakob Jakobi Jakub Jamal Janani Jancar Janez Janhunen Janicki Janin Janine Jankowski Janodet Jansana Janusz Jard Jarkko Jarocki Jaros Jaroslaw Jarvinen Jasminder Javad Javier Jaworski Jayalal Jayanta Je Jeanne Jeannin Jedlitschka Jelena Jelonkiewicz Jen Jeng Jens Jepsen Jeremias Jeroen Jerzy Jez Jezequel Ji Jia Jiabao Jiamou Jian Jiang Jianhang Jianming Jianping Jianwu Jianxi Jianxia Jianyi Jiao Jie Jiefu Jiming Jin JinSong Jinbang Jind Jinfu Jing JingTao Jingguo Jingqian Jingyu Jinjin Jinsong Jir Jiraskova Jiuping Jixiang Jiye Joachim Joao Joaqu Johan Jong Joost Jordi Jori Jos Josep Joshi Jouni Jovanovi Jovanovic Ju Juanjuan Juayong Juha Juhani Julien Jun Junbo Juneam Junfang Junfeng Jung Junli Junnila Junpei Junsheng Junttila Junwei Jurack Juraj Jurdzi Jurdzinski Jure Jurriaan Jusheng Justin Justyna Jym K KDD KFR KRC KRH KRR KRT KST KTP Kacprzak Kaczmarek Kaczmarski Kad Kadanoff Kai Kailasavalli Kaile Kalenkova Kaloci Kalocinski Kalyanasundaram Kam Kamala Kamareddine Kamide Kamil Kamila Kaminski Kamm Kammuller Kan Kanazawa Kaneiwa Kang Kaniecki Kantabutra Kaoru Karbowska Karel Karhum Karhumaki Kari Karim Karima Karki Karmaker Karp Karpov Karsten Kasim Kasjan Kasperek Kasprzak Katarzyna Katsumi Katsunobu Katsutoshi Katz Kaufmann Kaur Kavand Kawamoto Kazunori Ke Kees Kenaza Kenichi Kenshin Keplicz Kernelized Ketan Ketema Keyun Kfoury Khader Khair Khaled Khalid Khare Khedri Kheirfam Khnkoyan Kholy Khomenko Khoussainov Ki Kijko Kilho Kimmel Kir Kiraly Kirill Kishinevsky Kishor Kisielewicz Kiyoshi Kl Klaudel Klav Kleene Kleijn Klonowski Klopotek Kluczniak Kluge Kmeans Knapik Knopfmacher Ko Kobele Koca Kociumaka Koczkodaj Koen Kofi Koga Kogure Kohler Kok Koletsos Kolmogorov Komar Komarath Komorowski Konecny Konikowska Konrad Konstantinidis Kontinen Konur Kopczy Kopczynski Kopecki Kopmann Koprowski Kordon Koronacki Koroth Korpusik Kosakowska Kosiek Kosiuczenko Kostanyan Kostas Kostek Kota Kotani Kotek Kotulski Kouhei Kouichi Kourousias Koutny Koutras Kov Kovacs Kowalczyk Kozen Kr Kraj Krajca Krasi Krasinski Krasnogor Krassovitskiy Krasuski Krause Kre Kridlo Kripke Krist Kristensen Krithivasan Krohn Krtek Kruczyk Krysi Krystyna Kryszkiewicz Krzysztof Krzywkowski Ku Kuba Kubera Kubica Kubik Kuboyama Kudlek Kufleitner Kula Kulakowski Kullmann Kumar Kun Kunc Kundu KuoNan Kuppusamy Kurata Kurbalija Kurowski Kursa Kusmierek Kutrib Kuttler Kuty Kuwahara Kuziak Kuznetsov Kwuida Kyriakoussis Kyung L LAA LAS LBC LBD LBF LBH LBR LBS LBT LBV LCA LCB LCP LCT LDE LDL LDT LEM LES LFI LGT LMC LMI LMO LNB LND LOF LOM LPC LPG LPI LPM LRB LRC LRE LRS LS LSD LSE LSH LSM LSO LSS LTB LTC LTL LTLK LTM LTR LVM LVU LWP LaYuan Labella Labelled Labiba Lacroix Ladjel Lafreni Lafuente Laguteta Lai Laihonen Lajos Lakshmanan Lal Lambers Lamma Lan Langille Langmaack Lankun Lanotte Lapets Lappas Lara Lasek Laskowski Lasse Latteux Laure Lavinia Le Leask Lech Leclercq Leen Leeuwen Legay Leguizam Lehner Lema Lemaire Lemanska Lemire Leng Lengyel Lenisa Lenzi Leporati Leporini Leri Leroux Leszczy Leszczynski Leszek Letterio Leucker Leupold Lewandowski Lewicki Lexicalized Leximin Lezama Lhouari Lhoussaine Li Lia Liang Liao Liau Licheng Lidia Lidong Liesbeth Liguoro Lihe Lihua Likavec Lili Liliana Lilius Lim Linard Linchan Lingras Lingyan Linh Linqiang Lisboa Lisi Lisowski Litak Liu Liusheng Liveness Liviu Llabr Lluch Lobna Lobos Localised Locher Logics Loh Lohmann Lomazova Lombardi Lomuscio Longo Loopy Loredana Lorenz Lorenzo Lorini Louchka Loukanova Lov Lozhkin Lu Luca Lucanu Luciano Lucie Lucjan Lud Ludmil Ludovic Ludwik Luhui Luisa Luk Lukasz Luki Luo Luong Luque Lusk Lv Lynce Lyuyang M MABAC MACa MACb MAF MAQ MAS MBU MC MCB MCC MCD MCE MCG MCINTYRE MCM MCO MCP MCR MCS MCT MDC MDD MDE MDG MDM MDO MDS MDT MEA MEP MFL MFM MFP MGE MGG MGRSs MGS MHA MIE MIS MITL ML MLEM MLT MMA MMC MNF MNI MNS MOC MPAa MPAb MPE MPF MPM MPP MQa MQb MRB MRE MRI MRM MSA MSE MSF MSG MSH MSO MSQ MSR MSS MST MTC MTL MTP MTS MTV MUS MVF Maamar MacWilliams Machado Macias Maciej Madali Madejski Madhavan Madonia Mads Magda Magdalena Maggiolo Magnus Magott Mahapatra Mahato Mahbubul Mahe Mahendran Maher Maheshwari Mai Maibaum Maik Mairesse Majeed Maji Majumder Makoto Makowsky Maksaev Makuracki Malcher Malerba Maletti Malicki Mallika Malvina Malvone Malyszko Mammograms Mancini Mandal Manea Manish Mansour Mantas Manzini Manzoni Maozhi MapReduce Mara Maratea Marcella Marcial Marcin Marciniak Marcinkowski Marcos Marczak Mardare Marechal Marei Marek Margara Margenstern Margherita Mari Marian Mariangiola Marianna Marianne Marinella Marinette Marius Mariusz Marjan Markakis Marko Markus Marone Marquer Marques Marta Martelli Martijn Martina Martins Martos Maruyama Maryam Marzena Masahiro Mascardi Masellis Mashups Maslennikova Masood Masopust Masoumeh Massazza Massimiliano Massimo Massini Matarazzo Mateo Mateus Mateusz Mathieu Matias Matiyasevich Matroid Matsuhisa Matsui Matsuo Matteo Matthes Matthias Matyasik Maulik Mauri Mauricio Maurizio Mauro Mauw Mavhungu Mawunyo MaxSAT Maxime Mayr Mazalov Mazurkiewicz Mazzanti McDermott McEliece Md Meduna Meer Mehdi Mehdy Mehmet Mei Meina Melatti Mellmann Mello Melnikov Memoriam Mencar Mendler Mendling Mensah Menshawy Menti Meo Merai Merc Mereghetti Mereological Mereology Mereotopologies Mereotopology Meriem Merlini Merotopological Merwe Meseguer Meski Meslati Meta Metaheuristic Mhaskar Miao Miaomiao Micalizio Micha Michal Michalak Michalis Michaliszyn Michela Michele Michelle Michinori Microarray Microbleeds Micropalaeontology Microtomography Middelburg Mieczkowski Mieczys Mignot Miha Mihaela Mihai Mihir Miika Miin Mijin Mika Mikhail Mikhailov Miko Mikulski Milani Milano Milazzo Milius Milo Mimmo Mina Ming Minggang Mingjie Mingwen Minqing Mio Miquel Mircea Mirhosseini Mirjana Mirk Miron Mirone Miros Misclassifications Mishra Missaoui Missier Mitrana Mizera Mnacho Mo Moa Moallemi Modelling Moelius Mogavero Mohaddeseh Mohades Mohamadi Mohamed Mohammad MohammadReza Mohanty Mohsen Mohua Moisil Mokhov Mokotoff Mol Momigliano Mondal Monika Moniri Monodic Monoid Monsef Montali Montanari Monteiro Morawiecki Moreira Morgado Morin Morita Morphisms Morphogenesis Morphos Morsellino Morsifications Morteza Morvan Mosca Moschitti Moschoyiannis Moshkov Mostafa Moszkowski Motallebi Mousavi Moustafa Mousumi Movaghar Moyzes Mraz Mroczkowski Mroz Mrozek Mrozik Muchnik Muhammad Muhammed Mui Muino Mukund Multi Multicast Multicounter Multigranulation Multimodal Multinomial Multiobjective Multirelations Multiset Multisingular Multisource Multispectral Multitask Multivalued Munier Munir Murano Murat Muravitsky Murthy Murugan Murugusundaramoorthy Musliu Mustafa Mutex Mutsunori Muu Myoung N NAC NAO NAR NAS NAV NBD NCB NCF NCO NCS NDC NDS NDT NEA NEC NEP NFL NFR NFS NFT NGD NGT NGW NHO NIC NIE NLD NLM NLU NMA NME NMN NMP NMS NMT NNN NNS NNV NPA NPE NPJ NPS NRN NSC NSL NSM NSN NSR NSV NTE NTP NTS NTT NURIKABE NVO NWC Na Nabeshima Nachtwei Nadal Nadeem Nagarajan Nakano Nakata Nandi Nandy Naoyuki Napierala Napoli Narad Naranjo Narayan Narayanamoorthy Narayanan Narizzano Nasrollahi Natalia Natalio Natalya Natasha Natividad Naushad Navarro Nazan Nazareno Neary Nebut Neda Neerja Neighbourhood Neighbourhoods Nelma Nemeth Neng Nestine Neto Neumann Neuro Neuroimaging Nezamabadi Nghia Ngoc Niall Nicart Nicol Nicola Nicolae Nicolas Nicolescu Nicoleta Nicoletta Nicoletti Nicolini Nicolo Nicolosi Nie Niels Niemel Nieto Nieves Niewiadomski Nigel Nihan Niho Nikita Nikolaj Nikolaos Nikolay Nilanjana Nils Nimet Ning Nisha Nishida Nishio Niu Niwi Niwinski Noack Nominals Nonarchimedian Nonclassical Nondeterminism Nondeterministic Nonlinearities Nonlocal Nonmonotonic Nonterminal Nonterminals Nopadon Norbert Noriaki Norihiro Normalising Notari Nour Nourine Nowak Nowotka Ntouyas Nurmi Ny Nysret O O'Sullivan OCA ODC ODI ODT OECS OFD OFE OGR OHQ OLAP OLAPing OME ONA OOI OPA OPN OPV ORG OSG OSI OSS OSW OWH Oates Obdr Obiedkov Occhiuto Ochem Odaba Odabas Oddi Ogier Ohsawa Ojeda Okhotin Okimoto Oktay Okubo Olena Olesen Olinda Oliveira Oliverio Olivier Omar Omicini Omodeo Ond Ondrej Onet Online Ono Ontologies Oparin OpenOpt Oppositions Oprocha Optimisation Optimiser Ordinals Orejas Orellana Orienteering Orlandini Ornaghi Orthomodular Orthopairs Oshevskaya Osorio Oswaldo Otop Ott Ouaknine Ouali Outlier Outliers Outrata Ovidiu Owsiak Ozaku Ozsv Ozturk P PAA PAB PAC PAF PBM PBO PBR PBW PCC PCFGs PCI PCN PCP PCW PDC PDEs PDL PDP PE PFH PFP PGA PGT PIB PIL PIS PJS PKC PKR PLC PLG PLT PME PMP PNA PNB PNI PNM PNR PNS POR PP PPB PPD PPG PPP PPT PPW PQS PR PRC PRR PS PSA PSF PSM PSO PSPACE PSS PST PTC PTIME PTM PTP PUR PVU PWA PWS Pacil Padberg Padilla Pag Pagani PageRank Paik Palak Palani Palano Palasinski Palenstijn Palkowski Panagiotis Pancerz Paniz Pankaj Pankratieva Panny Panpan Pantelimon Panupong Paola Paolini Paolino Paolo Papadakos Papadopoulos Papaspyrou Pape Paraconsistent Parameterized Pardel Paredaens Parente Parikh Parosh Parpalea Parra Partha Paruyr Pasalic Passerini Passerone Pastva Paszy Paszynska Patil Patitz Patrou Pau Paulraj Paun Pavel Pavol Pawan Pawe Pawel Pawlak Pb Pc Pd Pe Pedersen Pedrino Pedrycz Pegio Pei Peijun Pelaitay Pelantov Pelc Pellarini Peltier Pelz Penczek Peng Pengfei Pengwei Penrose Perface Peri Peric Permpoontanalarp Pernil Peschanski Pesko Petar Petkovi Petr Petra Petre Petri Petrucci Petrus Pettorossi Petturiti Pham Phan Phasespace Philippe Phuong Physarum Piao Picado Pieris Pierpaolo Pietkiewicz Pietro Pighizzini Piipponen Pilar Pilarczyk Pilarek Pimentel Pinna Pino Pinzani Piotr Pisoni Pissis Piuri Piyu Pl Placzek PlanICS Plandowski Plantagie Plasencia Plewczynski Plociennik Plotkin Podymov Poel Pogodalla Poitrenaud Poklukar Polarizationless Polat Policriti Polkowska Polkowski Polrola Polycephalum Polycube Polyhedra Polyhierarchical Polyominoes Polyvariance Polyvyanyy Pombo Pomello Pomyka Pomykala Pontelli Popescu Popova Porello Porreca Posets Poskitt Possibilistic Postselection Potapov Potop Poupet Powa Pozos Pozzato Prade Pradipta Prashant Praveen Pre Predut Preetha Preorder Preprocessing Presenti Pribavkina Prodinger Proietti Prolog Promoters Proteomic Proto Provillard Przemys Przemyslaw Przyby Przybyla Przybyszewski Przymus Przytu Przytula Pseudopower Pseudorandom Psijas Puerto Pugliese Pulina Purohit Pushdown Puzynina Pych Pyglaf Q QAA QAL QAT QBF QCD QDF QEM QLB QPN QRB QSAT QVT Qi Qian Qiang Qiao Qiaoyan Qin Qing Qingguo Qinghua Qingliang Qingxin Qingzhao Qinhua Qiu Qu Quadrance Quadraticity Quang Quantisation Quantizer Quasilattices Quasiorder Quaternion Queiroz Quillen Quismondo Quyet R RAB RAD RAF RAI RAO RAR RAV RBA RBL RBM RBP RBT RBV RCC RCD RCF RCG RCM RCN RCR RCRA RCS RCT RDA RDC RDH RDO RDR RDW REE RFC RFM RFW RGB RGC RHB RHW RIF RIH RIS RLA RLE RLM RM RMC RMF RMG RMM RNP RNS ROA ROP ROSECON ROU RPB RPC RPG RPH RQA RQM RRF RRM RRP RRT RRWW RSA RSB RSC RSDS RSI RSM RSN RSP RSS RST RTA RTB RTDa RTDb RTH RTL RTLa RTLb RTM RTP RUQ RWP Ra Rabanal Rabinovich Rachida Raclet Radeleczki Radim Rados Radoszewski Radovanovi Radu Radulescu Radzikowska Radziwo Rafa Raffaella Raghavan Raghavendra Rahli Rahman Rahonis Rahul Raigorodskii Raja Rajendra Rama Ramadoss Ramakrishnan Ramanna Ramanujan Ramesh Ramon Ramos Rampersad Rana Rani Ranjith Rantsoudis Ranzato Rao Ras Rasconi Rasiowa Raskin Rasua Rataj Rauch Rauf Ravat Ravikumar Raymundo Raza Razzazi Reachability Realisability Realtime Recommender Reconstructions Redlarski Reducts Redziejowski Regivan Regularising Rehof Reichert Reis Reitz Rembelski Ren Renaud Rensink Renzo Reo Reoptimization Replanning ResNet Resat Residuated Restivo Revenko Rewerska Rewitzky Reynier Reza Ricardo Ricca Riccardo Riccati Richelle Richling Ridha Rienstra Riesz Riff Rigo Riguzzi Rija Rinaldi Ringeissen Riscos Risoldi Rius Rivera Rizzi Rja Rjasko Roayaei Rocca Rodaro Rodolfo Rodr Roettger Rog Rogojin Rogozhin Rohr Rokia Rokita Rolando Roli Romanov Romanowska Romanowski Rombol Romero Romi Ronchi Rong Roos Rosenau Rosenthal Roslin Rosolini Rossell Rosser Rossi Rotaru Rothe Rotolo Roussanka Roussel Roux Roversi Rozenberg Ru Ruan Rubio Rudi Rudnicki Ruepp Ruggero Rui Ruisong Rullan Rumyantsev Runtime Rupnik Rusin Rusinowitch Rutayisire Ruy Rybarczyk Rybi Ryo Ryszard Ryszka Rytsar Ryzhikov Rz Rza Rzepko Rzesz Rzeszotko S SACa SACb SAF SAS SB SBB SBC SBD SBM SBP SBR SBS SBVR SCA SCB SCC SCD SCIFF SCM SCN SCP SCR SCS SCT SCU SDA SDB SDC SDP SDR SDS SEH SEP SES SFA SFB SFC SFR SFS SGR SGS SHA SHOQ SHR SID SIF SIG SII SIK SLA SLB SLC SLG SLGAD SLM SLS SMC SMD SME SMN SMR SMS SMT SNA SNC SND SNM SNN SNP SNS SNT SOF SOR SPC SPD SPE SPL SPP SPR SQM SRC SRL SRP SRR SRS SRT SS SSA SSB SSC SSD SSF SSG SSI SSL SSM SSP SSS SSWSNs STA STB STC STN STS SUS SVF SVG SVP SWE SWU SYM Saarela Saaty Sabri Sacc Sachin Sadahiro Sadgal Sadhu Saeed Saetti Saeys Sagara Sagaya Saha Sahadev Sahar Saito Sajin Saka Sakai Sakama Sakowski Sakurai Salehi Salgado Salo Salomaa Salwicki Samanta Samar Sami Samir Samrat Sandhu Sandi Sandie Sandpile Sandrasagra Sandro Sangachin Sanghamitra Sangnier Sanjib Sankalap Sankar Sankaran Sanpawat Santana Santini Santo Santosh Santucci Sanz Sarkar Sarkissian Sarma Sasanka Sascha Satisfiability Sato Savas Savi Savic Savonnet Sawa Sawicka Sburlan Scatena Sch Schabanel Schachte Schaefer Schaub Scheele Schettini Schewe Schiopu Schlachter Schlingloff Schlund Schmid Schmitt Schmitz Schn Schnorr Schr Schuller Schwoon Scicluna Sciortino Scozzari Sebillo Sebti Seebold Segers Seki Semelparous Semeniuk Semidefinite Semigroup Semilinear Sen Senni Seongan Sep Sepinoud Sequents Serena Sergej Sergey Sergi Sergio Sergioli Sergiu Seriation Serina Serre Servais Setty Sevilla Sgarro Shaheen Shahid Shailza Shakiba Shallit Shalu Shan Shankara Shanker Shao Sharma Sharygina Shaswati Shaun Sheela Shelah Shemyakov Shen Sheng Shengbao Shengfu Shi Shian Shiganov Shihabur Shinnosuke Shiping Shiuh Shkarin Shohidull Shoichi Shoji Shoukourian Shouvick Shrikant Shu Shuang Shuangshuang Shubhra Shuhong Shui Shuihua Shunsuke Shuozhong Shur Shusaku Shutao Shuvasish Shvay Shyong Si Sidorova Sidorowicz Sidoruk Sieniek Signalling Signcryption Sijbers Sikora Sikorski Silaghi Silva Silverio Silvia Silvio Sima Simeoni Simi Siminski Simitsis Simona Simone Simonsen Simson Simsun Singh Sirjani Siromoney Siyuan Sjouke Skarbek Skaruz Skolem Skowron Skrobanek Skrzypczak Slabodkin Slezak Slobodan Smaglichenko Smaill Smirnov Smita Smrithy Smyth Snehashish SoBT Socci Socha Sofronie Soh Sohel Sokoban Sokolov Solanki Soliton Solomakhin Soltys Solvability Soma Sonia Sook Sorel Sorin Sorina Sorites Sornkhom Sorrentino Sos Sosnowski Sotiris Souici Soukup Soumen Soumitra Spearman Specialising Spehner Spicher Spie Spiez Sprock Spyratos Srba Sre Srebrny Sriparna Sroka Srujan Stahl Stampanoni Stanek Stanis Stanislav Stanislawa Stannett Statecharts Statman Stavrinos Stavros Stefanescu Stefania Stefano Stefanowski Steffen Steganographic Steganography Steggles Steinberg Steinby Steinh Stell Stencel Stenosis Stepaniuk Stephan Stepie Stergiou Sticht Stoenescu Stokkermans Stoklosa Straccia Strass Strulo Stuckey Stupp Sturmian Su SubRule Subformula Subgraphs Subhas Subhashis Subintervals Sublinear Submodules Subramanian Subshifts Substitutable Substring Substrings Substructural Subtree Subtrees Subtyping Subwords Suchenek Suganya Sugata Sui Suitable Sumaiya Suman Sumit Suna Sunil Supaporn Superstrings Surabhi Suraj Suren Surla Surynek Surynkov Sushmita Suslin Susmit Sutner Sutre Suxia Svetlana Svystun Swieboda Swierstra Swiniarski Switalski SyLVaaS Syau Syed Sylvain Sylwia Symeon Symport Synak Synchronising Synchronizable Syntactocentric SystemC Syta Sza Szcz Szcze Szczepan Szczesniak Szczuka Szczur Szeider Szel Szilard Szko Szmidt Szpyrka Szreter Szwarc Szybowski Szyku Szymanik Szymon T TAC TAI TBA TBC TBD TBL TCC TCE TCI TCL TCM TDC TDI TDL TDM TDOA TDP TDR TEM TEO TET TFR TID TII TIS TLB TLS TLU TME TMH TMM TMO TOB TOPSIS TOU TPB TPC TPG TPP TPS TRC TRL TRP TSB TSC TSD TSI TSO TSP TSR TSS TTB TTC TUH TUP TWD TWF TWR TWS TYQ Tabia Tabu Tacchella Tadeusiewicz Tadeusz Tadhg Tae Taentzer Taichi Taiki Taishin Taizo Tajudin Takahiro Takamasa Takashi Takehide Taku Talha Talo Talpin Tamazian Tamura Tanay Tanimoto Tanmay Tanzeela Tapaswini Tapparo Tarmo Tasi Tatyana Tautkut Tautkute Tavakoli Tavaxy Tayeb Teh Teijiro Tejadodi Tel Tenda Teng Tenreiro Teodor Teodora Teofil Tero Terreni Tessaris Tetsuji Teutsch Th Thach Thalheim Thanasis Thang Thanh Thankachan Tharam Theseider Theyssier Thi Thiele Thierry Thiet Thorsten Thu Thue Thuy Tian Tianrui Tibor Tien Tiep Tijdeman Timestamps Timetabling Timo Timoszuk Tinchev Ting Tingfang Tini Tinko Tinput Tiu Tiuryn Tiwari Tiziana Tjitze Tobias Todo Todoran Toeplitz Tokenflows Toman Tomasz Tomer Tomescu Tomi Tommaso Tommi Tomographic Tomohiro Tonny Toolset Torben Torgeir Torkestani Toropila Torres Torroni Torsten Toshihiko Toshihiro Totzke Touati Toufik Tr Tran Travelling Traverso Treewidth Trent Trevor Tri Triebel Trindade Trinh TripICS Troina Tromba Tronci Trucco Trujillo Trukhina Trung Truthe Trzci Tsai Tsapko Tsau Tseng Tsumoto Tsuruta Tsynguev Tu Tuan Tufan Tung Turac Turaci Turek Turlough Twardowski Tyszka Tyszkiewicz Tzitzikas Tzung U UAD UAM UAP UBA UBI UBR UCC UCO UCS UDC UDK UDM UEH UEN UES UFL UIS UIT ULS UMB UML UNB UNZ UOA UPB UPJ UQL URL URS URT USC USL UST UTG UTR UWT Ugo Ujjwal Uli Ulrike Umadevi Umberto Umeshwar Un Unary Undecidability Unfoldings Univariate Unranked Unsatisfiability Unsupervised Untrusted Uplinks Urbanowicz Urzyczyn Uustalu V VAF VBA VCD VIR VLD VPA VSC VSP VSU Vadim Vakarelov Vakulenko Valarcher Valencia Valentina Valentino Valerio Valk Vallati Valmari Vamvakari Vandin Vandomme Varish Varj Varju Vaszil Vazirgiannis Vedova Vel Velardo Velasco Velauthapillai Veltink Veneti Venkat Verbeek Verlan Verma Versari Vertices Vesa Vicente Vico Viet Vigan Vigano Vilem Viliam Villata Ville Vinay Vince Vincenzo Vincze Vinh Viorica Virasoro Virbitskaite Visani Visontai Viswanathan Vitiello Vivek Viviana Viviane Vladislav Vliet Vluymans Vodr Vogel Vogelgesang Vogler Volker Volkov Vollmer Vollweiler Voronenko Vrudhula Vsevolod Vuillon Vyacheslav Vychodil W WCA WCT WDA WDBA WDP WFAs WGA WJL WMA WMR WNS WRS WSN WTD WTS WWW Wachtel Wacker Wagler Wajch Wakulicz Waldemar Waldmajer Walukiewicz Wansing Warcho Warda Wasilewski Watermarking Wattenhofer Website Wedley Wegener Wehler Weibin Weidlich Weihmann Weihua Weijia Weil Weimin Weizhi Wendan Wendlandt Weng Wenli Wenliang Wentao Werf Weske Weyl Whiteland Wi Wichert Widuch Wieczorek Wieczorkowska Wiedermann Wijnmalen Wil Wilczy Wilczynski Wilde Wilf Wilhelmiina Willem Winkowski Wisniewski Witkowski Witold Wladyslaw Wnt Wo Wojciech Wojna Wojtowicz Wole Wolski Woltran Wook Workflow Workflows Worrell Worsch Wouter Wozna Wozniak Wr Wro Wrobel Wronski Wuhui X XML XOR XRC XRM Xia Xian Xiang Xiangguo Xiangxiaing Xiangyang Xianzhong Xiao Xiaodong Xiaofei Xiaohong Xiaoli Xiaolong Xiaoping Xiaoxia Xiaoxue Xiaoyan Xiaoyuan Xiawei Xibei Xie Xin Xindong Xingyi Xinpeng Xinquan Xiong Xiu Xiuyong Xu Xue Xuedong Xugunag Xuncai Y YRB YRC Yafei Yakary Yakaryilmaz Yaki Yakovlev Yamamoto Yamini Yan Yanbin Yanchun Yanfeng Yangyang Yanhong Yann Yanning Yannis Yanqing Yansen Yanyan Yanzhang Yao Yarmolik Yaskorska Yassine Yasunobu Yasushi Yaylal Yeh Yero Yi Yilin Ying Yingcang Yingjie Yinglei Yiorgos Yipeng Yixian Yixiang Yiyu Yo Yoan Yoann Yokomori Yokoo Yoneda Yong Yongbin Yongxuan Yongyuth Yoshihiro Yoshinaka Youn Yu Yuan Yuanju Yuchao Yudong Yue Yuefei Yuen Yuhua Yukio Yuko Yumin Yunyun Yuri Yurii Yvan Z Zaamoune Zabielski Zaborowski Zade Zadeh Zaheer Zahoor Zaj Zajac Zakaria Zamboni Zanarini Zandron Zanzotto Zareba Zavattaro Zawadowski Zawistowski Zbigniew Zbrzezny Zdanowski Zden Zdzislaw Ze Zekri Zemek Zena Zeng Zengtai Zepeda Zese Zeshui Zeugmann Zeynep Zhanao Zhang Zhanshan Zhao Zhaohao Zhe Zheng Zhengchao Zhengjiang Zhenhua Zhenjun Zhi Zhiguang Zhihua Zhimiao Zhiqiang Zhizheng Zhong Zhonghua Zhou Zhoujun Zhu Ziadi Ziarko Zieli Zielinski Zielosko Zihan Zimand Zimic Zohra Zolt Zoltan Zoran Zouari Zuhua Zunino Zunjing Zwara Zyglarski abi ack acknowledgement acm aczek adys aj akmak akowski alver alves apr ar ary asi aszczak aszczy atrice aug automata aw awski ay az baliz bastien beebe bele bi bibdate bibmods bibnames bibsource bieta bik blewska blewski bonacci bor bris browski c cP ch ciennik ckenhauer co com cs czyk d d'Amato dP datacompression de deBoer deGroote dec del der diger dinger dl dlo doi downcased dric dx e eDonkey eMule ecio edu eer egen ej ek ena enol enskij epistemic erno erovnik etsu ewska ewski ez f farb fel fibquart fjournal fundamenta fundinfo g ger gner goire gorzata gs guez gyang h hlenbernd hler hm http https i ich im imkus inda inen informaticae intuitionistic iospress iu j jan java jul k kFOIL kR ka kent ki kinen ko kon kowiak kowski kun l le lek lez lgyi li lin lise lke ller lmaz lou lu lusarczyk lv lvaro lvez ly lyi m mTOR meier mentine mer mereotopological meth miRNA mie mierek monoidal mpeanu multithreading n na nan ncio ndergaard ndez ndor nek ner nez ngel nhfb niak nic niewski nio nther ntsch ny nyai nyi o oct ois ok omiej onard opotek org owi owska owski p pagerank phane plicz ppelholz priori r ra rai rard reachability recki ren rensen rez rg rgen rgy ria ric rinen rio rito rk rki rm rmeli rn rola rp rr rrez rstea rvinen s sa satisfiability sch showtags sik siorek ska skov sta stowski sz szl t tek ter tex th tivier tko tkowski totalistic tzenberger u ukasiewicz ukasz ukaszewicz un unsrt uster utah v vanBakel vanBenthem vanHee vanLeeuwen vanVliet vandenBergh vanderAalst ve vez von vs w wei wieboda wka workflow www x xiao xiv xxnote y yan ying yna yszko yu z zak zde zef zquez zs zt