197 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- R. Wille2 profiles28 · h 51
- Lukas Burgholzer20 · h 21
- Rudolf Ramler2 profiles11 · h 23
- Flavio Ferrarotti3 profiles10 · h 10
- Robert Wille4 profiles9 · h 12
- S. Hillmich9 · h 16
- B. Moser2 profiles8 · h 14
- Jorge Martinez-Gil4 profiles8 · h 8
- Nils Quetschlich8 · h 12
- J. Martinez-Gil7 · h 11
- K. Schewe7 · h 27
- Lucas Berent6 · h 9
- Johannes Kepler University of LinzAT33 papers
- Technical University of MunichDE30 papers
- Universität InnsbruckAT5 papers
- University of TartuEE5 papers
- Australian National UniversityAU4 papers
- Freie Universität BerlinDE4 papers
- Helmholtz-Zentrum Berlin für Materialien und EnergieDE4 papers
- IBM Research - TokyoJP3 papers
- Basque Center for Applied MathematicsES2 papers
- Chalmers University of TechnologySE2 papers
- IkerbasqueES2 papers
- Munich Center for Quantum Science and TechnologyDE2 papers
9 papers · 1 filter
A novel framework for systematic propositional formula simplification based on existential graphs
Jordina Francès de Mas, Juliana Bowles
This paper presents a novel simplification calculus for propositional logic derived from Peirce's existential graphs' rules of inference and implication graphs. Our rules can be ap…
Behavioural Theory of Reflective Algorithms I: Reflective Sequential Algorithms
Klaus-Dieter Schewe, Flavio Ferrarotti
We develop a behavioural theory of reflective sequential algorithms (RSAs), i.e. sequential algorithms that can modify their own behaviour. The theory comprises a set of language-i…
A Behavioural Theory of Recursive Algorithms
Egon Börger, Klaus-Dieter Schewe
"What is an algorithm?" is a fundamental question of computer science. Gurevich's behavioural theory of sequential algorithms (aka the sequential ASM thesis) gives a partial answer…
A Restricted Second-Order Logic for Non-deterministic Poly-Logarithmic Time
Flavio Ferrarotti, Senen Gonzáles, Klaus-Dieter Schewe +1
We introduce a restricted second-order logic for finite structures where second-order quantification ranges over relations of size at most poly-logari…
Accurate and Efficient Profile Matching in Knowledge Bases
Jorge Martinez-Gil, Alejandra Lorena Paoletti, Gábor Rácz +2
A profile describes a set of properties, e.g. a set of skills a person may have, a set of skills required for a particular job, or a set of abilities a football player may have wit…
A Logic for Non-Deterministic Parallel Abstract State Machines
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec +1
We develop a logic which enables reasoning about single steps of non-deterministic parallel Abstract State Machines (ASMs). Our logic builds upon the unifying logic introduced by N…
Towards an ASM thesis for reflective sequential algorithms
Flavio Ferrarotti, Loredana Tec, Jose Maria Turull Torres
Starting from Gurevich's thesis for sequential algorithms (the so-called "sequential ASM thesis"), we propose a characterization of the behaviour of sequential algorithms enriched…
A Complete Logic for Database Abstract State Machines
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec +1
In database theory, the term was used to refer to a unifying treatment for computable queries and updates. Recently, it was shown that non-determ…
A Behavioural Thesis of Synchronous Parallel Algorithms -- Correction of the Simplified Parallel ASM Thesis
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec +1
A behavioural theory consists of machine-independent postulates characterizing a particular class of algorithms or systems, an abstract machine model that provably satisfies these…