References of "Muller, Tim 40020932"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailOn Robustness of Trust Systems
Zhang, Jie; Yang, Liu; Mauw, Sjouke UL et al

in 8th IFIP WG 11.11 International Conference on Trust Management (IFIPTM'14), Singapore 7-10 July 2014 (2014)

Detailed reference viewed: 43 (0 UL)
Full Text
Peer Reviewed
See detailOn Robustness of Trust Systems
Zhang, Jie; Yang, Liu; Mauw, Sjouke UL et al

in 8th IFIP WG 11.11 International Conference on Trust Management (IFIPTM'14), Singapore 7-10 July 2014 (2014)

Detailed reference viewed: 33 (0 UL)
Full Text
Peer Reviewed
See detailOn Beta Models with Trust Chains
Muller, Tim UL; Schweitzer, Patrick UL

in Proceedings of the 7th IFIP WG 11.11 International Conference on Trust Management (2013)

In a type of interactions over the Internet, a user (the subject) is dependent on another user (the target), but not vice versa. The subject should therefore form an opinion about the target, before ... [more ▼]

In a type of interactions over the Internet, a user (the subject) is dependent on another user (the target), but not vice versa. The subject should therefore form an opinion about the target, before possibly initiating an interaction. The scenario wherein a subject only relies on information obtained from past interactions with the target, is well-studied and understood. In this paper, we formally analyze the implication of allowing recommendations (statements of a third party) as source of information. We identify the family of valid models that admit recommendations. This allows us to verify particular existing models that admit recommendations. [less ▲]

Detailed reference viewed: 19 (2 UL)
Full Text
Peer Reviewed
See detailA Formal Derivation of Composite Trust
Muller, Tim UL; Schweitzer, Patrick UL

in Foundations and Practice of Security - 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers (2012)

Trust appears in asymmetric interactions, where one party (the active party) can easily betray a stakeholder (the passive party). Over the Internet, the amount of information that a passive party can use ... [more ▼]

Trust appears in asymmetric interactions, where one party (the active party) can easily betray a stakeholder (the passive party). Over the Internet, the amount of information that a passive party can use to determine the integrity of an active party, is often limited. The scenario where there is only one passive party and one active party is well studied, and has been solved under some assumptions. We generalize the setting to allow for more parties. In particular, the paper contains a formal derivation of conjunction and disjunction of trust opinions. [less ▲]

Detailed reference viewed: 35 (2 UL)
Full Text
Peer Reviewed
See detailSemantics of Trust
Muller, Tim UL

in Proc. 7th Workshop on Formal Aspects in Security and Trust (2011)

Detailed reference viewed: 11 (0 UL)
Full Text
Peer Reviewed
See detailExpressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition
Baeten, J.; Luttik, B.; Muller, Tim UL et al

in Proc. 17th International Workshop on Expressiveness in Concurrency (2010)

The languages accepted by finite automata are precisely the languages denoted by regular expressions. In contrast, finite automata may exhibit behaviours that cannot be described by regular expressions up ... [more ▼]

The languages accepted by finite automata are precisely the languages denoted by regular expressions. In contrast, finite automata may exhibit behaviours that cannot be described by regular expressions up to bisimilarity. In this paper, we consider extensions of the theory of regular expressions with various forms of parallel composition and study the effect on expressiveness. First we prove that adding pure interleaving to the theory of regular expressions strictly increases its expressiveness up to bisimilarity. Then, we prove that replacing the operation for pure interleaving by ACP-style parallel composition gives a further increase in expressiveness. Finally, we prove that the theory of regular expressions with ACP-style parallel composition and encapsulation is expressive enough to express all finite automata up to bisimilarity. Our results extend the expressiveness results obtained by Bergstra, Bethke and Ponse for process algebras with (the binary variant of) Kleene's star operation. [less ▲]

Detailed reference viewed: 30 (0 UL)
Peer Reviewed
See detailExpression of avian Pax1 and Pax9 is intrinsically regulated in the pharyngeal endoderm, but depends on environmental influences in the paraxial mesoderm.
Muller, Tim UL; Ebensperger, C.; Neubuser, A. et al

in Developmental Biology (1996), 178(2), 403-17

Pax1 and Pax9 represent a subfamily of paired-box-containing genes. In vertebrates, Pax1 and Pax9 transcripts have been found specifically in mesodermal tissues and the pharyngeal endoderm. Pax1 ... [more ▼]

Pax1 and Pax9 represent a subfamily of paired-box-containing genes. In vertebrates, Pax1 and Pax9 transcripts have been found specifically in mesodermal tissues and the pharyngeal endoderm. Pax1 expression in the sclerotomes has been shown to be indispensable for proper formation of the axial skeleton, but expression of Pax1 in the endoderm has not been studied in detail. We have cloned the chick homologue of the murine Pax9 gene. Our results show that transcripts of Pax1 and Pax9 are first detectable in the prospective foregut endoderm of headfold-stage avian embryos. Endodermal expression correlates with the highly proliferative zones of the folding foregut and evaginating pharyngeal pouches. In later stages, Pax1 and Pax9 are expressed in overlapping but distinct patterns within the developing sclerotomes and limb buds. From grafting experiments we conclude that activation of pharyngeal Pax1 and Pax9 expression is an intrinsic property of the endoderm, not requiring midline structures or head mesoderm. In contrast, notochord is required to induce Pax1 in competent sclerotomes. Here we show that in vitro there is a cranio-caudal gradient of inductive capacity in the notochord. This coincides with the graded expression of Pax1 and Pax9 along the cranio-caudal axis in 2- to 3-day-old embryos. Furthermore, paraxial head mesoderm shows no competence to express Pax1. Finally, in vitro we find counteracting influences on notochord signaling by lateral tissues (lateral plate, intermediate mesoderm), leading to an inhibition of Sonic hedgehog (Shh) expression in notochord and floor plate, as well as Pax1 and Pax9 expression in sclerotomes. Taken together, our results demonstrate that different mechanisms regulate expression of Pax1 and Pax9 in foregut and sclerotome, but suggest a common function for both genes in the two tissues that is promoting proliferation and preventing fusion of neighboring blastemas. [less ▲]

Detailed reference viewed: 57 (0 UL)