Found 107 Documents (Results 1–100)
A teacher of great strengths. (English) Zbl 07897386
Program algebra for random access machine programs. (English) Zbl 07897385
MSC:
68Qxx
An enhanced fluid registration for image multi-frame super resolution. (English) Zbl 07897384
MSC:
68U10
Behavioural pseudometrics for nondeterministic probabilistic systems. (English) Zbl 07897383
MSC:
68Qxx
Four notions of fault for program specifications. (English) Zbl 07897382
MSC:
68Q60
Imperative process algebra with abstraction. (English) Zbl 07897380
MSC:
68Q85
Fixed parameter algorithms and hardness of approximation results for the structural target controllability problem. (English) Zbl 07897379
MSC:
68Wxx
A translation of weighted LTL formulas to weighted Büchi automata over \(\omega\)-valuation monoids. (English) Zbl 1513.68021
Small longest tandem scattered subsequences. (English) Zbl 1513.68080
MSC:
68W32
Qualifications of instruction sequence failures, faults and defects: dormant, effective, detected, temporary, and permanent. (English) Zbl 1513.68010
MSC:
68N30
Sumterms, summands, sumtuples, and sums and the meta-arithmetic of summation. (English) Zbl 1513.68009
MSC:
68N30
A modified decomposition algorithm for maximum weight bipartite matching and its experimental evaluation. (English) Zbl 1513.05349
An optimum lower bound for the weights of maximum weight matching in bipartite graphs. (English) Zbl 1513.05302
Most general algebraic specifications for an abstract datatype of rational numbers. (English) Zbl 1513.68032
MSC:
68Q65
Weighted context-free grammars over bimonoids. (English) Zbl 1513.68019
MSC:
68Q42
Fault-free refinements for interface automata. (English) Zbl 1424.68088
MSC:
68Q45
SMT-solvers in action: encoding and solving selected problems in NP and EXPTIME. (English) Zbl 1424.68151
A precise characterisation of step traces and their concurrent histories. (English) Zbl 1424.68104
MSC:
68Q85
Simultaneous Petri net synthesis. (English) Zbl 1424.68099
MSC:
68Q85
High-level Koutny net. (English) Zbl 1424.00005
Adding a/sync places to the synthesis procedure for whole-place operations nets with localities. (English) Zbl 1424.68106
MSC:
68Q85
Derived-term automata of multitape expressions with composition. (English) Zbl 1424.68085
MSC:
68Q45
68Q05
Model checking delay differential equations against metric interval temporal logic. (English) Zbl 1425.68265
A provably correct compilation of functional languages into scripting languages. (English) Zbl 1424.68028
RDA: a Coq library to reason about randomised distributed algorithms in the message passing model. (English) Zbl 1424.68147
Probabilistic thread algebra. (English) Zbl 1424.68031
Formations of monoids, congruences, and formal languages. (English) Zbl 1423.68298
Sci. Ann. Comput. Sci. 25, No. 2, 171-209 (2015); errata ibid. 26, No. 1, 123-124 (2016).
Non-deterministic finite cover automata. (English) Zbl 1424.68084
MSC:
68Q45
68Q05
Modeling simply-typed lambda calculi in the category of finite vector spaces. (English) Zbl 1424.18015
Arithmetic and Boolean operations on recursively run-length compressed natural numbers. (English) Zbl 1423.68221
Applications in enumerative combinatorics of infinite weighted automata and graphs. (English) Zbl 1424.05151
A logic for complex computing systems: properties preservation along integration and abstraction. (English) Zbl 1423.68271
Locality and applications to subsumption testing in \(\mathcal{EL}\) and some of its extensions. (English) Zbl 1424.68157
Contract-oriented computing in CO\(_2\). (English) Zbl 1424.68097
MSC:
68Q85
Programming in biomolecular computation: programs, self-interpretation and visualisation. (English) Zbl 1424.68076
MSC:
68Q05
68N30
Modular verification of interactive systems with an application to biology. (English) Zbl 1424.68091
Symbolic synthesis of Mealy machines from arithmetic bitstream functions. (English) Zbl 1424.68086
MSC:
68Q45
An algebra of hierarchical graphs and its application to structural encoding. (English) Zbl 1424.68111
Involutions on relational program calculi. (English) Zbl 1424.68042
MSC:
68N30
Tuplix calculus. (English) Zbl 1424.68098
Filter Results by …
all
top 5
Author
- Bergstra, Jan A. (22)
- Middelburg, Cornelis A. (16)
- Ciobanu, Gabriel (5)
- Bruni, Roberto (4)
- Giannini, Paola (3)
- Kleijn, Jetty (3)
- Koutny, Maciej (3)
- Rudi, Ali Gholami (3)
- Rutten, Jan J. M. M. (3)
- Ballester-Bolinches, Adolfo (2)
- Bartocci, Ezio (2)
- Bliudze, Simon (2)
- Cosme-Llópez, Enric (2)
- Das, Shibsankar (2)
- de Vink, Erik P. (2)
- Di Berardini, Maria Rita (2)
- Istrate, Gabriel I. (2)
- Merelli, Emanuela (2)
- Pietkiewicz-Koutny, Marta (2)
- Ponse, Alban (2)
- Silva, Alexandra (2)
- Simovici, Dan A. (2)
- Tesei, Luca (2)
- Aiguier, Marc (1)
- Aman, Bogdan (1)
- Arbab, Farhad (1)
- Barbosa, Luís Soares (1)
- Bartoletti, Massimo (1)
- Basso-Blandin, Adrien (1)
- Bein, Doina (1)
- Bein, Wolfgang W. (1)
- Ben-David, Shoham (1)
- Ben Mokhtar, Sonia (1)
- Beohar, Harsh (1)
- Bertrand, Clément (1)
- Best, Eike (1)
- Betarte, Gustavo (1)
- Bethke, Inge (1)
- Bîrjoveanu, Cătălin (1)
- Bodei, Chiara (1)
- Brodo, Linda (1)
- Cacciagrano, Diletta Romana (1)
- Campo, Juan Diego (1)
- Carbone, Marco (1)
- Cardelli, Luca (1)
- Chiarugi, Davide (1)
- Corradini, Flavio (1)
- Cuijpers, Pieter J. L. (1)
- Czeizler, Eugen (1)
- Dal Lago, Ugo (1)
- Damiani, Ferruccio (1)
- Datta, Ajoy Kumar (1)
- De Castro, Rodrigo (1)
- Delaplace, Franck (1)
- Demaille, Akim (1)
- Deng, Yuxin (1)
- Devillers, Raymond (1)
- Dezani-Ciancaglini, Mariangiola (1)
- Diskin, Zinovy (1)
- Dorman, Andrei (1)
- Drábik, Peter (1)
- Du, Wenjie (1)
- Fontaine, Allyx (1)
- Francisco, Alexandre P. (1)
- Fränzle, Martin (1)
- Frăsinaru, Cristian (1)
- Gabbrielli, Maurizio (1)
- Gadducci, Fabio (1)
- Gebler, Daniel E. (1)
- Gleirscher, Mario (1)
- Gomes, Leandro G. (1)
- Groote, Jan Friso (1)
- Hadri, Aissam (1)
- Hakim, Moad (1)
- Hansen, Helle Hvid (1)
- Hartmann, Lars (1)
- Heindel, Tobias (1)
- Hirschowitz, Tom (1)
- Horne, Ross (1)
- Iftene, Sorin (1)
- Janicki, Ryszard (1)
- Jones, Neil D. (1)
- Jongmans, Sung-Shik T. Q. (1)
- Kanso, Bilal (1)
- Keeler, Casey (1)
- Klaudel, Hanna (1)
- König, Barbara (1)
- Laghrib, Amine (1)
- Laneve, Cosimo (1)
- Larmore, Lawrence L. (1)
- Latapy, Matthieu (1)
- Lei, Jinjiang (1)
- Lluch Lafuente, Alberto (1)
- Luna, Carlos (1)
- Madeira, Alexandre (1)
- Maggiolo-Schettini, Andrea (1)
- Maibaum, Thomas Stephen Edward (1)
- Mandrali, Eleni (1)
- Marin, Mircea (1)
- Marmsoler, Diego (1)
- and 59 more Authors
all
top 5
Volume
- 33, No. 2 (2023) (1)
- 33, No. 1 (2023) (2)
- 32, No. 2 (2022) (5)
- 32, No. 1 (2022) (5)
- 31, No. 2 (2021) (2)
- 31, No. 1 (2021) (2)
- 30, No. 2 (2020) (3)
- 30, No. 1 (2020) (4)
- 29, No. 2 (2019) (3)
- 29, No. 1 (2019) (2)
- 28, No. 2 (2018) (6)
- 28, No. 1 (2018) (2)
- 27, No. 2 (2017) (3)
- 27, No. 1 (2017) (3)
- 26, No. 2 (2016) (4)
- 26, No. 1 (2016) (4)
- 25, No. 2 (2015) (4)
- 25, No. 1 (2015) (3)
- 24, No. 2 (2014) (6)
- 24, No. 1 (2014) (4)
- 23, No. 2 (2013) (2)
- 23, No. 1 (2013) (2)
- 22, No. 2 (2012) (4)
- 22, No. 1 (2012) (5)
- 21, No. 2 (2011) (3)
- 21, No. 1 (2011) (4)
- 20 (2010) (4)
- 19 (2009) (3)
- 18 (2008) (5)
- 17 (2007) (5)
- 16 (2006) (2)
Biographic Reference
- Koutny, Maciej (1)