IEEE Symposium on Logic in Computer Science

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

Authors on this page:

• Marco Faella
• François Fages
• Claudia Faggian
• Ronald Fagin
• Moreno Falaschi
• Leona F. Fass
• Guy Fayolle
• Tomás Feder
• Anita Feferman
• Solomon Feferman
• Matthias Felleisen
• Edward W. Felten
• Amy Felty
• Christian G. Fermüller
• Maribel Fernández
• R. Tim P. Fernando
• Gilberto Filé
• Bernd Finkbeiner
• Alain Finkel
• Marcelo P. Fiore
• Eldar Fischer
• Kathleen Fisher
• Melvin Fitting
• Jörg Flum
• Wan Fokkink
• Stephan Foldes
• Enno Folkerts
• Walter Fontana
• Jonathan Ford
• Vojtech Forejt
• Cédric Fournet
• Peter J. Freyd
• Marcelo F. Frias
• Laurent Fribourg
• Markus Frick
• Daniel P. Friedman
• Harvey M. Friedman
• Nir Friedman
• Oliver Friedmann
• Alain Frisch
• Christine Froidevaux
• Thom W. Frühwirth
• Carsten Führmann

Marco Faella

• Paper: Marco Faella Salvatore La Torre Aniello Murano
  Dense Real-time Games (LICS 2002) More Information...

François Fages

• Paper: François Fages Paul Ruet Sylvain Soliman
  Phase Semantics and Verification of Concurrent Constraint Programs (LICS 1998) More Information...

Claudia Faggian

• Short Presentation: Claudia Faggian
  Ludics Dynamics: Designs and Interactive Observability (LICS 2002) More Information...
• Short Presentation: Claudia Faggian Francois Maurel
  Ludics on Graphs. Towards Concurrency (LICS 2004) More Information...
• Paper: Claudia Faggian Francois Maurel
  Ludics Nets, a game Model of Concurrent Interaction (LICS 2005) More Information...
• Short Presentation: Mauro Piccolo Claudia Faggian
  Ludics, Game Semantics and Concurrency (LICS 2007) More Information...
• Paper: Michele Basaldella Claudia Faggian
  Ludics with Repetitions (Exponentials, Interactive Types and Completeness) (LICS 2009) More Information...

Ronald Fagin

• Paper: Ronald Fagin Joseph Y. Halpern
  I'm OK if You're OK: On the Notion of Trusting Communication (LICS 1987) More Information...
• Paper: Ronald Fagin Joseph Y. Halpern Nimrod Megiddo
  A logic for reasoning about probabilities (LICS 1988) More Information...
• Invited Paper: Ronald Fagin
  Logic, Complexity, and Games (LICS 2000) More Information...

Moreno Falaschi

• Paper: Moreno Falaschi Maurizio Gabbrielli Kim Marriott Catuscia Palamidessi
  Compositional analysis for concurrent constraint programming (LICS 1993) More Information...

Leona F. Fass

• Short Presentation: Leona F. Fass
  A Logical Look at Agents' Problem-Solving on the Semantic Web (LICS 2006) More Information...

Guy Fayolle

• Paper: Guy Fayolle Stéphane Grumbach Chritophe Tollu
  Asymptotic probabilities of languages with generalized quantifiers (LICS 1993) More Information...

Tomás Feder

• Paper: Tomás Feder Moshe Y. Vardi
  Homomorphism Closed vs. Existential Positive (LICS 2003) More Information...

Anita Feferman

• Invited Paper: Anita Feferman
  The Saga of Alfred Tarski: From Warszawa to Berkeley (LICS 1997) More Information...

Solomon Feferman

• Invited Paper: Solomon Feferman
  Tarski's Influence on Computer Science (LICS 2005) More Information...

Matthias Felleisen

• Paper: Matthias Felleisen Daniel P. Friedman Eugene E. Kohlbecker Bruce F. Duba
  Reasoning with Continuations (LICS 1986) More Information...

Edward W. Felten

• Short Presentation: Lujo Bauer Michael A. Schneider Edward W. Felten
  A proof-Carrying Authorization System (LICS 2001) More Information...

Amy Felty

• Paper: Amy Felty
  Encoding the calculus of constructions in a higher-order logic (LICS 1993) More Information...

Christian G. Fermüller

• Paper: Matthias Baaz Christian G. Fermüller Alexander Leitsch
  A non-elementary speed-up in proof length by structural clause form transformation (LICS 1994) More Information...

Maribel Fernández

• Paper: Franco Barbanera Maribel Fernández Herman Geuvers
  Modularity of strong normalization and confluence in the algebraic-λ-cube (LICS 1994) More Information...
• Paper: Maribel Fernández Ian Mackie
  Coinductive Techniques for Operational Equivalence of Interaction Nets (LICS 1998) More Information...

R. Tim P. Fernando

• Paper: R. Tim P. Fernando
  On substitutional recursion over non-well-founded sets (LICS 1989) More Information...

Gilberto Filé

• Paper: Agostino Cortesi Gilberto Filé William H. Winsborough
  Prop revisited: propositional formula as abstract domain for groundness analysis (LICS 1991) More Information...

Bernd Finkbeiner

• Paper: Bernd Finkbeiner Sven Schewe
  Uniform Distributed Synthesis (LICS 2005) More Information...

Alain Finkel

• Paper: Javier Esparza Alain Finkel Richard Mayr
  On the Verification of Broadcast Protocols (LICS 1999) More Information...

Marcelo P. Fiore

• Paper: Marcelo P. Fiore
  A coinduction principle for recursive data types based on bisimulation (LICS 1993) More Information...
• Paper: Marcelo P. Fiore Gordon D. Plotkin
  An axiomatisation of computationally adequate domain theoretic models of FPC (LICS 1994) More Information...
• Paper: Marcelo P. Fiore Eugenio Moggi Davide Sangiorgi
  A Fully-Abstract Model for the pi-calculus (Extended Abstract) (LICS 1996) More Information...
• Paper: Martín Abadi Marcelo P. Fiore
  Syntactic Considerations on Recursive Types (LICS 1996) More Information...
• Paper: Marcelo P. Fiore Gordon D. Plotkin A. John Power
  Complete Cuboidal Sets in Axiomatic Domain Theory (LICS 1997) More Information...
• Paper: Gian Luca Cattani Marcelo P. Fiore Glynn Winskel
  A Theory of Recursive Domains with Applications to Concurrency (LICS 1998) More Information...
• Paper: Marcelo P. Fiore Kohei Honda
  Recursive Types in Games: Axiomatics and Process Representation (LICS 1998) More Information...
• Paper: Marcelo P. Fiore Gian Luca Cattani Glynn Winskel
  Weak Bisimulation and Open Maps (LICS 1999) More Information...
• Paper: Marcelo P. Fiore Gordon D. Plotkin Daniele Turi
  Abstract Syntax and Variable Binding (LICS 1999) More Information...
• Paper: Marcelo P. Fiore Daniele Turi
  Semantics of Name and Value Passing (LICS 2001) More Information...
• Paper: Marcelo P. Fiore Roberto Di Cosmo Vincent Balat
  Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types (LICS 2002) More Information...
• Paper: Marcelo P. Fiore Sam Staton
  A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics (LICS 2006) More Information...
• Paper: Marcelo P. Fiore
  Second-Order and Dependently-Sorted Abstract Syntax (LICS 2008) More Information...

Eldar Fischer

• Paper: Eldar Fischer Frédéric Magniez Michel de Rougemont
  Approximate Satisfiability and Equivalence (LICS 2006) More Information...

Kathleen Fisher

• Paper: John C. Mitchell Furio Honsell Kathleen Fisher
  A lambda calculus of objects and method specialization (LICS 1993) More Information...

Melvin Fitting

• Paper: Melvin Fitting
  Negation as refutation (LICS 1989) More Information...

Jörg Flum

• Paper: Jörg Flum Martin Grohe
  Model-Checking Problems as a Basis for Parameterized Intractability (LICS 2004) More Information...
• Paper: Yijia Chen Jörg Flum
  A Logic for PTIME and a Parameterized Halting Problem (LICS 2009) More Information...

Wan Fokkink

• Paper: Bard Bloom Wan Fokkink Rob J. van Glabbeek
  Precongruence Formats for Decorated Trace Preorders (LICS 2000) More Information...
• Paper: Taolue Chen Wan Fokkink
  On the Axiomatizability of Impossible Futures: Preorder versus Equivalence (LICS 2008) More Information...

Stephan Foldes

• Short Presentation: Miguel Couceiro Stephan Foldes
  On Definability of Function Classes by Relational Constraints and Corresponding Galois Connections (LICS 2004) More Information...

Enno Folkerts

• Paper: Enno Folkerts
  Invertibility in lambda-eta (LICS 1998) More Information...

Walter Fontana

• Invited Paper: Walter Fontana
  Logic and Systems Biology (LICS 2005) More Information...

Jonathan Ford

• Short Presentation: Jonathan Ford Ian A. Mason Natarajan Shankar
  Lessons Learned from Formal Developments in PVS (LICS 2002) More Information...

Vojtech Forejt

• Paper: Tomáš Brázdil Vaclav Brozek Vojtech Forejt Antonín Kucera
  Stochastic Games with Branching-Time Winning Objectives (LICS 2006) More Information...
• Paper: Tomáš Brázdil Vojtech Forejt Jan Kretínský Antonín Kucera
  The Satisfiability Problem for Probabilistic CTL (LICS 2008) More Information...

Cédric Fournet

• Paper: Martín Abadi Cédric Fournet Georges Gonthier
  Secure Implementation of Channel Abstractions (LICS 1998) More Information...
• Paper: Bruno Blanchet Martín Abadi Cédric Fournet
  Automated Verification of Selected Equivalences for Security Protocols (LICS 2005) More Information...

Peter J. Freyd

• Paper: Peter J. Freyd Andre Scedrov
  Some Semantic Aspects of Polymorphic Lambda Calculus (LICS 1987) More Information...
• Paper: Peter J. Freyd Jean-Yves Girard Andre Scedrov Philip J. Scott
  Semantic parametricity in polymorphic lambda calculus (LICS 1988) More Information...
• Paper: Peter J. Freyd Philip Mulry Giuseppe Rosolini Dana S. Scott
  Extensional PERs (LICS 1990) More Information...
• Paper: Peter J. Freyd
  Recursive types reduced to inductive types (LICS 1990) More Information...
• Paper: Peter J. Freyd Edmund P. Robinson Giuseppe Rosolini
  Functional parametricity (LICS 1992) More Information...

Marcelo F. Frias

• Paper: Marcelo F. Frias Roger D. Maddux
  Completeness of a Relational Calculus for Program Schemes (LICS 1998) More Information...

Laurent Fribourg

• Paper: Laurent Fribourg
  Mixing list recursion and arithmetic (LICS 1992) More Information...

Markus Frick

• Paper: Markus Frick Martin Grohe
  The complexity of first-order and monadic second-order logic revisited (LICS 2002) More Information...
• Paper: Markus Frick Martin Grohe Christoph Koch
  Query Evaluation on Compressed Trees (Extended Abstract) (LICS 2003) More Information...

Daniel P. Friedman

• Paper: Matthias Felleisen Daniel P. Friedman Eugene E. Kohlbecker Bruce F. Duba
  Reasoning with Continuations (LICS 1986) More Information...

Harvey M. Friedman

• Invited Paper: Harvey M. Friedman
  Some Decision Problems of Enormous Complexity (LICS 1999) More Information...

Nir Friedman

• Invited Paper: Nir Friedman Joseph Y. Halpern
  Plausibility Measures and Default Reasoning: An Overview (LICS 1999) More Information...

Oliver Friedmann

• Paper: Oliver Friedmann
  An Exponential Lower Bound for the Parity Game Strategy Improvement Algorithm as We Know it (LICS 2009) More Information...

Alain Frisch

• Paper: Alain Frisch Giuseppe Castagna Véronique Benzaken
  Semantic subtyping (LICS 2002) More Information...

Christine Froidevaux

• Paper: Nicole Bidoit Christine Froidevaux
  Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming (LICS 1987) More Information...

Thom W. Frühwirth

• Paper: Thom W. Frühwirth Ehud Y. Shapiro Moshe Y. Vardi Eyal Yardeni
  Logic programs as types for logic programs (LICS 1991) More Information...

Carsten Führmann

• Paper: Carsten Führmann David J. Pym
  On the Geometry of Interaction for Classical Logic (LICS 2004) More Information...