LICS

2021–2025 確定版

著者一覧 · 国際会議 · 大学ランキング

LICS 公式サイト ↗

Programming Languages & Formal Methods

2023 · 63 papers

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

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
日本大学: 関与なし（対象大学）
2023 · LICS
A Higher-Order Indistinguishability Logic for Cryptographic Reasoning
David Baelde, Adrien Koutsos, Joseph Lallemand
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
A Metalanguage for Cost-Aware Denotational Semantics
Yue Niu, Robert Harper
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
A categorical account of composition methods in logic
Tomáš Jakl, Dan Marsden, Nihil Shah
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Allegories of Symbolic Manipulations
Francesco Gavazzo
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Automatic Amortized Resource Analysis with Regular Recursive Types
Jessie Grosen, David M. Kahn, Jan Hoffmann
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Boolean symmetric vs. functional PCSP dichotomy
Tamio-Vesa Nakajima, Stanislav Živný
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Cartesian Coherent Differential Categories
Ehrhard Thomas, Walch Aymeric
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Complete Graphical Language for Hermiticity-Preserving Superoperators
Titouan Carette, Timothée Hoffreumon, Émile Larroque, Renaud Vilmart
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
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
日本大学: 関与なし（対象大学）
2023 · LICS
Computational expressivity of (circular) proofs with fixed points
Gianluca Curzi, Anupam Das
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields
Jason P. Bell, Daniel Smertnig
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Cut-Restriction: From Cuts to Analytic Cuts
Agata Ciabattoni, Timo Lang, Revantha Ramanayake
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Deterministic stream-sampling for probabilistic programming: semantics and verification
Fredrik Dahlqvist, Alexandra Silva, William Smith
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Distal Combinatorial Tools for Graphs of Bounded Twin-Width
Wojciech Przybyszewski
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Embedded Finite Models beyond Restricted Quantifier Collapse
Michael Benedikt, Ehud Hrushovski
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Evidential Decision Theory via Partial Markov Categories
Elena Di Lavore, Mario Román
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations
Yoshiki Nakamura
Programming Languages & Formal Methods
日本大学: 東京科学大学
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
日本大学: 関与なし（対象大学）
2023 · LICS
Extensional and Non-extensional Functions as Processes
Ken Sakayori, Davide Sangiorgi
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Fixed Point Logics on Hemimetric Spaces
David Fernández-Duque, Quentin Gougeon
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Fixpoint operators for 2-categorical structures
Zeinab Galal
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Folding interpretations
Mikołaj Bojańczyk
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
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
日本大学: 関与なし（対象大学）
2023 · LICS
From Thin Concurrent Games to Generalized Species of Structures
Pierre Clairambault, Federico Olimpieri, Hugo Paquet
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Fully Abstract Normal Form Bisimulation for Call-by-Value PCF
Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Group Separation Strikes Back
Thomas Place, Marc Zeitoun
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Higher-Dimensional Subdiagram Matching
Amar Hadzihasanovic, Diana Kessler
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Intuitionistic S4 is decidable
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Making Concurrency Functional
Glynn Winskel
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
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
日本大学: 関与なし（対象大学）
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
日本大学: 関与なし（対象大学）
2023 · LICS
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata
Tobias Winkler, Joost-Pieter Katoen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
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
日本大学: 関与なし（対象大学）
2023 · LICS
On the Growth Rates of Polyregular Functions
Mikołaj Bojańczyk
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Operational Algorithmic Game Semantics
Benedict Bunting, Andrzej S. Murawski
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Orbit-finite linear programming
Arka Ghosh, Piotr Hofman, Sławomir Lasota
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse
Diego Figueira, Santiago Figueira, Edwin Pin
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Pseudorandom Finite Models
Jan Dreier, Jamie Tucker-Foltz
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Quantifying Over Trees in Monadic Second-Order Logic
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Reachability in Injective Piecewise Affine Maps
Faraz Ghahremani, Edon Kelmendi, Joël Ouaknine
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Revisiting Membership Problems in Subclasses of Rational Relations
Pascal Bergsträßer, Moses Ganardi
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Semi-Simplicial Set Models for Distributed Knowledge
Éric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Set-Theoretic and Type-Theoretic Ordinals Coincide
Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Simulating Logspace-Recursion with Logarithmic Quantifier Depth
Steffen van Bergerem, Martin Grohe, Sandra Kiefer, Luca Oeljeklaus
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Stochastic Best-Effort Strategies for Borel Goals
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
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
日本大学: 関与なし（対象大学）
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
日本大学: 関与なし（対象大学）
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
日本大学: 関与なし（対象大学）
2023 · LICS
Taylor Expansion as a Monad in Models of DiLL
Marie Kerjean, Jean-Simon Pacaud Lemay
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)
Laure Daviaud, David Purser
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
The Cartesian Closed Bicategory of Thin Spans of Groupoids
Pierre Clairambault, Simon Forest
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
The Descriptive Complexity of Graph Neural Networks
Martin Grohe
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
The Identity Problem in the special affine group of Z2
Ruiwen Dong
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
The Iteration Number of the Weisfeiler-Leman Algorithm
Martin Grohe, Moritz Lichter, Daniel Neuen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
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
日本大学: 関与なし（対象大学）
2023 · LICS
The Power of Positivity
Toghrul Karimov, Edon Kelmendi, Joris Nieuwveld, Joël Ouaknine, James Worrell
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
The Probabilistic Rabin Tree Theorem*
Damian Niwiński, Paweł Parys, Michał Skrzypczak
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · LICS
Verifying linear temporal specifications of constant-rate multi-mode systems
Michael Blondin, Philip Offtermatt, Alex Sansfaçon-Buchanan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
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
日本大学: 関与なし（対象大学）
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
日本大学: 関与なし（対象大学）
2023 · LICS
ℤ-polyregular functions
Thomas Colcombet, Gaëtan Douéneau-Tabot, Aliaume Lopez
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）