Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Index by Authors:

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Papers and Short Presentations by Authors: M

Authors on this page:

Alexis Maciel

Ian Mackie

Roger D. Maddux

Florent R. Madelaine

Parthasarathy Madhusudan

Jean-Marie Madiot

Frédéric Magniez

Meena Mahajan

Pritha Mahata

Assia Mahboubi

Michael J. Maher

Roberto Maieli

Kenji Maillard

Harry G. Mairson

Rupak Majumdar

Michael Makkai

Johann A. Makowsky

Soumodev Mal

Pasquale Malacaria

Lorenzo Malatesta

Mehrdad Maleki

Oded Maler

Enrico Malizia

Vadim Malvone

Marcello Mamino

Konstantinos Mamouras

Zohar Manna

Bassel Mannaa

Panagiotis Manolios

Shane Mansfield

Vikash K. Mansinghka

Alessio Mansutti

Amaldev Manuel

Giulio Manzonetto

Claude Marché

J. Raymundo Marcial-Romero

Jerzy Marcinkowski

Radu Mardare

Victor W. Marek

Grgur Petric Maretic

Sonia Marin

Jean-Yves Marion

Nicolas Markey

Petar Markovic

Michael Marmar

Bruno Marnette

João P. Marques-Silva

Kim Marriott

Dan Marsden

Wim Martens

Johannes Marti

Barnaby Martin

Ursula Martin

Maarten Marx

Dániel Marx

Michael Marz

Corto Mascle

Ian A. Mason

Francesc Massanés

Jade Master

Cristina Matache

Paulo Mateus

Christoph Matheja

Umang Mathur

Yuri Matiyasevich

Oliver Matz

Bastien Maubert

Francois Maurel

Richard Mayr

Filip Mazowiecki

Damiano Mazza

David A. McAllester

Ken McAloon

Conor McBride

John McCarthy

Gregory L. McColm

William McCune

Guy McCusker

Raymond C. McDowell

Annabelle McIver

Pierre McKenzie

Ralph McKenzie

Richard McKinley

Kenneth L. McMillan

J. Antonio Medina

Kuldeep S. Meel

Tobias Meggendorfer

Nimrod Megiddo

Fabian Meier

Arne Meier

Larissa Meinicke

Hernán C. Melgratti

Paul-André Melliès

Paul-André Melliès

Mohamed N. Menaa

Paul F. Mendler

Nax P. Mendler

Stefan Mengel

Roy Mennicke

Alexandru Mereacre

José Meseguer

Noémie Meunier

Christoph Meyer

Albert R. Meyer

Roland Meyer

Antoine Meyer

Jeremy Meyers

Balázs F. Mezei

Claudio Antares Mezzina

Alexei Miasnikov

Henryk Michalewski

Jakub Michaliszyn

Spiro Michaylov

Vincent Michielini

Marino Miculan

Aart Middeldorp

Alex Mifsud

Stefan Milius

Dale A. Miller

Dale Miller

Robin Milner

Tova Milo

Kathleen Milsted

Peter Bro Miltersen

Samuel Mimram

Matteo Mio

Alexandre Miquel

Étienne Miquey

Michael W. Mislove

Michael Mislove

John C. Mitchell

Fabian Mitterwallner

Wojciech Moczydlowski

Hugo Moeneclaey

Joshua Moerman

Anders Mörtberg

Fabio Mogavero

Virgile Mogbil

Rasmus E. Møgelberg

Eugenio Moggi

Christine Mohring

Faron Moller

Dario Della Monica

Benoit Monin

Benjamin Monmege

Stefan Monnier

Yoàv Montacute

Antonio Montalbán

Ugo Montanari

Angelo Montanari

Luís F. Monteiro

J. Strother Moore

Brandon M. Moore

Matthew Moore

Marianela Morales

Barbara Morawska

Carroll Morgan

Tsuyoshi Morioka

Peter Morris

Yiannis N. Moschovakis

Georg Moser

Lawrence S. Moss

Sean K. Moss

Peter D. Mosses

Ben C. Moszkowski

Antoine Mottet

Sasank Mouli

Guilhem Moulin

Mohammad R. Mousavi

Chunyan Mu

Moritz Müller

David E. Muller

Martin Müller

Moritz Müller

Philip Mulry

Guillaume Munch-Maccagnoni

César A. Munoz

Martin Muñoz

Pablo Muñoz

Aniello Murano

Andrzej S. Murawski

Filip Murlak

Koko Muroya

Tom Murphy VII

Chetan R. Murthy

Anca Muscholl

David R. Musser

Robert S. R. Myers

Nikolas Mählmann

Anders Mörtberg

Rasmus Ejlers Møgelberg

Sebastian Müller

Norbert Müller


Last modified: 2024-10-249:41
Sam Staton