Back
  1. Home
  2. Profile of Tim MULLER (Unilu)
Profil

MULLER Tim

Main Referenced Co-authors
MAUW, Sjouke  (2)
SCHWEITZER, Patrick  (2)
Yang, Liu (2)
Zhang, Jie  (2)
Baeten, J. (1)
Main Referenced Keywords
Amino Acid Sequence (1); Animals (1); Chick Embryo (1); Cloning, Molecular (1); Coturnix (1);
Main Referenced Disciplines
Computer science (7)
Genetics & genetic processes (1)

Publications (total 8)

The most downloaded
94 downloads
Zhang, J., Yang, L., Mauw, S., & Muller, T. (2014). On Robustness of Trust Systems. In 8th IFIP WG 11.11 International Conference on Trust Management (IFIPTM'14), Singapore 7-10 July 2014. https://hdl.handle.net/10993/26746

The most cited

101 citations (Scopus®)

Muller, T., Ebensperger, C., Neubuser, A., Koseki, H., Balling, R., Christ, B., & Wilting, J. (1996). Expression of avian Pax1 and Pax9 is intrinsically regulated in the pharyngeal endoderm, but depends on environmental influences in the paraxial mesoderm. Developmental Biology, 178 (2), 403-17. doi:10.1006/dbio.1996.0227 https://hdl.handle.net/10993/1301

Zhang, J., Yang, L., Mauw, S., & Muller, T. (2014). On Robustness of Trust Systems. In 8th IFIP WG 11.11 International Conference on Trust Management (IFIPTM'14), Singapore 7-10 July 2014.
Peer reviewed

Zhang, J., Yang, L., Mauw, S., & Muller, T. (2014). On Robustness of Trust Systems. In 8th IFIP WG 11.11 International Conference on Trust Management (IFIPTM'14), Singapore 7-10 July 2014.
Peer reviewed

Muller, T. (2013). A Formal Analysis of Trust Operations: Trust Aggregation, Trust Chaining and Logical Trust Operations [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/15541

Muller, T., & Schweitzer, P. (2013). On Beta Models with Trust Chains. In Proceedings of the 7th IFIP WG 11.11 International Conference on Trust Management (pp. 49-65). Springer.
Peer reviewed

Muller, T., & Schweitzer, P. (2012). A Formal Derivation of Composite Trust. In Foundations and Practice of Security - 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers (pp. 132-148). Springer.
Peer reviewed

Muller, T. (2011). Semantics of Trust. In Proc. 7th Workshop on Formal Aspects in Security and Trust. Springer-Verlag.
Peer reviewed

Baeten, J., Luttik, B., Muller, T., & van Tilburg, P. (2010). Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition. In Proc. 17th International Workshop on Expressiveness in Concurrency. doi:10.1017/S0960129514000309
Peer reviewed

Muller, T., Ebensperger, C., Neubuser, A., Koseki, H., Balling, R., Christ, B., & Wilting, J. (1996). Expression of avian Pax1 and Pax9 is intrinsically regulated in the pharyngeal endoderm, but depends on environmental influences in the paraxial mesoderm. Developmental Biology, 178 (2), 403-17. doi:10.1006/dbio.1996.0227
Peer Reviewed verified by ORBi

Contact ORBilu