LICS

LICS 公式サイト ↗

Programming Languages & Formal Methods

2023 · 63 papers

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

1. 2023 · LICS

   A Complete Equational Theory for Quantum Circuits

   Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron

   Programming Languages & Formal Methods

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

2. 2023 · LICS

   A Higher-Order Indistinguishability Logic for Cryptographic Reasoning

   David Baelde, Adrien Koutsos, Joseph Lallemand

   Programming Languages & Formal Methods

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

3. 2023 · LICS

   A Metalanguage for Cost-Aware Denotational Semantics

   Yue Niu, Robert Harper

   Programming Languages & Formal Methods

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

4. 2023 · LICS

   A categorical account of composition methods in logic

   Tomáš Jakl, Dan Marsden, Nihil Shah

   Programming Languages & Formal Methods

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

5. 2023 · LICS

   Allegories of Symbolic Manipulations

   Francesco Gavazzo

   Programming Languages & Formal Methods

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

6. 2023 · LICS

   Automatic Amortized Resource Analysis with Regular Recursive Types

   Jessie Grosen, David M. Kahn, Jan Hoffmann

   Programming Languages & Formal Methods

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

7. 2023 · LICS

   Boolean symmetric vs. functional PCSP dichotomy

   Tamio-Vesa Nakajima, Stanislav Živný

   Programming Languages & Formal Methods

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

8. 2023 · LICS

   Cartesian Coherent Differential Categories

   Ehrhard Thomas, Walch Aymeric

   Programming Languages & Formal Methods

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

9. 2023 · LICS

   Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages

   Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev

   Programming Languages & Formal Methods

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

10. 2023 · LICS

    Complete Graphical Language for Hermiticity-Preserving Superoperators

    Titouan Carette, Timothée Hoffreumon, Émile Larroque, Renaud Vilmart

    Programming Languages & Formal Methods

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

11. 2023 · LICS

    Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus

    Boldizsár Poór, Quanlong Wang, Razin A. Shaikh, Lia Yeh, Richie Yeung, Bob Coecke

    Programming Languages & Formal Methods

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

12. 2023 · LICS

    Computational expressivity of (circular) proofs with fixed points

    Gianluca Curzi, Anupam Das

    Programming Languages & Formal Methods

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

13. 2023 · LICS

    Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields

    Jason P. Bell, Daniel Smertnig

    Programming Languages & Formal Methods

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

14. 2023 · LICS

    Cut-Restriction: From Cuts to Analytic Cuts

    Agata Ciabattoni, Timo Lang, Revantha Ramanayake

    Programming Languages & Formal Methods

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

15. 2023 · LICS

    Deterministic stream-sampling for probabilistic programming: semantics and verification

    Fredrik Dahlqvist, Alexandra Silva, William Smith

    Programming Languages & Formal Methods

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

16. 2023 · LICS

    Distal Combinatorial Tools for Graphs of Bounded Twin-Width

    Wojciech Przybyszewski

    Programming Languages & Formal Methods

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

17. 2023 · LICS

    Embedded Finite Models beyond Restricted Quantifier Collapse

    Michael Benedikt, Ehud Hrushovski

    Programming Languages & Formal Methods

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

18. 2023 · LICS

    Evidential Decision Theory via Partial Markov Categories

    Elena Di Lavore, Mario Román

    Programming Languages & Formal Methods

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

19. 2023 · LICS

    Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations

    Yoshiki Nakamura

    Programming Languages & Formal Methods

    日本大学: 東京科学大学

20. 2023 · LICS

    Expressive Completeness of Two-Variable First-Order Logic with Counting for First-Order Logic Queries on Rooted Unranked Trees

    Jelle Hellings, Marc Gyssens, Jan Van Den Bussche, Dirk Van Gucht

    Programming Languages & Formal Methods

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

21. 2023 · LICS

    Extensional and Non-extensional Functions as Processes

    Ken Sakayori, Davide Sangiorgi

    Programming Languages & Formal Methods

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

22. 2023 · LICS

    Fixed Point Logics on Hemimetric Spaces

    David Fernández-Duque, Quentin Gougeon

    Programming Languages & Formal Methods

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

23. 2023 · LICS

    Fixpoint operators for 2-categorical structures

    Zeinab Galal

    Programming Languages & Formal Methods

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

24. 2023 · LICS

    Folding interpretations

    Mikołaj Bojańczyk

    Programming Languages & Formal Methods

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

25. 2023 · LICS

    Formalizing π4(S3) ≅Z/2Z and Computing a Brunerie Number in Cubical Agda

    Axel Ljungström, Anders Mörtberg

    Programming Languages & Formal Methods

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

26. 2023 · LICS

    From Thin Concurrent Games to Generalized Species of Structures

    Pierre Clairambault, Federico Olimpieri, Hugo Paquet

    Programming Languages & Formal Methods

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

27. 2023 · LICS

    Fully Abstract Normal Form Bisimulation for Call-by-Value PCF

    Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos

    Programming Languages & Formal Methods

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

28. 2023 · LICS

    Group Separation Strikes Back

    Thomas Place, Marc Zeitoun

    Programming Languages & Formal Methods

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

29. 2023 · LICS

    Higher-Dimensional Subdiagram Matching

    Amar Hadzihasanovic, Diana Kessler

    Programming Languages & Formal Methods

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

30. 2023 · LICS

    Intuitionistic S4 is decidable

    Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger

    Programming Languages & Formal Methods

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

31. 2023 · LICS

    Making Concurrency Functional

    Glynn Winskel

    Programming Languages & Formal Methods

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

32. 2023 · LICS

    Minimization of Dynamical Systems over Monoids

    Georgios Argyris, Alberto Lluch Lafuente, Alexander Leguizamon Robayo, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

    Programming Languages & Formal Methods

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

33. 2023 · LICS

    Multiplicity Problems on Algebraic Series and Context-Free Grammars

    Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell

    Programming Languages & Formal Methods

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

34. 2023 · LICS

    On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata

    Tobias Winkler, Joost-Pieter Katoen

    Programming Languages & Formal Methods

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

35. 2023 · LICS

    On Exact Sampling in the Two-Variable Fragment of First-Order Logic

    Yuanhong Wang, Juhua Pu, Yuyi Wang, Ondřej Kuželka

    Programming Languages & Formal Methods

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

36. 2023 · LICS

    On the Growth Rates of Polyregular Functions

    Mikołaj Bojańczyk

    Programming Languages & Formal Methods

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

37. 2023 · LICS

    Operational Algorithmic Game Semantics

    Benedict Bunting, Andrzej S. Murawski

    Programming Languages & Formal Methods

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

38. 2023 · LICS

    Orbit-finite linear programming

    Arka Ghosh, Piotr Hofman, Sławomir Lasota

    Programming Languages & Formal Methods

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

39. 2023 · LICS

    PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse

    Diego Figueira, Santiago Figueira, Edwin Pin

    Programming Languages & Formal Methods

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

40. 2023 · LICS

    Pseudorandom Finite Models

    Jan Dreier, Jamie Tucker-Foltz

    Programming Languages & Formal Methods

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

41. 2023 · LICS

    Quantifying Over Trees in Monadic Second-Order Logic

    Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron

    Programming Languages & Formal Methods

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

42. 2023 · LICS

    Reachability in Injective Piecewise Affine Maps

    Faraz Ghahremani, Edon Kelmendi, Joël Ouaknine

    Programming Languages & Formal Methods

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

43. 2023 · LICS

    Revisiting Membership Problems in Subclasses of Rational Relations

    Pascal Bergsträßer, Moses Ganardi

    Programming Languages & Formal Methods

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

44. 2023 · LICS

    Semi-Simplicial Set Models for Distributed Knowledge

    Éric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum

    Programming Languages & Formal Methods

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

45. 2023 · LICS

    Set-Theoretic and Type-Theoretic Ordinals Coincide

    Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu

    Programming Languages & Formal Methods

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

46. 2023 · LICS

    Simulating Logspace-Recursion with Logarithmic Quantifier Depth

    Steffen van Bergerem, Martin Grohe, Sandra Kiefer, Luca Oeljeklaus

    Programming Languages & Formal Methods

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

47. 2023 · LICS

    Stochastic Best-Effort Strategies for Borel Goals

    Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger

    Programming Languages & Formal Methods

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

48. 2023 · LICS

    Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives

    Jan Křetínský, Tobias Meggendorfer, Maximilian Weininger

    Programming Languages & Formal Methods

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

49. 2023 · LICS

    Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF

    Johannes K. Fichte, Robert Ganian, Markus Hecher, Friedrich Slivovsky, Sebastian Ordyniak

    Programming Languages & Formal Methods

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

50. 2023 · LICS

    Symmetries of Graphs and Structures that Fail to Interpret a Finite Thing

    Libor Barto, Bertalan Bodor, Marcin Kozik, Antoine Mottet, Michael Pinsker

    Programming Languages & Formal Methods

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

51. 2023 · LICS

    Taylor Expansion as a Monad in Models of DiLL

    Marie Kerjean, Jean-Simon Pacaud Lemay

    Programming Languages & Formal Methods

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

52. 2023 · LICS

    The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)

    Laure Daviaud, David Purser

    Programming Languages & Formal Methods

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

53. 2023 · LICS

    The Cartesian Closed Bicategory of Thin Spans of Groupoids

    Pierre Clairambault, Simon Forest

    Programming Languages & Formal Methods

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

54. 2023 · LICS

    The Descriptive Complexity of Graph Neural Networks

    Martin Grohe

    Programming Languages & Formal Methods

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

55. 2023 · LICS

    The Identity Problem in the special affine group of Z2

    Ruiwen Dong

    Programming Languages & Formal Methods

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

56. 2023 · LICS

    The Iteration Number of the Weisfeiler-Leman Algorithm

    Martin Grohe, Moritz Lichter, Daniel Neuen

    Programming Languages & Formal Methods

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

57. 2023 · LICS

    The Logic of Prefixes and Suffixes is Elementary under Homogeneity*

    Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala

    Programming Languages & Formal Methods

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

58. 2023 · LICS

    The Power of Positivity

    Toghrul Karimov, Edon Kelmendi, Joris Nieuwveld, Joël Ouaknine, James Worrell

    Programming Languages & Formal Methods

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

59. 2023 · LICS

    The Probabilistic Rabin Tree Theorem*

    Damian Niwiński, Paweł Parys, Michał Skrzypczak

    Programming Languages & Formal Methods

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

60. 2023 · LICS

    Verifying linear temporal specifications of constant-rate multi-mode systems

    Michael Blondin, Philip Offtermatt, Alex Sansfaçon-Buchanan

    Programming Languages & Formal Methods

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

61. 2023 · LICS

    Weak Similarity in Higher-Order Mathematical Operational Semantics

    Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder

    Programming Languages & Formal Methods

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

62. 2023 · LICS

    ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs

    Mathieu Huot, Alexander K. Lew, Vikash K. Mansinghka, Sam Staton

    Programming Languages & Formal Methods

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

63. 2023 · LICS

    ℤ-polyregular functions

    Thomas Colcombet, Gaëtan Douéneau-Tabot, Aliaume Lopez

    Programming Languages & Formal Methods

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