Works matching IS 18605974 AND DT 2023 AND VI 19 AND IP 1

Results: 20

A FINITE AXIOMATISATION OF FINITE-STATE AUTOMATA USING STRING DIAGRAMS.

Published in:

Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 1, p. 1, doi. 10.46298/LMCS-19(113)2023

By:

PIEDELEU, ROBIN;
ZANASI, FABIO

Publication type:

Article

LEARNING OF STRUCTURALLY UNAMBIGUOUS PROBABILISTIC GRAMMARS.

Published in:

Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 1, p. 1, doi. 10.46298/LMCS-19(110)2023

By:

FISMAN, DANA;
NITAY, DOLAV;
ZIV-UKELSON, MICHAL

Publication type:

Article

PUSHDOWN AUTOMATA AND CONTEXT-FREE GRAMMARS IN BISIMULATION SEMANTICS.

Published in:

Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 1, p. 1, doi. 10.46298/LMCS-19(115)2023

By:

BAETEN, JOS C. M.;
CARISSIMO, CESARE;
LUTTIK, BAS

Publication type:

Article

BIDIRECTIONAL RUNTIME ENFORCEMENT OF FIRST-ORDER BRANCHING-TIME PROPERTIES.

Published in:

Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 1, p. 1, doi. 10.46298/LMCS-19(114)2023

By:

ACETO, LUCA;
CASSAR, IAN;
FRANCALANZA, ADRIAN;
INGÓLFSDÓTTIR, ANNA

Publication type:

Article

A PROOF SYSTEM FOR GRAPH (NON)-ISOMORPHISM VERIFICATION.

Published in:

Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 1, p. 1, doi. 10.46298/LMCS-19(19)2023

By:

BANKOVIĆ, MILAN;
DRECUN, IVAN;
MARIĆ, FILIP

Publication type:

Article

A FORMAL MODEL FOR POLARIZATION UNDER CONFIRMATION BIAS IN SOCIAL NETWORKS.

Published in:

Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 1, p. 1, doi. 10.46298/LMCS-19(118)2023

By:

ALVIM, MÁRIO S.;
AMORIM, BERNARDO;
KNIGHT, SOPHIA;
QUINTERO, SANTIAGO;
VALENCIA, FRANK

Publication type:

Article

A CASE STUDY ON PARAMETRIC VERIFICATION OF FAILURE DETECTORS.

Published in:

Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 1, p. 1, doi. 10.46298/LMCS-19(117)2023

By:

THANH-HAI TRAN;
KONNOV, IGOR;
WIDDER, JOSEF

Publication type:

Article

DECONFINED GLOBAL TYPES FOR ASYNCHRONOUS SESSIONS.

Published in:

Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 1, p. 1, doi. 10.46298/LMCS-19(13)2023

By:

DAGNINO, FRANCESCO;
GIANNINI, PAOLA;
DEZANI-CIANCAGLINI, MARIANGIOLA

Publication type:

Article

MODULARITY AND COMBINATION OF ASSOCIATIVE COMMUTATIVE CONGRUENCE CLOSURE ALGORITHMS ENRICHED WITH SEMANTIC PROPERTIES.

Published in:

Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 1, p. 1, doi. 10.46298/LMCS-19(119)2023

By:

KAPUR, DEEPAK

Publication type:

Article

A STRONG CALL-BY-NEED CALCULUS.

Published in:

Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 1, p. 1, doi. 10.46298/LMCS-19(121)2023

By:

BALABONSKI, THIBAUT;
LANCO, ANTOINE;
MELQUIOND, GUILLAUME

Publication type:

Article

A MODULAR CONSTRUCTION OF TYPE THEORIES.

Published in:

Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 1, p. 1, doi. 10.46298/LMCS-19(112)2023

By:

BLANQUI, FRÉDÉRIC;
DOWEK, GILLES;
GRIENENBERGER, EMILIE;
HONDET, GABRIEL;
THIRÉ, FRANÇOIS

Publication type:

Article

COALGEBRAS FOR BISIMULATION OF WEIGHTED AUTOMATA OVER SEMIRINGS.

Published in:

Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 1, p. 1, doi. 10.46298/LMCS-19(14)2023

By:

BHADURI, PURANDAR

Publication type:

Article

STREAM PROCESSORS AND COMODELS.

Published in:

Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 1, p. 1, doi. 10.46298/LMCS-19(12)2023

By:

GARNER, RICHARD

Publication type:

Article

OPTIMAL CONTROLLER SYNTHESIS FOR TIMED SYSTEMS.

Published in:

Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 1, p. 1, doi. 10.46298/LMCS-19(120)2023

By:

BUSATTO-GASTON, DAMIEN;
MONMEGE, BENJAMIN;
REYNIER, PIERRE-ALAIN

Publication type:

Article

COMPUTATION AGAINST A NEIGHBOUR: ADDRESSING LARGE-SCALE DISTRIBUTION AND ADAPTIVITY WITH FUNCTIONAL PROGRAMMING AND SCALA.

Published in:

Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 1, p. 1, doi. 10.46298/LMCS-19(16)2023

By:

AUDRITO, GIORGIO;
CASADEI, ROBERTO;
DAMIANI, FERRUCCIO;
VIROLI, MIRKO

Publication type:

Article

SURVEY ON PARAMETERIZED VERIFICATION WITH THRESHOLD AUTOMATA AND THE BYZANTINE MODEL CHECKER.

Published in:

Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 1, p. 1, doi. 10.46298/LMCS-19(15)2023

By:

KONNOV, IGOR;
LAZIĆ, MARIJANA;
STOILKOVSKA, ILINA;
WIDDER, JOSEF

Publication type:

Article

CONCURRENT PROCESS HISTORIES AND RESOURCE TRANSDUCERS.

Published in:

Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 1, p. 1, doi. 10.46298/LMCS-19(17)2023

By:

NESTER, CHAD

Publication type:

Article

COUNTDOWN GAMES, AND SIMULATION ON (SUCCINCT) ONE-COUNTER NETS.

Published in:

Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 1, p. 1, doi. 10.46298/LMCS-19(111)2023

By:

JANČAR, PETR;
OSIČKA, PETR;
SAWA, ZDENĚK

Publication type:

Article

COMPLETENESS OF NOMINAL PROPS.

Published in:

Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 1, p. 1, doi. 10.46298/LMCS-19(18)2023

By:

BALCO, SAMUEL;
KURZ, ALEXANDER

Publication type:

Article

MULTIPARTY TESTING PREORDERS.

Published in:

Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 1, p. 1, doi. 10.46298/LMCS-19(11)2023

By:

DE NICOLA, ROCCO;
MELGRATTI, HERNAN

Publication type:

Article