Results 1-20 of 59 (Show all)

TitleYear of publicationAuthor(s)
Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4 uniba/442512018Sticht, Martin
Proof Search in Multi-Agent Dialogues for Modal Logic uniba/442482018Sticht, Martin
Newtonian Arbiters Cannot be Proven Correct uniba/442852018Mendler, Michael ; Stroup, Terry
Constrained Proofs : A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification uniba/442872018Mendler, Michael
Compositional Characterization of Observable Program Properties uniba/442862018Steffen, B.; Barry Jay, C.; Mendler, Michael
Die formale Validierung einer "Bausteintafel" delay-insensitiver Grundelemente uniba/442882018Reinhardt, Tilmann; Mendler, Michael ; Stroup, Terry
An asynchronous process algebra with multiple clocks uniba/443202018Andersen, Henrik Reif; Mendler, Michael
A Modal Logic for Handling Behavioural Constraints in Formal Hardware Verification uniba/443322018Mendler, Michael
Denotational Fixed Point Semantics for Constructive Scheduling of Synchronous Concurrency uniba/217132016Mendler, Michael ; von Hanxleden, Reinhard; Fuhrmann, Insa; Aguado, Joaquin
Model and Proof Theory of Constructive ALC, Constructive Description Logics uniba/216262015Scheele, Stephan M. 
Grounding Synchronous Deterministic Concurrency in Sequential Programming uniba/207932014Aguado, Joaquin ; Mendler, Michael ; von Hanxleden, Reinhard; Fuhrmann, Insa
On the Computational Interpretation of CKn for Contextual Information Processing uniba/211542014Mendler, Michael ; Scheele, Stephan M. 
On the Computational Interpretation of CKn for Contextual Information Processing – Ancillary Material uniba/61572014Scheele, Stephan M. ; Mendler, Michael
SCCharts : Sequentially constructive statecharts for safety-critical applications ; HW/SW-Synthesis for a Conservative Extension of Synchronous Statecharts uniba/211632014von Hanxleden, Reinhard; Duderstadt, Björn; Motika, Christian; Smyth, Steven; Mendler, Michael ; Aguado, Joaquin ; Mercer, Stephen; O'Brien, Owen
Grounding Synchronous Deterministic Concurrency in Sequential Programming uniba/211292014Aguado, Joaquin ; Mendler, Michael ; von Hanxleden, Reinhard; Fuhrmann, Insa
How similar is what I get to what I want : Matchmaking for Mobility Support uniba/27342013Schmid, Ute  ; Berle, Lukas; Munz, Michael; Stein, Klaus  ; Sticht,, Martin
Sequentially constructive concurrency : A conservative extension of the synchronous model of computation uniba/211892013von Hanxleden, Reinhard; Mendler, Michael ; Aguado, Joaquin ; Duderstadt, Björn; Fuhrmann, Insa; Motika, Christian; Mercer, Stephen; O'Brien, Owen
Constructive Boolean circuits and the exactness of timed ternary simulation uniba/11132012Mendler, Michael ; Shiple, Thomas R.; Berry, Gérard
Matchmaking: How similar is what I want to what I get? uniba/10182012Munz, Michael; Stein, Klaus  ; Sticht, Martin; Schmid, Ute  
Cut-free Gentzen Calculus for Multimodal CK uniba/54512011Mendler, Michael ; Scheele, Stephan M.