1![This article was downloaded by:[University of Maastricht] On: 13 May 2008 Access Details: [subscription numberPublisher: Informa Healthcare Informa Ltd Registered in England and Wales Registered Number: 10729 This article was downloaded by:[University of Maastricht] On: 13 May 2008 Access Details: [subscription numberPublisher: Informa Healthcare Informa Ltd Registered in England and Wales Registered Number: 10729](https://www.pdfsearch.io/img/bb937e0bf8391c565145f7cdf0bd5953.jpg) | Add to Reading ListSource URL: www.haraldmerckelbach.nlLanguage: English - Date: 2014-04-24 05:32:41
|
---|
2![List of Participants of CCA 2016 First name Daniel Rui Arno Sewon List of Participants of CCA 2016 First name Daniel Rui Arno Sewon](https://www.pdfsearch.io/img/c1a8b71140c4a6ae8c7ebcf5d8352d5b.jpg) | Add to Reading ListSource URL: cca-net.deLanguage: English - Date: 2016-06-16 06:05:49
|
---|
3![Preprint. The final version of this paper will appear in the Proc. of ESEMHow Humans merge UML-Models Rainer Lutz, David W¨urfel and Stephan Diehl Department of Computer Science University of Trier Preprint. The final version of this paper will appear in the Proc. of ESEMHow Humans merge UML-Models Rainer Lutz, David W¨urfel and Stephan Diehl Department of Computer Science University of Trier](https://www.pdfsearch.io/img/b0c46a8794465a996ac741b6769def6b.jpg) | Add to Reading ListSource URL: www.st.uni-trier.deLanguage: English - Date: 2011-08-23 05:59:48
|
---|
4![Final Report on the NSF/DFG-funded Project “Middle High German Text Archive” Electronic Text Center University of Virginia, Charlottesville, and University of Trier DFG-Az.: LIS 1 – Uv; Bewilligung vom 0 Final Report on the NSF/DFG-funded Project “Middle High German Text Archive” Electronic Text Center University of Virginia, Charlottesville, and University of Trier DFG-Az.: LIS 1 – Uv; Bewilligung vom 0](https://www.pdfsearch.io/img/258d51a46e9874322fdcc8fffcdb42b9.jpg) | Add to Reading ListSource URL: www.mhgta.uni-trier.deLanguage: English - Date: 2013-06-04 04:09:33
|
---|
5![Ralf Küsters University of Trier CSF (Vegetariano) Ralf Küsters University of Trier CSF (Vegetariano)](https://www.pdfsearch.io/img/a9944eef87553ad66c22a85594004b44.jpg) | Add to Reading ListSource URL: csf2015.di.univr.it- Date: 2015-07-08 13:21:17
|
---|
6![An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols Ralf Küsters and Tomasz Truderung University of Trier Germany Email: {kuesters,truderun}@uni-trier.de An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols Ralf Küsters and Tomasz Truderung University of Trier Germany Email: {kuesters,truderun}@uni-trier.de](https://www.pdfsearch.io/img/427b0cc478af8668f76fd147b0912916.jpg) | Add to Reading ListSource URL: www-veto2009.imag.frLanguage: English - Date: 2009-06-12 10:47:26
|
---|
7![A Proof Technique for Noninterference In Open Systems: An extended version (Extended Abstract) Enrico Scapin University of Trier, Germany In [3], a framework has been proposed which allows tools that can check standard n A Proof Technique for Noninterference In Open Systems: An extended version (Extended Abstract) Enrico Scapin University of Trier, Germany In [3], a framework has been proposed which allows tools that can check standard n](https://www.pdfsearch.io/img/3198b2bc11ced5d3b495433ba15238a4.jpg) | Add to Reading ListSource URL: software.imdea.orgLanguage: English - Date: 2015-07-09 06:40:16
|
---|
8![Making big steps in trajectories Norbert Th. Müller, Dept. Computer Science, University of Trier Margarita Korovina, CICADA, University Manchester David Lester, Dept. Computer Science, University Manchester, Trier / Man Making big steps in trajectories Norbert Th. Müller, Dept. Computer Science, University of Trier Margarita Korovina, CICADA, University Manchester David Lester, Dept. Computer Science, University Manchester, Trier / Man](https://www.pdfsearch.io/img/88fc82045ea2611ebc6bed1e3561dc81.jpg) | Add to Reading ListSource URL: theoinf.math.uni-siegen.deLanguage: English |
---|
9![An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System Daniel Fett, Ralf Küsters, and Guido Schmitz University of Trier, Germany Email: {fett,kuesters,schmitzg}@uni-trier An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System Daniel Fett, Ralf Küsters, and Guido Schmitz University of Trier, Germany Email: {fett,kuesters,schmitzg}@uni-trier](https://www.pdfsearch.io/img/f73fbb3556f13915f43b687099b0b87e.jpg) | Add to Reading ListSource URL: ieee-security.org- Date: 2014-04-21 13:48:10
|
---|
10![Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking Ralf K¨usters University of Trier, Germany Tomasz Truderung University of Trier, Germany Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking Ralf K¨usters University of Trier, Germany Tomasz Truderung University of Trier, Germany](https://www.pdfsearch.io/img/abab0ef873824fd54d795ef941a7b9a8.jpg) | Add to Reading ListSource URL: ieee-security.orgLanguage: English - Date: 2014-04-21 13:48:10
|
---|