| # |  | Year | Author(s) [non member] | | Title | Type | |
|---|
| 1 |
 | Zakharyaschev, Michael (ed.) |
| |
| | 2011 | Gasse, Francis
Sofronie-Stokkermans, Viorica | | Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0
In: Proceedings of the 2011 International Workshop on Description Logics (DL-2011), 125-135 | Electronic Proceedings Article | |
| 3 |
| Zangl, Fabrice |
| |
| | 2007 | Freiheit, Jörn
[Zangl, Fabrice] | | Model-based User-interface Management for Public Services
In: Electronic Journal of e-Government [5], 53-62 | Journal Article | |
| | 2006 | Freiheit, Jörn
[Luuk, Marc]
[Münch, Susanne]
[Sijanski, Grozdana]
[Zangl, Fabrice] | | Lexecute: Visualisation and representation of legal procedures
In: Digital Evidence Journal [3], 17-27 | Journal Article | |
| | 2006 | Freiheit, Jörn
[Zangl, Fabrice] | | Model-based user-interface management for public services
In: 6th European Conference on e-Government, 141-151 | Proceedings Article | |
| 1 |
| Zeller, Andreas (ed.) |
| |
| | 2013 | [Dhungana, Deepak]
Tang, Ching Hoo
Weidenbach, Christoph
[Wischnewski, Patrick] |  | Automated Verification of Interactive Rule-Based Configuration Systems
In: 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 551-561 | Proceedings Article | |
| 2 |
| Zengler, Christoph (ed.) |
| |
| | 2011 | | | Automated Deduction in Geometry : 7th International Workshop, ADG 2008 | Proceedings | |
| | 2011 | [Lasaruk, Aless]
Sturm, Thomas | | Automatic Verification of the Adequacy of Models for Families of Geometric Objects
In: Automated Deduction in Geometry : 7th International Workshop, ADG 2008, 116-140 | Proceedings Article | |
| 1 |
| |
| | 2006 | [Damm, Werner]
[Disch, Stefan]
[Hungar, Hardi]
[Pang, Jun]
[Pigorsch, Florian]
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris] | | Automatic Verification of Hybrid Systems with Large Discrete State Space
In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, 276-291 | Proceedings Article | |
| 1 |
| |
| | 2014 | [Kapur, Deepak]
[Zhang, Zhihai]
Horbach, Matthias
[Zhao, Hantao]
[Lu, Qi]
[Nguyen, ThanhVu] | | Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants
In: Automated Reasoning and Mathematics: Essays in Memory of William McCune, 189-228 | Part of a Book | |
| 1 |
| |
| | 2014 | [Kapur, Deepak]
[Zhang, Zhihai]
Horbach, Matthias
[Zhao, Hantao]
[Lu, Qi]
[Nguyen, ThanhVu] | | Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants
In: Automated Reasoning and Mathematics: Essays in Memory of William McCune, 189-228 | Part of a Book | |
| 2 |
| |
| | 2007 | [Ziemann, Joerg]
[Matheis, Thomas]
Freiheit, Jörn | | Modelling of Cross-Organizational Business Processes
In: Enterprise Modelling and Information Systems Architectures 2007, 87-95 | Proceedings Article | |
| | 2007 | [Ziemann, Joerg]
[Matheis, Thomas]
Freiheit, Jörn | | Modelling of Cross-Organizational Business Processes - Current Methods and Standards
In: Enterprise Modelling and Information Systems Architectures [2], 23-31 | Journal Article | |
| 1 |
| Zimmer, Stephan |
| |
| | 2007 | Zimmer, Stephan | | Intelligent Combination of a First Order Theorem Prover and SMT Procedures
Universität des Saarlandes | Thesis - other | |
| 841 |
| |
