LICS

LICS 公式サイト ↗

Programming Languages & Formal Methods

2021 · 91 papers

このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。

1. 2021 · LICS

   A Bunched Logic for Conditional Independence

   Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

2. 2021 · LICS

   A Complete Axiomatisation for Divergence Preserving Branching Congruence of Finite-State Behaviours

   Xinxin Liu, Tingting Yu

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

3. 2021 · LICS

   A Compositional Cost Model for the λ-calculus

   James Laird

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

4. 2021 · LICS

   A Constructive Logic with Classical Proofs and Refutations

   Pablo Barenbaum, Teodoro Freund

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

5. 2021 · LICS

   A Logic for Locally Complete Abstract Interpretations

   Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

6. 2021 · LICS

   A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis

   Preey Shah, Aman Bansal, S. Akshay, Supratik Chakraborty

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

7. 2021 · LICS

   A Quantum Interpretation of Bunched Logic & Quantum Separation Logic

   Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

8. 2021 · LICS

   A Relational Theory of Monadic Rewriting Systems, Part I

   Francesco Gavazzo, Claudia Faggian

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

9. 2021 · LICS

   A distributed operational view of Reversible Prime Event Structures

   Hernán Melgratti, Claudio Antares Mezzina, G. Michele Pinna

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

10. 2021 · LICS

    Alignment Completeness for Relational Hoare Logics

    Ramana Nagasamudram, David A. Naumann

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

11. 2021 · LICS

    An Algebraic Characterisation of First-Order Logic with Neighbour

    Amaldev Manuel, Dhruv Nevatia

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

12. 2021 · LICS

    Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom

    Rob van Glabbeek, Peter Höfner, Ross Horne

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

13. 2021 · LICS

    Asynchronous Extensions of HyperLTL

    Laura Bozzelli, Adriano Peron, César Sánchez

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

14. 2021 · LICS

    Asynchronous Template Games and the Gray Tensor Product of 2-Categories

    Paul-André Melliès

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

15. 2021 · LICS

    Axiomatizations and Computability of Weighted Monadic Second-Order Logic

    Antonis Achilleos, Mathias Ruggaard Pedersen

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

16. 2021 · LICS

    Behavioural Preorders via Graded Monads

    Chase Ford, Stefan Milius, Lutz Schröder

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

17. 2021 · LICS

    Canonical Polymorphisms of Ramsey Structures and the Unique Interpolation Property

    Manuel Bodirsky, Bertalan Bodor

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

18. 2021 · LICS

    Categorical models of Linear Logic with fixed points of formulas

    Thomas Ehrhard, Farzad Jafarrahmani

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

19. 2021 · LICS

    Categories of Nets

    John C. Baez, Fabrizio Genovese, Jade Master, Michael Shulman

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

20. 2021 · LICS

    Combinatorial Proofs and Decomposition Theorems for First-order Logic

    Dominic J. D. Hughes, Lutz Straßburger, Jui-Hsuan Wu

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

21. 2021 · LICS

    Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning

    Matteo Mio, Ralph Sarkis, Valeria Vignudelli

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

22. 2021 · LICS

    Commutative Monads for Probabilistic Programming Languages

    Xiaodong Jia, Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

23. 2021 · LICS

    Comonadic semantics for guarded fragments

    Samson Abramsky, Dan Marsden

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

24. 2021 · LICS

    Compositional Semantics for Probabilistic Programs with Exact Conditioning

    Dario Stein, Sam Staton

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

25. 2021 · LICS

    Compositional relational reasoning via operational game semantics

    Guilhem Jaber, Andrzej S. Murawski

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

26. 2021 · LICS

    Constraint Satisfaction Problems over Finite Structures

    Libor Barto, William DeMeo, Antoine Mottet

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

27. 2021 · LICS

    Continuous One-Counter Automata

    Michael Blondin, Tim Leys, Filip Mazowiecki, Philip Offtermatt, Guillermo A. Perez

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

28. 2021 · LICS

    Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics

    A. R. Balasubramanian, Timo Lang, Revantha Ramanayake

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

29. 2021 · LICS

    Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition

    Robin Hirsch, Jaš Šemrl

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

30. 2021 · LICS

    Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods

    Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

31. 2021 · LICS

    Evidenced Frames: A Unifying Framework Broadening Realizability Models

    Liron Cohen, Étienne Miquey, Ross Tate

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

32. 2021 · LICS

    Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation

    Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo

    Programming Languages & Formal Methods

    日本大学: 総合研究大学院大学

33. 2021 · LICS

    Finite Model Theory of the Triguarded Fragment and Related Logics

    Emanuel Kieroński, Sebastian Rudolph

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

34. 2021 · LICS

    First-Order Reasoning and Efficient Semi-Algebraic Proofs

    Fedor Part, Neil Thapen, Iddo Tzameret

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

35. 2021 · LICS

    Fixed-Points for Quantitative Equational Logics

    Radu Mardare, Prakash Panangaden, Gordon Plotkin

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

36. 2021 · LICS

    Forbidden Induced Subgraphs and the Łoś–Tarski Theorem

    Yijia Chen, Jörg Flum

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

37. 2021 · LICS

    From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata

    Elisabet Burjons, Fabian Frei, Martin Raszyk

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

38. 2021 · LICS

    From Multisets over Distributions to Distributions over Multisets

    Bart Jacobs

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

39. 2021 · LICS

    Fusible numbers and Peano Arithmetic

    Jeff Erickson, Gabriel Nivasch, Junyan Xu

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

40. 2021 · LICS

    Global Optimisation with Constructive Reals

    Dan R. Ghica, Todd Waugh Ambridge

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

41. 2021 · LICS

    Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory

    Titouan Carette, Marc de Visme, Simon Perdrix

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

42. 2021 · LICS

    Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication

    Jim de Groot, Tadeusz Litak, Dirk Pattinson

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

43. 2021 · LICS

    Higher Lenses

    Paolo Capriotti, Nils Anders Danielsson, Andrea Vezzosi

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

44. 2021 · LICS

    Inapproximability of Unique Games in Fixed-Point Logic with Counting

    Jamie Tucker-Foltz

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

45. 2021 · LICS

    Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses

    Toby Cathcart Burn, Luke Ong, Steven Ramsay, Dominik Wagner

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

46. 2021 · LICS

    Internal ∞-Categorical Models of Dependent Type Theory : Towards 2LTT Eating HoTT

    Nicolai Kraus

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

47. 2021 · LICS

    Intersection Type Distributors

    Federico Olimpieri

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

48. 2021 · LICS

    Lacon- and Shrub-Decompositions: A New Characterization of First-Order Transductions of Bounded Expansion Classes

    Jan Dreier

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

49. 2021 · LICS

    Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments

    Jean Christoph Jung, Frank Wolter

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

50. 2021 · LICS

    Lovász-Type Theorems and Game Comonads

    Anuj Dawar, Tomáš Jakl, Luca Reggio

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

51. 2021 · LICS

    Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP

    Libor Barto, Zarathustra Brady, Andrei Bulatov, Marcin Kozik, Dmitriy Zhuk

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

52. 2021 · LICS

    Monomial size vs. Bit-complexity in Sums-of-Squares and Polynomial Calculus

    Tuomas Hakoniemi

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

53. 2021 · LICS

    Multi-Structural Games and Number of Quantifiers

    Ronald Fagin, Jonathan Lenchner, Kenneth W. Regan, Nikhil Vyas

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

54. 2021 · LICS

    No-Rainbow Problem and the Surjective Constraint Satisfaction Problem

    Dmitriy Zhuk

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

55. 2021 · LICS

    Normalization for Cubical Type Theory

    Jonathan Sterling, Carlo Angiuli

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

56. 2021 · LICS

    On Generalized Metric Spaces for the Simply Typed Lambda-Calculus

    Paolo Pistone

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

57. 2021 · LICS

    On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs

    Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

58. 2021 · LICS

    On Logics and Homomorphism Closure

    Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

59. 2021 · LICS

    On sequentiality and well-bracketing in the π-calculus

    Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

60. 2021 · LICS

    On the Expressive Power of Homomorphism Counts

    Albert Atserias, Phokion G. Kolaitis, Wei-Lin Wu

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

61. 2021 · LICS

    On the logical structure of choice and bar induction principles

    Nuria Brede, Hugo Herbelin

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

62. 2021 · LICS

    Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata

    Mikołaj Bojańczyk, Bartek Klin, Joshua Moerman

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

63. 2021 · LICS

    PTAS for Sparse General-Valued CSPs

    Balázs F. Mezei, Marcin Wrochna, Stanislav Živný

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

64. 2021 · LICS

    Parameterized Complexity of Elimination Distance to First-Order Logic Properties

    Fedor V. Fomin, Petr A. Golovach, Dimitrios M. Thilikos

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

65. 2021 · LICS

    Parametricity and Semi-Cubical Types

    Hugo Moeneclaey

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

66. 2021 · LICS

    Parikh’s theorem for infinite alphabets

    Piotr Hofman, Marta Juzepczuk, Sławomir Lasota, Mohnish Pattathurajan

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

67. 2021 · LICS

    Perspective Multi-Player Games

    Orna Kupferman, Noam Shenwald

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

68. 2021 · LICS

    Positive First-order Logic on Words

    Denis Kuperberg

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

69. 2021 · LICS

    Quantitative and Approximate Monitoring

    Thomas A. Henzinger, N. Ege Saraç

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

70. 2021 · LICS

    Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics

    Maciej Gazda, Robert M. Hierons

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

71. 2021 · LICS

    Responsibility and verification: Importance value in temporal logics

    Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

72. 2021 · LICS

    SD-Regular Transducer Expressions for Aperiodic Transformations

    Luc Dartois, Paul Gastin, Shankara Narayanan Krishna

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

73. 2021 · LICS

    Separating Rank Logic from Polynomial Time

    Moritz Lichter

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

74. 2021 · LICS

    Session Logical Relations for Noninterference

    Farzaneh Derakhshan, Stephanie Balzer, Limin Jia

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

75. 2021 · LICS

    Smart Choices and the Selection Monad

    Martín Abadi, Gordon Plotkin

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

76. 2021 · LICS

    Some constructive variants of S4 with the finite model property

    Philippe Balbiani, Martín Diéguez, David Fernández-Duque

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

77. 2021 · LICS

    Stochastic Processes with Expected Stopping Time

    Krishnendu Chatterjee, Laurent Doyen

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

78. 2021 · LICS

    Strong Call-by-Value is Reasonable, Implosively

    Beniamino Accattoli, Andrea Condoluci, Claudio Sacerdoti Coen

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

79. 2021 · LICS

    Supermartingales, Ranking Functions and Probabilistic Lambda Calculus

    Andrew Kenyon-Roberts, C.-H. Luke Ong

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

80. 2021 · LICS

    Symbolic Time and Space Tradeoffs for Probabilistic Verification

    Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger, Alexander Svozil

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

81. 2021 · LICS

    The Laplace Mechanism has optimal utility for differential privacy over continuous queries

    Natasha Fernandes, Annabelle McIver, Carroll Morgan

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

82. 2021 · LICS

    The Smash Product of Monoidal Theories

    Amar Hadzihasanovic

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

83. 2021 · LICS

    The Space of Interaction

    Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

84. 2021 · LICS

    The Topological Mu-Calculus: completeness and decidability

    Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

85. 2021 · LICS

    The Undecidability of System F Typability and Type Checking for Reductionists

    Andrej Dudenhefner

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

86. 2021 · LICS

    Towards a more efficient approach for the satisfiability of two-variable logic

    Ting-Wei Lin, Chia-Hsuan Lu, Tony Tan

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

87. 2021 · LICS

    Types Are Internal ∞-Groupoids

    Eric Finster, Antoine Allioux, Matthieu Sozeau

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

88. 2021 · LICS

    Universal Semantics for the Stochastic λ-Calculus

    Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

89. 2021 · LICS

    Universal Skolem Sets

    Florian Luca, Joël Ouaknine, James Worrell

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

90. 2021 · LICS

    Verifying higher-order concurrency with data automata

    Alex Dixon, Ranko Lazić, Andrzej S. Murawski, Igor Walukiewicz

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

91. 2021 · LICS

    Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames

    Rineke Verbrugge

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）