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
3 papers · 2 filters
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…