On characterization, definability and $ω$-saturated models. (English)
Cerone, Antonio (ed.) et al., Theoretical aspects of computing ‒ ICTAC 2011. 8th international colloquium, Johannesburg, South Africa, August 31‒September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23282-4/pbk). Lecture Notes in Computer Science 6916, 62-76 (2011).
1
Basic model theory for memory logics. (English)
Beklemishev, Lev D. (ed.) et al., Logic, language, information and computation. 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20919-2/pbk). Lecture Notes in Computer Science 6642. Lecture Notes in Artificial Intelligence, 20-34 (2011).
2
Enforcing the timing behavior of real-time stations in legacy bus-based industrial ethernet networks (English)
Computer Standards & Interfaces 33, No. 3, 249-261 (2011).
3
Basic model theory for memory logics (English)
WoLLIC, 20-34 (2011).
4
On characterization, definability and $ω$-saturated models (English)
ICTAC, 62-76 (2011).
5
Refactoring of crosscutting concerns with metaphor-based heuristics. (English)
Electron. Notes Theor. Comput. Sci. 233, 105-125 (2009).
6
An MDA-EDOC based development process for distributed applications (English)
ICEIS (3), 3-10 (2005).
7
Real-time communication in unconstrained shared ethernet networks: the virtual token-passing approach (English)
ETFA (2005).
8
Start
Contact
Print
General Help
