AAC AAD AAF AAI AAL AAM AAP AAR ACA ACB ACC ACD ACG ACH ACL ACM ACR ACS ACTLS ADC ADE ADF ADG ADL AEB AEC AEH AER AFD AFDa AFDb AFL AFP AFS AGC AGL AHL AIA AIC AIO AIS AIT AKC AKH ALC ALS ALT ALTARICA AMG AMH AOP APB APC APD APF APG APM APP APS APU ARI ARN ARR ARS ASA ASB ASC ASD ASL ASM ASN ASRa ASRb ASW ATC ATD ATG ATM ATP ATR AUM AUS AWC Aalst Abdelkrim Abdelli Abdelouahid Abder Abdulla Aboul Abraha Abrial Aceto Acharya Aciego Adachi Adel Adela Adrianna Adriano Adrien Afrati Agata Agier Agnieszka Agostino Aguado Ahmed Aho Aiquan Ajith Akihiro Akmal Alain Albina Alcino Aldewereld Alejandro Aleksandar Aleksander Aleksandra Alessandro Alessio Alexandr Alexandre Alexandru Alexey Alhazov Alica Alicja Allali Alojzy Altenkirch Amadio Amal Amaury Ambroszkiewicz Amihood Amin Amir Amirani Analoliy Analyti Anatol Anatoliy Anbu Anca Andr Andreas Andreeva Andries Andrzej Anh Anil Anindya Anirban Annamaria Annegret Anonymization Ansaf Antidictionaries Antimirov Antiport Antonella Antoni Antonino Anunchai Aouissi Apro Araszkiewicz Araucaria Arbab Ardelean Arijit Arild Arithmetics Arkadiusz Arnaldo Arne Arrighi Artiom Arto Artur Aschieri Asghar Ashish Ashkan Astrid Asymptotics Asynchrony Atanasiu Athanasios Attila Attilio Atulya Aur Australasian Autoepistemic Automata Avivit Avolio Axel Axiomatisation Axiomatization Aydin Azaria Aziz B BA BAC BAF BBE BCA BCB BCC BCCSP BCG BCH BCS BCT BDD BEM BFG BFH BGB BGS BIE BIH BKS BLR BMC BO BPB BPI BPU BPV BRN BRP BSC BST BTC BV Baader Baaz Bachli Badache Badouel Baets Bahgat Bai Baier Baillot Baire Bakhadyr Bala Balaban Balakrishnan Balanescu Balbiani Baldamus Balicki Banaszak Bandini Bandyopadhyay Banerjee Barabasz Barbuti Barrera Barylska Bas Bashkin Basile Basten Basu Baumeister Bazan Beal Beata Beauquier Becher Bednarczyk Bedregal Beek Behaviour Behavioural Behaviours Beheshti Behrends Bellia Belohlavek Benedetto Benferhat Bengt Benjam Beno Bensalah Bensch Bergenthum Bergenti Berghammer Bergstra Bernardeschi Bernardinello Bernardini Bernd Berndt Bernot Berthold Bertino Bertoni Bettina Bezem Bhabatosh Bhargab Bhattacharya Bhattacharyya Bhopalator Bhowmick Bi BiLog Bianca Bianucci Biasi Biba Bienvenu Bierman Bijak Billington Bimachines Bing Biorders Biosyntax Biplab Birkhoff Bishnu Bisimilarity Bisimulation Bisimulations Biswas Bitrades Bittner Bj Bjorklund Blaise Blajdo Blanqui Bliudze Blockeel Blondel Bo Bober Boccara Bocharov Bodlaender Boer Bogdan Boldini Boles Bolikowski Bonchi Bono Bonsangue Bontemps Bordihn Borel Borkowski Boryczka Borzyszkowski Bos Botta Boucheneb Boudol Bournez Bouyer Boves Boyer Bozga Bozhenkova Bozzato Br Brattka Bravenboer Bravetti Bretto Breysse Bria Brijder Broch Brocki Broda Broersen Brogi Bruijn Brzostowski Bu Buchholz Buchi Budzy Budzynska Bueno Bugaj Bui Burderi Burgin Burkhard Burkhardt Burmester Burrieza Burstall Busi Busse Bussmeier Buszkowski Butucaru Byrski C CAA CAE CAH CAI CARa CARb CAS CAV CBA CBC CBI CBP CBR CBT CBW CCA CCC CCF CCG CCM CCO CCP CCS CCU CD CDB CDD CDG CDI CDK CDP CDR CDT CDU CEA CED CEI CEP CFB CFK CFP CFT CFW CGE CGP CGS CGU CHS CI CIIa CIIb CILC CIM CLM CLS CLW CMB CML CMO CMT CNF COC CODEN CP CPB CPC CPD CPG CPM CPN CPQ CPR CPS CRD CRE CRF CRL CRM CRP CRS CS CSA CSB CSC CSF CSG CSP CSQ CSR CSS CST CTA CTB CTC CTG CTL CTM CTO CTP CTS CUM CUO CVA CWM Caching Cai Caillaud Calea Calimeri Callejas Calude Camacho Campeanu Cao Caparrini Carette Carlos Carmo Carmona Carsten Cassez Castiglione Catania Cataudella Categorial Cattaneo Cavaliere Cederbaum Cees Cegielski Celani Certificateless Ceterchi Cezar Ch Chaitin Chakraborty Chalopin Champarnaud Chan Chanda Chandra Chandrama Chao ChariTime Chaudhuri Chaum Chehel Cheng Chenou Chia Chiang Chien Chieng Chih Chikalov Ching Chiuan Chiyan Chlebus Choe Choi Cholvy Chong Christel Christiansen Christof Christoph Christophe Christos Chrobot Chrz Chrzastowski Chu Chuan Chuang Chuen Chun Chung Chunlin Chuzo Chwei Ciabattoni Cinzia Ciobanu Cirulis Ciucci Claris Clariso Claudian Clausal Clemens Clockless Co Coble Codebook Codomain Codrin Cohn Coja Collatz Collings Coloured Comandur Combinatorics Composable Compositionality Computably Conforti Cong Congfu Conjoinability Conor Conradie Consecutions Constantopoulos Coppola Coquand CoreASM Corecursive Corfini Corinne Cornelis Corradini Corrado Cortadella Costas Costel Cotronis Coulon Couso Cowen Cr Cristian Crochemore Cryptographers Cryptosystem Csuhaj Cuartero Cubics Cui Cumulativity Cungen Cunha Cunsheng Cyr Czaja Czelakowski Czerniak Czes Czeslaw Czyzowicz D D'Ambrosio DA DAC DAI DAL DAS DBD DBR DBS DCE DCI DCM DCP DCU DCV DDD DDH DDT DEH DFCA DFM DGS DHM DIF DLD DLF DLN DM DMA DMB DMD DME DMF DMI DMM DMO DMP DMU DND DNT DOI DPB DPE DPL DPS DRA DRC DRD DRM DRT DRU DSA DSB DSD DSE DSM DSP DSS DTB DTE DTG DTL DTP DTR DTW DUS DVL DVM DWF DWR DWT Da Dag Dai Dal DalPalu Dama Damas Damasevicius Damasio Damian Damiani Damiano Damien Dani Daniela Danil Danvy Dariusz Darondeau Das Dashti Dassow Daszkiewicz Dataflow Datagram Datalog Datamodels Dataspace Davide Daykin DeFrancesco DeKnijf DeLoof Debarati Debashis Deblocking Decheng Defeasibility Defeasible Definability Deja Delimata Delorme Delvenne Dembczy Dembczynski Dembi Dembinski Demolombe Demri Denecker Denejko Deneux Denis Denisa Dennunzio Deogun Deontic Dereniowski Derick Descriptional Desel Desmedt Devan Devaney Devillers Dhar Dhaval Di Diaconescu Dichotomic Didier Diekert Diemo Dietze Dietzfelbinger Diks Dilip Dimiter Dimitris Dimov Dinneen Dinu Diqun Discretization Dix Djelloul Doberkat Dobies Dobrev Dobrowolski Doherty Doina Dojer Domaratzki Dominik Domosi Donato Dong Dongen Dorin Dorohinicki Doroshenko Doucet Dovier Drago Dragos Drewes Droste Dubois Duc Duen Dumitrescu Dumitru Dunin Duntsch Duoqian Dupin Durand Dvoskina Dyga Dziemidowicz Dziubi Dziubinski E EAA EAD EAP EBI ECA ECB ECC ECD ECE ECG ECM ECS ECTL EDF EE EEA EGT EHC EIA EII EIQ EIS EIW EKA ELD EMA EMD EME EMF EMG EMP EMT ENF EPH EPNa EPNb EPQ EPS EPT EPW ERC ERF ERS ESA ESC ESD ESH ESM ESU ESV ESW ETP EUD EVT EXPTIME Eberbach Eco Eelco Egor Ehrenfeucht Ehrig Eike Eikonal Eilenberg Einar Einoshin Eiter ElJelali Eliptic Elisa Elmagarmid Elomaa Emo Enea Engel Engelbrecht Engelfriet Enguix Enquiry Enric Entish Entropies Epistemic Equational Erdem Erika Erkki Erzs Escrig Eshuis Esik Esmaeilsabzali Esparza Esposito Esra Esteva Etna Eug Eun Eunhui Evangelos Ewa Ewert Extensionality F FA FAC FAO FAS FAX FBA FC FCA FCI FCL FCO FCT FCV FDC FDI FDL FDS FDX FGI FI FID FIF FIO FIP FKT FLA FLR FMD FML FMM FMP FMS FOF FON FPL FPR FPS FRC FRE FRR FRU FSA FSB FSE FSI FSM FSN FSO FSS FSU FTD FTS FTT FUMAAJ FVC Fa Faber Fabien Fabio Fabre Fabrice Fabrizio Fagen Faissal Fanizzi Farahbod Fargetton Farhad Fariza Farouk Farwer Fecher Federico Fedor Feedforward Feelders Fei Fekadu Felty Fen Feng Ferilli Fernandes Fernandez Fernau Ferr Ferrante Ferrari Ferraro Ferre Ferretti Ferruccio Ferucio Fichtner Figueiras Filip Filippo Findeisen Finitary Finkbeiner Finkel Fiona Fixpoint Flasi Flasinski Flavours Fleischer Flocchini Florentin Florentina Floriana Fluet Fokkinga Fokkink Fonseca Foremniak Formalisation Formalising Formato Formenti Foto Foudalis Foustoucos Fr Fractal Francesc Francesco Franciszek Franck Franti Fredkin Fredriksson Freund Friedl Frisco Fritsche Fritzen Fronk Frutos Fryc Fu Fuk Fuks Fulga Fulop Fumio Fundamenta Furber Furey Fuzzification G GAA GAC GAW GBR GCA GCD GCL GDPLL GDT GES GFM GHA GHG GIF GIH GMB GMC GMF GOLOG GP GPV GSF GSV GTI GTM GTT Gabbrielli Gabriela Gabriele Gadducci Gagie Galassi Gali Galinski Galton Gambin Ganguly Ganty Ganzha Gao Gapped Garanina Garion Garnic Gasieniec Gasquet Gastin Gayar Ge Geamsakul Geilen Gema Gencho Generalised Genest Genome Geoff Georg Georgescu Georgi Georgios Georgy Gerardin Gerasymova Gergatsoulis Gerla Gerth Gervasi Geva Gh Ghani Gheorghe Ghosh Giachino Giacomo Gian Giancarlo Gianfranco Giangiacomo Gianluigi Giannini Gianpiero Giavitto Giesen Gilles Gillibert Giordana Giordano Giorgos Girard Gire Giuntini Giuseppa Gizela Gl Glabbeek Glas Gliozzic Gluck Godo Gohring Goldwurm Gomoli Gomolinska Gontineac Gonzalo Gor Gora Goranko Gorawski Gorg Gorgonio Gorrieri Gossel Gottwald Goulven Gourab Gourmelen Goutsias Gra Grabowski Graeme Graf Grahne Gramatovici Grando Granulometries Grayscale Gregor Gregorio Gribovskaya Grigorieff Grimberg Gro Grochowalski Grochowski Groeve Groote Grosskreutz Gruber Gruska Gruszczy Gruszczynski Grzegorczyk Grzegorz Grzymala Guan Guei Guernic Gui Guidi Guilherme Guilin Guillen Guillou Gulliver Gumbel Guo Guohua Guoyin Gupta Guti Gutmann Gwo Gwoboa Gy Gyapay H HCD HCE HCT HCU HDW HGL HHM HLR HMM HMMs HOL HPR HPW HSN HTD HTU HUP Haan Haar Habel Habibi Habrard Hacid Haddad Haeseler Hage Haghighi Haifeng Haiming Haines Hainry Hajek Hala Halas Halava Halder Halftoning Halina Hallerstede Hamez Hamme Hamzeh Hanifa Hanisch Hannebauer Hao Harald Harju Harrenstein Harro Hartmann Hartmut Hasegawa Hashemi Hashemian Hasimoto Hassan Hassanien Hayashi Hazarika Hebert Heckel Hee Heijmans Heike Heikki Heiko Heiner Heitmann Heljanko Hemangee Hendrik Henk Henning Henrik Henryk Henschen Hermanns Hermenegilda Hermida Herna Hertling Herzig Hesselink Heuberger Heymans Heyting Hidders Hidenao Hidenosuke Hideto Hierachy Higman Hilaire Hillclimbing Hilpinen Hippe Hirano Hirata Hiroki Hiroshi Hirschberg Hirshfeld Hisaoka Hitzler Hladik Hoa Hoc Hoek Hoffmann Hofmann Hogberg Holcombe Holger Holscher Holvoet Holzer Hongbo Hongsong Hongwei Hongyu Honkala Hoogeboom Horadam Horng Horsch Hosseinabadi Hou Houkuan Hristea Hshiung Hsiang Hsieh Hsien Hsin Hsing Hsiu Hsu Hsueh Hu Huang Huaxiong Hui Huib Huizing Hurkens Hutton Huynh Hwang Hypergraph Hypergraphs Hyun IAB IAC IAI IAL IBC IC ICGT ICL ICM ICS ICT IDC IDS IEM IFD IFI IFP IGD IGF IGM IHP IHS IHT IID IIS IIU IK ILP IMS IP IPG IPM IPO IPS IRL IRM IRW ISB ISD ISF ISJ ISN ISR ISS ISSN IST ISU ITC ITE ITP IUO IUS IUT IVI IWM Iain Ibarra Ilcinkas Ilias Ilie Iliev Iliopoulos Iliopoulous Im Imai Imbalanced Ina Inbok Indices Indiscernibility Indranil Ines Inf Infinigons Infinitary Infomorphisms Informaticae Informatics Ingo Ingolfsdottir Ingrid Injectivity Inkielman Inokuchi Intercode Internet Intrigila Introns Intuitionistic Inuiguchi Ioan Ioannis Ionescu Ionu Iosif Ipate Irina Isabelle Ishdorj Issueon Isto Istrate Istv Italiano Ivanov Ivo Iwamoto J JSI Jacek Jaco Jacopini Jacquet Jafar Jain Jakub Jakubowska Jamroga Janicki Janin Janina Janis Jankowski Janodet Janowska Janowski Jansson Jantsch Jantzen Janusz Jari Jarkko Jaros Jaroslav Jaroslaw Jarvinen Jasen Javier Jaworski Jayanta Jeffery Jelali Jen Jeng Jeroen Jerzy Jeske Jesper Ji Jia Jian Jianchao Jiang Jihye Jin Jing Jinn Jitender Jiujiang Joachim Johan Johanna Johnsen Jolkowska Joly Jonker Jonoska Joost Jordi Jorma Jos Joscha Josep Josephs Josu Jouni Jozef Ju Juh Juha Juhani Juhas Juho Julien Jun Jung Jungel Jurdzi Jurdzinski Jurek Jurgen Jurriaan Jyrki K KAUa KAUb KBA KDS KGL KRI KTD Kacprzak Kai Kakutani Kalantzi Kalpana Kalyanasundaram Kamala Kamandi Kamide Kamikawa Kamila Kaminski Kanazawa Kandulski Kang Kangavari Kangho Kangsah Kannan Kanti Kapoor Kappes Karel Karhum Kari Karim Karin Karina Karpinski Karsten Katalin Kataryna Katarzyna Katerina Kathrin Katsuhiko Katsunobu Katsuyuki Kaushik Kawabe Kazda Ke Kedian Kee Kees Keijo Kelarev Kelemen Kelemenov Kelemenova Kenichi Kenji Keplicz Keshet Keun Khepera Khomenko Khoo Khoussainov Ki Kieu Kimmo Kinsner Kiritsis Kisiel Kislak Klaudel Kleene Kleijn Kllopotek Klopotek Klunder Knap Knijf Ko Kohler Kohn Kok Kol Kolany Kolmogorov Komorowski Konczak Kondo Kondratyev Konieczny Konig Konikowka Konikowska Konstantinidis Kope Kopecek Kordon Kortelainen Koshi Kosi Kossak Kot Kotowski Kotz Kou Koukam Koutny Koutras Kouzou Kowalski Kowaluk Kozera Kozlak Kr Krajewski Kreowski Kresch Kret Krishnan Kristensen Krithivasan Krivine Krob Kruczek Krynicki Krystyna Kryvyy Krzysztof Ku Kuan Kubale Kucera Kucharski Kudlek Kuei Kufleitner Kuich Kuiper Kumar Kummer Kundan Kundu Kunsoo Kuo Kuri Kurka Kurkowski Kurucz Kuske Kutrib Kuzelka Kwae Kwasnicka Kwiatkowska Kwolek Kwon Kyller L LACa LACb LAS LBA LBC LCA LCB LCD LCG LCL LCS LDA LDG LDI LDYIS LEM LER LFD LFH LFM LFO LFS LFV LGB LGC LLL LM LP LPD LPP LPR LPT LPZ LR LRA LRE LRP LRS LRT LSA LSB LSC LTF LTS LUM LWZ Labrini Lagrue Lajios Lakemeyer Lakhnech Lakshmanan Lambek Lamborn Lanchares Lanese Langille Langmaack Lanotte Larisa Lasota Latkowski Latombe Latvala Laugerotte Laurenzi Lavagno Lavalette Lawford Layuan Lazi Lazic Le Learnability Lech Lecroq Lefevre Lei Leibniz Leivant Lemay Lemmata Lenzi Leporati Leszek Lettieri Leu Leupold Leyou Lhoussaine Li Liang Liao Liau Liberatore Lidia Liguang Lijun Lili Lilius Lindemann Lindenmayer Ling Lingas Lingras Linh Linke Linqiang Lippi Liron Lirong Lishan Lisitsa Liu Liviu Liying Llana Llu LoLA Logics Lomazova Lomazowa Lomuscio Lonati Loof Lookup Loos Lopatina Lor Losseva Lossless Lotfi Louchka Lu Luc Luca Lucchi Luciano Ludovic Ludwik Lugiez Luit Lukasiewicz Lukasz Lukin Luo Luttik Lutz Lyhyaoui Lyubomir Lyudmila M MAA MAS MAU MBF MBI MBS MC MCA MCC MCD MCE MCF MCG MCMAS MCN MCP MCS MCT MCU MDC MDL MDN MDO MDP MDR MDV MDatalog MEA MEC MFA MFD MFL MGH MGL MGS MHD MHE MHO MIE MII MIR MLA MLD MLI MLO MLP MLR MMC MML MMR MNS MON MOR MP MPA MPB MPF MPMA MPN MPP MPZ MQL MRB MRI MRL MRN MRP MRR MSA MSC MSH MSO MSQ MST MTJ MV MVD MVM MVR MVS Maarten Maass MacCaull MacGregor Macedonio Maci Macia Maciej Madali Madalinska Madalinski Madhu Maeda Magdalena Maggiolo Magniez Magnin Mahalingam Mahe Maitrayee Majdzik Maji Majster Makinen Makoto Makris Maksimova Maksymilian Makwakwa Malcher Malerba Maletti Malinowska Mallick Manca Manea Mani Manolis Manyem Maokang Maragos Marcello Marcin Marciniec Mardare Marek Marganiec Margara Margenstern Margherita Mari Marian Marinella Marius Mariusz Mariya Marjan Markou Markovian Markovski Markus Marta Martijn Martinek Martinenghi Masahiko Masahiro Masahito Masaru Masashi Masato Masaya Masopust Massimiliano Masson Mateescu Mathematicae Matteo Matthai Matthias Matusiewicz Matvyeyeva Maulik Maurer Mauri Maurizio Mauro Mauser Mavaddat Maxime Maximisation Mazlack Mazoyer Mazurkiewicz McDermott Meduna Meert Meghdadi Meghini Mehdi Mei Meijster Mellmann Meng Menge Meo Mereology Mereotopology Merkle Merwe Meta Metadata Metalinear Miao Micha Michal Michalewicz Michalski Michiro Michisaka Middelburg Middelkoop Midelfart Mieczys Mieg Mignosi Mihai Mihir Miika Mikhail Miki Miklos Mikulski Mila Milazzo Milligan Milnikel Milo Mimmo Ming Minghu Mingsheng Minimax Minimisation Minkoo Mirian Mirkin Mirko Mirkowska Miros Miroslav Miroslaw Misra Mitra Mitrana Modelled Modelling Modzelewski Mohak Mohammad Mohammadreza Mohammed Mohand Mohua Moisil Moitra Molinaro Monika Monocultures Monoidal Monoids Montagna Montangero Montesi Monticelli Moreira Morita Moritz Morphologicae Morrisett Moschoyiannis Moshkov Moshkova Moshov Mostowski Motoda Motr Moura Movaghar Mrinal Mroczek Muhammad Mukherjee Mukhopadhyay Multi Multiactions Multiagent Multimedia Multimodal Multipattern Multirepeats Multiscale Multisequential Multiset Multisplitting Multistrategy Multithreaded Multivalued Munina Muntz Murai Murawski Murthy Muscholl Mutyam Muzamel Mycka Mykola Myon N NAC NAL NAM NAO NAS NBA NBR NBT NCA NCC NCI NCK NCR NCS NCV NDB NDF NDP NDR NEP NES NFA NFN NFS NGF NIC NIF NIO NLS NMP NN NNI NOE NOH NPA NPE NPL NPN NPS NPT NRL NRS NSC NSI NSM NSO NSR NSS NTO NTW NVR NWA Nabia Nabialek Nadarajah Nadjib Nagar Nakamori Nam Naoki Napoli Naranjo Narayanan Nata Natalia Natalya Navarro Navid Nawarecki Neamat Neary Nelma Nepomniaschaya Neraud Neuendorf Neuro Neuronmuscular Newcomb Ngan Nghiem Ngoc Ni Nichitiu Nicod Nicodeme Nicola Nicolae Nicolas Nicolau Nicole Nicolescu Nicoletta Nicolette Niels Nien Niewiadomski Nijssen Nikitin Nikola Niloy Nils Nilsson Nino Nishida Nishio Niwi Noakes Nocoletta Nola Nonassociative Nondeterminism Nondeterministic Nonmodularity Nonmonotonic Nonterminal Nonunique Norbert Norihiro Normalisation Nour Novotn Novotny Nowak Nummenmaa Nuno Nuovo O OAD OBA OBS OCCa OCCb ODA ODC OET OFR OI OMO ONL OO OOD OOR OPS OSH OSP OSR OSV OTR OUI OUL OVC OWC Oanea Occhiuto Ochma Ochmanski Odile Offline Oghlan Ohara Ohsuga Ojala Ojeda Okhotin Olena Oliva Olivier Olmos Omicini Ond Online Onn Onolt Ontologies Oprocha Optimisation Ord Orejas Organisations Orlowska Orzan Oskar Ostravsk Ostravsky Otsu Otten Ouaknine Ouardi Outfix OverWords P PAC PAF PAG PAV PCA PCAM PCB PCC PCG PCI PCIa PCIb PCP PCT PCU PDL PDM PDS PDU PEC PED PFL PFP PGI PHM PHS PIC PID PIF PILa PILb PIR PIS PLI PLP PLR PMA PMC PML PMM PMR PMT PNC PNP PNR PNS PNT POC POMDP PPC PPD PPE PPF PPN PPO PPS PQL PQP PRH PRI PRM PRP PS PSA PSAa PSAb PSB PSC PSD PSL PSO PSPACE PSQ PTL PTM PTP PTS PTT PTV PVS PWI Pacheco Pachoulakis Padberg Paddon Padmanabhan Pagetti Pagliani Palka Panagis Pancerz Pankowski Panos Pantelic Pao Paola Paolo Papadimitriou Papini Pappalardo Pappas Paprzycki Paquet Paraconsistent Paradiso Paradowski Parallelization Parameterizations Parameterized Paraschiv Pardo Parente Parikh Parisi Parosh Parsable Partha Paszy Paszynski Patel PathLog Patra Paulo Paun Pavel Pavlos Pawan Pawe Pawel Pawlak Payet Paz Pazos Pb Pechenizkiy Pedicini Pedrycz Pei Pelc Peltier Penczek Peng Pennemann Peper Perceptron Perdikuri Perimeters Peron Pestov Peszek Petar Petr Petre Petri Petrinets Petros Pettorossi Pfahringer Pfeifer Pheromone Philipose Philippe Phylogenies Piatek Pieckowska Pieri Pierluigi Piero Pietkiewicz Pietruszczak Pietrzyk Piliszczu Piliszczuk Pindur Pinhas Pinna Pinzon Piotr Piotrowski Pisokas Pivato Piyu Plana Plandowski Platek Ploscaru Plotkin Plourde Polak Polarizationless Poliakov Polkowska Polkowski Pollack Polleres Polrola Pomello Pommereau Pomyka Pomykala Pontelli Popa Popescu Popova Poppleton Poranen Porwik Poset Posets Possibilistic Postow Potapov Potikas Potop Pozzato Prabhu Prade Pradipta Prakken Pranab Prange Pre Prebases Preemptible Pregroups Prelanguages Preprocessing Preprocessor Presicce Pretopologies Priami Prinz Prioritized Prithwish Priti Proietti Promela Puntigam Pushdown Puuronen QCU QDS QFF QIE QPL QSB QSP QSR QSS QST QTH QVA Qi Qiang Qin Qing Qiong QoS Quaas Quantales Quartics Qunxia Quyen R RA RAA RAC RBC RBD RBE RBFFCA RBM RCB RCC RCE RCM RCN RCP RCS RCW RDA RDE RDH RDI RDR REC REL RFCM RFR RFS RHC RHP RIONA RIR RLA RLD RLE RM RMF RMI RMR RNC RNI ROSECON RPB RPC RPO RPR RRA RRE RRF RRIA RRM RRS RS RSA RSB RSE RSH RSI RSL RSP RSR RSS RST RSV RTB RTC RTCP RTD RTG RTL RTM RTN RTPA RUP RUR RVB RVC Ra Rabinovich Radha Radim Radom Rados Radu Raedt Rafa Raffalli Raghavan Rahmani Rahonis Raimondi Rajeev Rajesh Rajkumar Rakesh Rakkay Ralf Rama Ramadoss Ramanna Ramesh Ranalter Randell Rangding Ranko Ras Raskin Rataj Ravara Reachability Realizability Rebeca Recognizability Reddy Reducts Redziejowski Regan Rege Regexpcount Reiff Reiko Reis Reisig Reiter Relativizing Rembelski Remco Remmel Ren Renan Renardel Renato Reniers Replaceability Representability Residuated Resios Restivo Reuveni Rewitzky Rey Reynier Rhee Rialto Ricardo Richling Rik Rineke Risto Rital Rlationship Robertas Robine Rocca Roch Rocha Rodica Rodr Roel Roerdink Roever Rog Rogozhin Roh Rolland Romanian Romanowska Romero Ronaldo Ronchi Rondogiannis Rongo Rongxing Ronse Roozbeh Roscoe Rosenblueth Rosihan Rossi Rothe Rougemont Rousu Roux Roxana Rozenberg Ruan Rudeanu Rudnicki Ruggero Rui Ruiz RuleML Runtimes Ruo Ruqian Rusinowitch Ruslan Ruurd Ruyer Ryabko Rybakov Ryszard Rytter Rz Rzasa S SAE SAS SASa SASb SBB SBC SBL SBM SBR SBU SCC SCD SCF SCH SCR SCS SCT SDB SDC SDI SDT SEM SEO SEP SFF SFN SFS SGA SGB SGS SGT SHH SI SIA SID SIH SII SIK SIMD SIMa SIMb SLD SLG SM SMA SMC SME SMF SML SMM SMP SMS SMVQ SNC SNF SNI SNS SOF SOR SPB SPC SPCF SPM SPN SPR SPS SPV SQEMA SRA SRF SRR SRS SSA SSB SSC SSP SSR SSS STA STB STD STF STG STI STM STR STS SUS SVD SVF SVI SVM SVP SWA Sa Sabyasachi Sadhu Sadowski Safwat Saha Saito Sakai Sako Sakurai Sali Salibra Salleb Salomaa Salomon Salwicki Sami Sandeep Sandovik Sandpiles Sanghamitra Sanghyun Sangiovanni Sanjay Sanjiang Sankar Sant Santean Santha Santone Santos Saralees Sassone Satisfiability Sato Sattar Sattler Sauro Sayan Sburlan Schaefer Schaerf Schaub Schedulability Schemaless Schenk Schettini Schewe Schlechta Schmeck Schobbens Scholten Schoop Schott Schr Schroter Schuberth Sciortino Scollo Sebban Sebesty Sebestyen SecSpaces Seceleanu Sekerinski Selivanov Semeniuk Semeraro Semigroup Semilattices Semilinear Semini Semirings Semistructured Senko Senni Seo Seppi Seppo Sequentiality Serbanuta Serebrenik Sergey Sergio Sergiu Sergiy Sergot Serra Seshadhri Sessa Setsuo Seunghyun Seyed Seyyed Sgarro Shahram Shali Shankara Shapley Sharad Sheela Shehata Shehory Shen Sheng Sheu Shevchenko Shi Shiang Shiau Shih Shilov Shing Shirazi Shishir Shiuh Shoji Shoung Shu Shufan Shukla Shusaku Shyong Siau Siddhartha Sideri Sidorova Sigrid Sikdar Sikora Silva Simona Simone Simonnet Simson Sirjani Siwi Skarbek Skolem Skordev Skowron Slezak Slissenko Slowinski Smo Smyth Socha Sofic Sogomonyan Sohier Soille Sokolov Sokolova Solana Soltys Somenath Somla Somsak Songtao Sooi Sorina Sos Sotiris Soufiane Spandl Spataro Spatharis Spatio SpecVer Spehner Speidel Spyratos Srebrny Srijith Sriparna Sroka Stachniak Staiger Stanis Stanislaw Stanislawa Starke Statman Stavros Stawikowska Stefanescu Stefania Stefano Stefanowski Steffen Steganographic Steganography Stehr Steinby Stepaniuk Stephan Stepie Stepney Stiebe Stijn Stoilos Stojakovi Stojmirovi Stopwatches Stra Straccia Strazny Streicher Stringology Struyf Strza Strzalka Studen Stuttering Su Subcontexts Subgraphs Subhasree Submonoids Subramanian Subregular Subshifts Substring Subtree Subtrees Subword Suchier Sui Sujata Suman Sumita Suna Sunckel Sungchul Superclasses Superstring Supriya Suraj Suresh Sureson Surjective Susmaga Susmita Susumu Sutner Svejdar Sven Svrcek Swagatam Swarnajyoti Swida Swiniarski Sydow Sylvain Symport Synak Synchronicity Synchronisation Synthesising Sza Szabolcs Szczuka Szilvia Szpakowicz Szpyrka Szreter Szymanski Szymczak Szymon T TAA TAC TADDs TBA TBB TBC TBE TBM TBS TBase TCA TCG TCP TCTL TDB TDC TDM TDS TDT TEB TEC TES TESLA TET TFA TFC TFM TFSa TFSb TGF THP THT TIV TJP TKA TLC TLL TLS TLT TMA TMC TNC TOA TOS TPL TPM TPN TPR TRPa TRPb TSE TSI TSM TSPN TSR TSU TTC TTP TVD TVJ TWB Ta Tadeusz Taentzer Tafill Tahar Tahi Tai Taishin Takabayashi Takafumi Takashi Takeyama Talpin Tamar Tanaka Tanas Tanino Tantrix Tapio Tarasyuk Tarhio Tatar Tateishi Taubin Tauriainen Teleportation Terada Teraoka Terlikowski Terlutte Ternovska Tero Tesei Tetsuya Tetsuzo Thalheim Thangaraj Thanh Theelen Theodoridis Theophilos Thielscher Thierrin Thierry Thomo Thon Thorsten Thresholding Thue Tianrui Tiberiu Tien Timestamps Timo Tinchev Ting Tini Tinko Tinku Tiplea Titchener Tiuryn Toit Tomasz Tomescu Tomohiro Toosizadeh Torabi Torjusen Torsten Totzke Toumani Tourlakis Tr Traian Trakhtenbrot Transductions Tri Trinc Tripakis Troina Trojanowski Trunfio Trung Truthe Trzebiatowski Tsai Tsakalidis Tsan Tsao Tsau Tsay Tseitlin Tseng Tseren Tsiatsoulis Tsou Tsumoto Tsung Tsymbal Tuan Tulipani Tup Tupling Turlough Twan Tyne Typeful Tyszkiewicz Tzacheva Tzeng Tzitzikas Tzu Tzung UAE UAM UAO UBA UBE UBS UCL UDF UFR UGL UHI ULM UMA UMFFs UML UOA UPC URL URT USL USP UTM UUP Uchino Ugo Ujjwal Ulrich Ulrike Ultraproducts Umberto Umeo Unary Undecidabilities Undecidability Unfoldings Unicode Unranked Unsupervised Untyped Urbig Uri Urzyczyn Uwe V VBC VCC VCD VCS VDB VEP VID VLS VMC VNF VPT VQ VRS VSC VSP VTA VTP Vagvolgyi Vahid Vaida Vakarelov Valent Valentin Valentina Valerio Valero Vallecillo Vanit Vanneschi Varadharajan Varea Varj Varju Varpaaniemi Varr Vasco Vasconcelos Vaszil Velardo Velauthapillai Veli Vennekens Ver VerICS Verbrugge Verlan Verma Vertexlet Vesa Vibha Vico Victoriei Vidal Viegas Vijay Viktor Vincentelli Vincenzo Vink Violetta Virbitskaite Viroli Visser Vit Vitoria Vittoria Viviana Vizzari Vladimiro Vogler Voigtl Voinescu Volker Vollmar Voorhoeve Vrain Vsemirnov Vurm Vyas W WAM WBN WCH WLA WPI WSD WST WTD WWR WWW Wachtel Wachter Wadge Wajsberg Wakulicz Wamel Wannes Wanqing Warodom Warpechowski Washio Wassyng Waszkiewicz Watanabe Watermarking Watermarks Wegener Wehrheim Weicker Weili Weimar Weiru Welzl Weng Wenxiu Weyns Widmer Wiebe Wieczorkowska Wieringa Wies Wietze Wijs Wil Wilk Willem Wim Wimmel Winkowski Wist Witold Witteveen Wittocx Wnukowicz Wo Wojciech Wojew Wojna Wojnarski Wole Wolenski Wollowski Wolny Wolski Wolter Woodworth Woong Workflow Worrell Worsch Wozna Wr Wroblewski Wuensche X XCCS XOR Xia Xiang Xiangxiang Xianzhong Xiao Xiaodong Xiaofeng Xiaohua Xiaolei Xin Xingjuan Xingyi Xintao Xiong Xirouchakis Xishun Xizhong Xu Xun Y Ya Yadetie Yakovlev Yan Yanagihara Yancang Yanghee Yann Yannis Yao Yassine Yasunobu Yatsenko Yebin Yeh Yi Yijun Yinbin Ying Yingqian Yingxu Yiyu Yo Yoan Yokoi Yokomori Yoneda Yong Yongge Yongming Yoo Yoon Yoram Yorgos Yoshida Yoshihiko Yoshiteru Yosinori Youfang Yu Yuan Yue Yuefei Yuliang Yun Yung Yunhe Yuping Yupu Yurii Yusufu Yuxia Yvo Z ZPP Zadeh Zadro Zaki Zaky Zandron Zarri Zavattaro Zbigniew Zbrzezny Zdanowski Zdzis Zdzislaw Zendulka Zeng Zenon Zernike Zetzsche Zeugmann Zhanbo Zhang Zhao Zhe Zhenfu Zheng Zhi Zhiguang Zhihua Zhiming Zhiqiu Zhong Zhou Zhu Ziadi Zielonka Zielosko Ziembi Ziembinski Zikos Zizhu Zofia Zolt Zoltan Zou Zuberek Zucker Zuwen Zwaag ack acknowledgement acm adys al apr ar aug automata aw awa awomir bal bastien beebe bert bibdate bibmods bibnames bibnet bibsource bisimulation blewski brah c ck ckner ckowiak com cs d datacompression de deBoer deBruijn deHaan dec del della der derWerf dijkstra doi du dx dzki e edsger edu ej ek elezn elka ella ena erb evi ez f feb fi fjournal fredriks fundamenta fundinfo gberg ger gielski greid guez gui gv hler hm hp hring http https i ich inen informaticae intuitionistic iospress iplea iu ius j jan java jcik jek jul jun k ka ki kinen ko kowska l lak le lezak lgyi lina lke lohl lopotek lscher lvaro m mann meier meti mie mila milleux mpeanu mpleteness multithreading n na nch nchez nd nder ndez ndor nescu nez ngel nhfb nica nie niel nio nis nos nov ntsch ny o oct ois oise opotek org ovsk owi owska owski p pdf perICS pez phane phanie plicz r ra raud rez rg rgen rgy ria ric rio rka rkk rklund rn rola rrez rsett rulis rvinen s sPBC sa sep showtags si sik sio ska ssel sser sta stowski subshifts superpixels t tean tek tenBosch ter terBeek tex tienne tivier tzsch u ukasiewicz ukasz ukaszewicz uku un unsrt uszy utah v vanGlabbeek vanHee vanderWerf vejdar vek von vr vs w wi wida www xxnote xxtitle y yna z zef zhi zslav zvan