Personal information

Activities

Employment (13)

University of Fribourg: Fribourg, Freiburg, CH

2010 to present | Professor (Computer Science)
Employment
Source: Self-asserted source
Ulrich Ultes-Nitsche

University of Fribourg: Fribourg, Freiburg, CH

2022 to 2025 | Dean (Faculty of Science and Medecine)
Employment
Source: Self-asserted source
Ulrich Ultes-Nitsche

University of Fribourg: Fribourg, Freiburg, CH

2019 to 2022 | Vice Dean (Faculty of Science and Medicine)
Employment
Source: Self-asserted source
Ulrich Ultes-Nitsche

University of Fribourg: Fribourg, Freiburg, CH

2014 to 2016 | Head of Department (Computer Science)
Employment
Source: Self-asserted source
Ulrich Ultes-Nitsche

University of Fribourg: Fribourg, Freiburg, CH

2009 to 2010 | Head of Department (Computer Science)
Employment
Source: Self-asserted source
Ulrich Ultes-Nitsche

University of Fribourg: Fribourg, Freiburg, CH

2008 to 2009 | Deputy Head of Department (Computer Science)
Employment
Source: Self-asserted source
Ulrich Ultes-Nitsche

University of Fribourg: Fribourg, Freiburg, CH

2003 to 2009 | Associate Professor (Computer Science)
Employment
Source: Self-asserted source
Ulrich Ultes-Nitsche

University of Southampton: Southampton, GB

2002 to 2003 | Senior Lecturer (Electronics and Computer Science)
Employment
Source: Self-asserted source
Ulrich Ultes-Nitsche

Universität Hamburg: Hamburg, DE

2002 to 2002 | Visiting Researcher (Computer Science)
Employment
Source: Self-asserted source
Ulrich Ultes-Nitsche

University of Southampton: Southampton, GB

1998 to 2002 | Lecturer (Electronics and Computer Science)
Employment
Source: Self-asserted source
Ulrich Ultes-Nitsche

University of Zurich: Zurich, CH

1996 to 1998 | Research Assistant (IFI (Computer Science))
Employment
Source: Self-asserted source
Ulrich Ultes-Nitsche

Gesellschaft Fur Mathematik Und Datenverarbeitung: Darmstadt, DE

1991 to 1996 | Junior Scientist (Institute for Telecooperation Technology)
Employment
Source: Self-asserted source
Ulrich Ultes-Nitsche

University of Liège: Liège, BE

1995 to 1995 | Visiting Researcher (Montefiore (Comuter Science))
Employment
Source: Self-asserted source
Ulrich Ultes-Nitsche

Education and qualifications (4)

Goethe University Frankfurt: Frankfurt am Main, DE

1998 | Dr. phil. nat. (equiv. PhD) (Computer Science)
Qualification
Source: Self-asserted source
Ulrich Ultes-Nitsche

Goethe University Frankfurt: Frankfurt am Main, DE

1991 | Dipl. inform. (equiv. MSc in Computer Science) (Computer Science)
Qualification
Source: Self-asserted source
Ulrich Ultes-Nitsche

Goethe University Frankfurt: Frankfurt am Main, DE

1986 to 1991 | no degree (pre-diploma) (Physics)
Education
Source: Self-asserted source
Ulrich Ultes-Nitsche

Goethe University Frankfurt: Frankfurt am Main, DE

1984 to 1991 | Diploma (equiv. MSc) (Computer Science)
Education
Source: Self-asserted source
Ulrich Ultes-Nitsche

Professional activities (3)

European Research Consortium for Informatics and Mathematics: Biot, Provence-Alpes-Côte d'Azu, FR

2009 | 3rd Place, Cor Baayen Award
Distinction
Source: Self-asserted source
Ulrich Ultes-Nitsche

Association for Computing Machinery: New York, NY, US

1997 | Best Student Paper Award of the 16th ACM Symposium on Principles of Distributed Computing (ACM PODC’97), Santa Barbara, CA
Distinction
Source: Self-asserted source
Ulrich Ultes-Nitsche

Deutscher Akademischer Austauschdienst: Bonn, DE

1995 | HSP II/AUFE Fellowship
Distinction
Source: Self-asserted source
Ulrich Ultes-Nitsche

Funding (12)

Properties of k-counting Automata

2013-06-01 to 2016-05-31 | Grant
Swiss National Science Foundation (Bern, CH)
GRANT_NUMBER: 146731
Source: check_circle
MyUnifr

E.PROVE+ - Efficient PROperty VErification

2008-05-01 to 2009-04-30 | Grant
Swiss National Science Foundation (Bern, CH)
GRANT_NUMBER: 120038
Source: check_circle
MyUnifr

OS Lab

2006-04-01 to 2008-03-31 | Grant
Université de Fribourg (Fribourg, CH)
GRANT_NUMBER:

FUT-3582

Source: check_circle
MyUnifr

VeriNeC(2): verified network configuration (sucessor)

2005-07-01 to 2007-06-30 | Grant
Swiss National Science Foundation (Bern, CH)
GRANT_NUMBER: 108056
Source: check_circle
MyUnifr

E.PROVE - Efficient PROperty VErification

2005-05-01 to 2008-04-30 | Grant
Swiss National Science Foundation (Bern, CH)
GRANT_NUMBER: 103985
Source: check_circle
MyUnifr

E.PROVE(2): Efficient Property Verification (2)

2004-11-01 to 2006-10-31 | Grant
Université de Fribourg (Fribourg, CH)
GRANT_NUMBER:

FUT-2669

Source: check_circle
MyUnifr

Verified Network Configuration - Improving Network Reliability

2003-10-01 to 2008-07-29 | Grant
Université de Fribourg (Fribourg, CH)
GRANT_NUMBER:

FUT-5320

Source: check_circle
MyUnifr

VeriNeC - Secure network configuration through verification

2003-10-01 to 2008-07-29 | Grant
Université de Fribourg (Fribourg, CH)
GRANT_NUMBER:

FUT-5321

Source: check_circle
MyUnifr

VeriNeC: Verified Network Configuration

2003-07-01 to 2005-06-30 | Grant
Swiss National Science Foundation (Bern, CH)
GRANT_NUMBER: 100645
Source: check_circle
MyUnifr

Defence Mechanisms against Vulnerabilities in Network Protocols and Risk Assessment of Data Packets

2003-02-01 to 2006-05-26 | Grant
Université de Fribourg (Fribourg, CH)
GRANT_NUMBER:

FUT-5322

Source: check_circle
MyUnifr

IPAV - Improving the Practicality of Automated Verification

2000-12-01 to 2002-07-31 | Grant
Université de Fribourg (Fribourg, CH)
GRANT_NUMBER:

FUT-1980

Source: check_circle
MyUnifr

ABCD - Automated validation of Business-critical systems with Component-based Designs

2000-02-01 to 2003-09-30 | Grant
Université de Fribourg (Fribourg, CH)
GRANT_NUMBER:

FUT-1981

Source: check_circle
MyUnifr

Works (50 of 124)

Items per page:
Page 1 of 3

Universality of Büchi Automata: Analysis With Graph Neural Networks

IEEE Access
2023 | Journal article
Contributors: Christophe Stammet; Ulrich Ultes-Nitsche; Andreas Fischer
Source: check_circle
Crossref

Analyzing Büchi Automata with Graph Neural Networks

arXiv
2022 | Other
EID:

2-s2.0-85133310196

Part of ISSN: 23318422
Contributors: Stammet, C.; Dotti, P.; Ultes-Nitsche, U.; Fischer, A.
Source: Self-asserted source
Ulrich Ultes-Nitsche via Scopus - Elsevier

A Simple and Optimal Complementation Algorithm for BüChi Automata

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
2018 | Conference paper
Part of ISBN: 9781450355834
EID:

2-s2.0-85051137855

Part of ISSN: 10436871
Contributors: Allred, Joel D.; Ultes-Nitsche, Ulrich
Source: Self-asserted source
Ulrich Ultes-Nitsche
grade
Preferred source (of 3)‎

Complementing Büchi Automata with a Subset-tuple Construction

University of Fribourg
2015-03-01 | Report
Contributors: Allred, Joel; Ultes-Nitsche, Ulrich
Source: Self-asserted source
Ulrich Ultes-Nitsche

Structure Comparison of Binary and Weighted Niche-Overlap Graphs

Complex Networks V - Proceedings of the 5th Workshop on Complex Networks CompleNet 2014, Bologna, Italy, March 12-14, 2014
2014 | Conference paper
Contributors: Nayla Sokhn; Richard Baltensperger; Louis-Félix Bersier; Ulrich Ultes-Nitsche; Jean Hennebert
Source: Self-asserted source
Ulrich Ultes-Nitsche
grade
Preferred source (of 2)‎

Structural Network Properties of Niche-Overlap Graphs

International Conference on Signal-Image Technology & Internet-Based Systems, SITIS 2013, Kyoto, Japan, December 2-5, 2013
2013 | Conference paper
Contributors: Nayla Sokhn; Richard Baltensperger; Louis-Félix Bersier; Ulrich Ultes-Nitsche; Jean Hennebert
Source: Self-asserted source
Ulrich Ultes-Nitsche

Structure analysis of niche-overlap graphs: NetSci2013

NetSci2013
2013 | Conference paper
Contributors: Sokhn, Nayla; Baltensperger, Richard; Hennebert, Jean; Ultes-Nitsche, Ulrich; Bersier, Louis-Félix
Source: Self-asserted source
Ulrich Ultes-Nitsche

Identification of Chordless Cycles in Ecological Networks

COMPLEX 2012
2012 | Conference paper
URI:

http://www.hennebert.org/download/publications/complex-2012-identification-of-chordless-cycles-in-ecological-networks.pdf

EID:

2-s2.0-84929109542

Part of ISSN: 18678211
Contributors: Nayla Sokhn; Richard Baltensperger; Louis-Felix Bersier; Jean Hennebert; Ulrich Ultes-Nitsche
Source: Self-asserted source
Ulrich Ultes-Nitsche
grade
Preferred source (of 2)‎

k-Counting Automata

Rairo Journal of Theoretical Informatics and Applications
2012 | Journal article
Contributors: Allred, Joël; Ultes-Nitsche, Ulrich
Source: Self-asserted source
Ulrich Ultes-Nitsche
grade
Preferred source (of 2)‎

Proceedings of the 4th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2012)

2012 | Book
Contributors: Freund, Rudolf; Holzer, Markus; Truthe, Biance; Ultes-Nitsche, Ulrich
Source: Self-asserted source
Ulrich Ultes-Nitsche

cPLC - A cryptographic programming language and compiler

2011 Information Security for South Africa - Proceedings of the ISSA 2011 Conference
2011 | Conference paper
EID:

2-s2.0-80053998997

Contributors: Bangerter, E.; Krenn, S.; Seifriz, M.; Ultes-Nitsche, U.
Source: Self-asserted source
Ulrich Ultes-Nitsche via Scopus - Elsevier

k-Counting Automata

Proceedings of the 3rd International Workshop on Non-Classical Models of Automata and Applications (NCMA 2011)
2011 | Conference paper
Contributors: Allred, Joël; Ultes-Nitsche, Ulrich
Source: Self-asserted source
Ulrich Ultes-Nitsche

A Proof of Concept Implementation and Evaluation of a Zero Configuration Authentication Option for EAP-TLS

Essener Workshop zur Netzsicherheit
2010 | Conference paper
Contributors: Latze, Carolin; Ultes-Nitsche, Ulrich
Source: Self-asserted source
Ulrich Ultes-Nitsche

Extensible Authentication Protocol Method for Trusted Computing Groups (TCG) Trusted Platform Modules

2009 | Manual
Contributors: Latze, Carolin; Ultes-Nitsche, Ulrich; Baumgartner Florian
Source: Self-asserted source
Ulrich Ultes-Nitsche

Transport Layer Security (TLS) Extensions for the Trusted Platform Module (TPM)

2009 | Manual
Contributors: Latze, Carolin; Ultes-Nitsche, Ulrich; Baumgartner Florian
Source: Self-asserted source
Ulrich Ultes-Nitsche

A Proof-of-Concept Implementation of EAP-TLS with TPM support

Proceedings of the ISSA 2008 Innovative Minds Conference (ISSA 2008)
2008 | Conference paper
Contributors: Carolin Latze; Ulrich Ultes-Nitsche
Source: Self-asserted source
Ulrich Ultes-Nitsche

Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way

Proceedings of the 5th International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems (MSVVEIS 2008)
2008 | Conference paper
EID:

2-s2.0-58049182768

Contributors: Nicola, Thierry; Nießner, Frank; Ultes-Nitsche, Ulrich; Ultes-Nitsche, Ulrich; Moldt, Daniel; Augusto, Juan Carlos
Source: Self-asserted source
Ulrich Ultes-Nitsche
grade
Preferred source (of 2)‎

Immune System Based Intrusion Detection

Proceedings of the ISSA 2008 Innovative Minds Conference (ISSA 2008)
2008 | Conference paper
Contributors: Christoph Ehret; Ulrich Ultes-Nitsche
Source: Self-asserted source
Ulrich Ultes-Nitsche

Java NIO framework introducing a high-performance I/O framework for Java

ICSOFT 2008 - Proceedings of the 3rd International Conference on Software and Data Technologies
2008 | Conference paper
EID:

2-s2.0-55849132247

Contributors: Standtke, R.; Ultes-Nitsche, U.
Source: Self-asserted source
Ulrich Ultes-Nitsche via Scopus - Elsevier

Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2008; In Conjunction with ICEIS 2008: Foreword

Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS)- Proc. 6th Int. Workshop on MSVVEIS 2008; In Conjunction with ICEIS 2008
2008 | Conference paper
EID:

2-s2.0-58049134313

Contributors: Ultes-Nitsche, U.; Moldt, D.; Augusto, J.C.
Source: Self-asserted source
Ulrich Ultes-Nitsche via Scopus - Elsevier

Proceedings of the 6th International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems (MSVVEIS 2008)

2008 | Book
Contributors: Ultes-Nitsche, Ulrich; Moldt, Daniel; Augusto, Juan Carlos
Source: Self-asserted source
Ulrich Ultes-Nitsche

Roaming, Accounting and Seamless Handover in EAP-TLS Authenticated Networks

Proceedings of the IEEE ComSoc 2008 International Conference on Software, Telecommunications and Computer Networks (SoftCom 2008)
2008 | Conference paper
EID:

2-s2.0-57649221132

Contributors: Carolin Latze; Ulrich Ultes-Nitsche; Florian Baumgartner
Source: Self-asserted source
Ulrich Ultes-Nitsche
grade
Preferred source (of 2)‎

Towards a Zero Configuration Authentication Scheme for 802.11 Based Networks

IEEE Conference on Local Computer Networks (LCN 2008)
2008 | Conference paper
EID:

2-s2.0-58049097231

Contributors: Carolin Latze; Ulrich Ultes-Nitsche; Florian Baumgartner
Source: Self-asserted source
Ulrich Ultes-Nitsche
grade
Preferred source (of 2)‎

Visual Correlation in the Context of Post-Mortem Analysis

Proceedings of the ISSA 2008 Innovative Minds Conference (ISSA 2008)
2008 | Conference paper
Contributors: Michael Hayoz; Ulrich Ultes-Nitsche
Source: Self-asserted source
Ulrich Ultes-Nitsche

Weakly Continuation Closed Homomorphisms on Automata

Proceedings of the 5th International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems (MSVVEIS 2008)
2008 | Conference paper
EID:

2-s2.0-58049166173

Contributors: Nicola, Thierry; Ultes-Nitsche, Ulrich; Ultes-Nitsche, Ulrich; Moldt, Daniel; Augusto, Juan Carlos
Source: Self-asserted source
Ulrich Ultes-Nitsche
grade
Preferred source (of 2)‎

A Complete Characterization of Deterministic Regular Liveness Properties

Theoretical Computer Science (TCS)
2007 | Journal article
EID:

2-s2.0-84905869461

EID:

2-s2.0-35348916546

Part of ISSN: 03043975
Contributors: Frank Niessner; Ulrich Ultes-Nitsche
Source: Self-asserted source
Ulrich Ultes-Nitsche
grade
Preferred source (of 4)‎

A power-set construction for reducing Büchi automata to non-determinism degree two

Information Processing Letters (IPL)
2007 | Journal article
EID:

2-s2.0-33845196768

Part of ISSN: 00200190
Contributors: Ulrich Ultes-Nitsche
Source: Self-asserted source
Ulrich Ultes-Nitsche
grade
Preferred source (of 2)‎

A role model to cope with the complexity of network configuration

Proceedings of the International Network Optimization Conference (INOC 2007)
2007 | Conference paper
Contributors: David Buchmann; Dominik Jungo; Ulrich Ultes-Nitsche
Source: Self-asserted source
Ulrich Ultes-Nitsche

Assessment of code quality through classification of unit tests in VeriNeC

Proceedings - 21st International Conference on Advanced Information Networking and Applications Workshops/Symposia, AINAW'07
2007 | Conference paper
EID:

2-s2.0-35248865785

Contributors: Jungo, D.; Buchmann, D.; Ultes-Nitsche, U.
Source: Self-asserted source
Ulrich Ultes-Nitsche via Scopus - Elsevier

Improving Network Reliability by avoiding Misconfiguration

Proceedings of the 6th International Workshop on Design and Reliable Communication Networks (DRCN 2007)
2007 | Conference paper
EID:

2-s2.0-63249114651

Contributors: David Buchmann; Dominik Jungo; Ulrich Ultes-Nitsche
Source: Self-asserted source
Ulrich Ultes-Nitsche
grade
Preferred source (of 2)‎

Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2007; In Conjunction with ICEIS 2007: Foreword

Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2007; In Conjunction with ICEIS 2007
2007 | Conference paper
EID:

2-s2.0-58149115212

Contributors: Augusto, J.C.; Barjis, J.; Ultes-Nitsche, U.
Source: Self-asserted source
Ulrich Ultes-Nitsche via Scopus - Elsevier

Proceedings of the 5th International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems (MSVVEIS 2007)

2007 | Book
Contributors: Augusto, Juan Carlos; Barjis, Joseph; Ulrich Ultes-Nitsche
Source: Self-asserted source
Ulrich Ultes-Nitsche

RVS Retreat at Quarten

2007 | Working paper
Contributors: Torsten Braun; Ulrich Ultes-Nitsche; Marc Brogle; Dragan Milic; Patrick Lauer; Thomas Staub; Gerald Wagenknecht; Markus Anwander; Markus Waelchli; Markus Wulff et al.
Source: Self-asserted source
Ulrich Ultes-Nitsche

Strong Mutual Authentication in a User-Friendly Way in EAP-TLS

Proceedings of the IEEE ComSoc 2007 International Conference on Software, Telecommunications and Computer Networks (SoftCom 2007)
2007 | Conference paper
EID:

2-s2.0-57649183809

Contributors: Carolin Latze; Ulrich Ultes-Nitsche; Florian Baumgartner
Source: Self-asserted source
Ulrich Ultes-Nitsche
grade
Preferred source (of 2)‎

Stronger authentication in e-commerce: How to protect even Naïve user against Phishing, pharming, and MITM attacks

Proceedings of the IASTED International Conference on Communication Systems, Networks, and Applications, CSNA 2007
2007 | Conference paper
EID:

2-s2.0-62849098199

Contributors: Latze, C.; Ultes-Nitsche, U.
Source: Self-asserted source
Ulrich Ultes-Nitsche via Scopus - Elsevier

Towards more adequate EIS

Science of Computer Programming
2007 | Journal article
EID:

2-s2.0-33846579069

Part of ISSN: 01676423
Contributors: Barjis, J.; Augusto, J.C.; Ultes-Nitsche, U.
Source: Self-asserted source
Ulrich Ultes-Nitsche via Scopus - Elsevier

Using a Trusted Platform Module to enable a Secure Usage of Nodes in Company Networks. An extension of the AEGIS approach

15. ITG/GI - Fachtagung Kommunikation in verteilten Systemen (KIVS 2007)
2007 | Conference paper
Contributors: Carolin Latze; Ulrich Ultes-Nitsche
Source: Self-asserted source
Ulrich Ultes-Nitsche

Case Study of the Usage of an Authentication and Authorization Infrastructure (AAI) in an E-learning Project

Proceedings of the ISSA 2006 from Insight to Foresight Conference (ISSA 2006)
2006 | Conference paper
Contributors: Aurelius Baier; Thomas Bernoulli; Torsten Braun; Christoph Graf; Ulrich Ultes-Nitsche; Jan Eloff; Hein Venter; Les Labuschagne; Mariki Eloff
Source: Self-asserted source
Ulrich Ultes-Nitsche

Environmental acquisition in mobile network simulation

WINSYS 2006 - International Conference on Wireless Information Networks and Systems, Proceedings
2006 | Conference paper
EID:

2-s2.0-77954107962

Contributors: Buchmann, D.; Jungo, D.; Ultes-Nitsche, U.
Source: Self-asserted source
Ulrich Ultes-Nitsche via Scopus - Elsevier

Foreword

Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006 - In Conjunction with ICEIS 2006
2006 | Conference paper
EID:

2-s2.0-84880319015

Contributors: Barjis, J.; Ultes-Nitsche, U.; Augusto, J.C.
Source: Self-asserted source
Ulrich Ultes-Nitsche via Scopus - Elsevier

Non-signature based virus detection: Towards establishing a unknown virus detection technique using SOM

Journal in Computer Virology
2006 | Journal article
EID:

2-s2.0-33751175813

Part of ISSN: 17729890 17729904
Contributors: Yoo, I.S.; Ultes-Nitsche, U.
Source: Self-asserted source
Ulrich Ultes-Nitsche via Scopus - Elsevier

Non-Signature Based Virus Detection: Towards Establishing Unknown Virus Detection Technique Using SOM

Journal in Computer Virology
2006 | Journal article
Contributors: InSeon Yoo; Ulrich Ultes-Nitsche
Source: Self-asserted source
Ulrich Ultes-Nitsche

Proceedings of the 4th International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems (MSVVEIS 2006)

2006 | Book
Contributors: Barjis, Joseph; Ulrich Ultes-Nitsche; Augusto, Juan Carlos
Source: Self-asserted source
Ulrich Ultes-Nitsche

Testing of Semantic Properties in XML Documents

Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems (MSVVEIS 2006)
2006 | Conference paper
EID:

2-s2.0-84880283513

Contributors: Dominik Jungo; David Buchmann; Ulrich Ultes-Nitsche
Source: Self-asserted source
Ulrich Ultes-Nitsche
grade
Preferred source (of 2)‎

A Unit Testing Framework for Network Configurations

Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems (MSVVEIS 2005)
2005 | Conference paper
EID:

2-s2.0-78651438042

Contributors: Dominik Jungo; David Buchmann; Ulrich Ultes-Nitsche
Source: Self-asserted source
Ulrich Ultes-Nitsche
grade
Preferred source (of 2)‎

Model-checking Inherently Fair Linear-time Properties

Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems (MSVVEIS 2005)
2005 | Conference paper
EID:

2-s2.0-58049162643

Contributors: Thierry Nicola; Fank Nießner; Ulrich Ultes-Nitsche
Source: Self-asserted source
Ulrich Ultes-Nitsche
grade
Preferred source (of 2)‎

Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005: Foreword

Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005
2005 | Conference paper
EID:

2-s2.0-78651463670

Contributors: Ultes-Nitsche, U.; Augusto, J.C.; Barjis, J.
Source: Self-asserted source
Ulrich Ultes-Nitsche via Scopus - Elsevier

Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems (MSVVEIS 2005)

2005 | Book
Contributors: Augusto, Juan Carlos; Barjis, Joseph; Ulrich Ultes-Nitsche
Source: Self-asserted source
Ulrich Ultes-Nitsche

Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2009, in Conjunction with ICEIS 2009: Foreword

Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2009, in Conjunction with ICEIS 2009
2005 | Conference paper
EID:

2-s2.0-78651312020

Contributors: Moldt, D.; Augusto, J.C.; Ultes-Nitsche, U.
Source: Self-asserted source
Ulrich Ultes-Nitsche via Scopus - Elsevier

Editors of Special issue on Verification and Computational Logic

Theory and Practice of Logic Programming (TPLP)
2004 | Journal article
Contributors: Michael Leuschel; Andreas Podelski; Ramakrishnan, C.R.; Ulrich Ultes-Nitsche
Source: Self-asserted source
Ulrich Ultes-Nitsche
Items per page:
Page 1 of 3