%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Ulrich Nitsche",
%%%     version         = "1.06",
%%%     date            = "19 February 2013",
%%%     time            = "16:26:05 MST",
%%%     filename        = "nitsche-ulrich.bib",
%%%     address         = "University of Zurich
%%%                        Department of Computer Science
%%%                        Winterthurer Str. 190
%%%                        CH-8057 Zurich
%%%                        Switzerland",
%%%     telephone       = "?n/a?",
%%%     FAX             = "?n/a?",
%%%     URL             = "www.ifi.unizh.ch/staff/nitsche",
%%%     checksum        = "63152 839 3160 34071",
%%%     email           = "nitsche at ifi.unizh.ch (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "Formal Methods, Verification,",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This is a bibliography of publications of
%%%                        Ulrich Nitsche.  The companion LaTeX file
%%%                        nitsche-ulrich.ltx can be used to typeset
%%%                        this bibliography.
%%%
%%%                        At version 1.06, the year coverage looked
%%%                        like this:
%%%
%%%                             1988 (   1)    1995 (   3)    2002 (   1)
%%%                             1989 (   0)    1996 (  11)    2003 (   0)
%%%                             1990 (   0)    1997 (  11)    2004 (   1)
%%%                             1991 (   2)    1998 (   3)    2005 (   0)
%%%                             1993 (   0)    2000 (   0)    2007 (   3)
%%%                             1994 (   6)    2001 (   0)
%%%                             19xx (   1)
%%%
%%%                             Article:          9
%%%                             InProceedings:   16
%%%                             Misc:             1
%%%                             PhdThesis:        1
%%%                             Proceedings:      7
%%%                             TechReport:       9
%%%
%%%                             Total entries:   43
%%%
%%%                        This file is available as part of the BibNet
%%%                        Project.  The master copy is available for
%%%                        public access on ftp.math.utah.edu in the
%%%                        directory tree /pub/bibnet/authors.  It is
%%%                        mirrored to netlib.bell-labs.com in the directory
%%%                        tree /netlib/bibnet/authors, from which it is
%%%                        available via anonymous ftp and the Netlib
%%%                        service.
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================

%%% ====================================================================
%%% Journal abbreviations:

@String{j-INFO-PROC-LETT        = "Information Processing Letters"}

@String{j-J-SYST-SOFTW          = "The Journal of Systems and Software"}

@String{j-J-UCS                 = "J.UCS: Journal of Universal Computer
                                  Science"}

@String{j-LECT-NOTES-COMP-SCI   = "Lecture Notes in Computer Science"}

@String{j-SCI-COMPUT-PROGRAM    = "Science of Computer Programming"}

@String{j-THEOR-COMP-SCI        = "Theoretical Computer Science"}

%%% ====================================================================
%%% Publisher abbreviations:

@String{pub-ACM                 = "ACM Press"}

@String{pub-ACM:adr             = "New York, NY 10036, USA"}

@String{pub-GMD                 = "GMD"}

@String{pub-GMD:adr             = "Bonn, Germany"}

@String{pub-IEEE                = "IEEE"}

@String{pub-IEEE:adr            = "1109 Spring Street, Suite 300,
                                  Silver Spring, MD 20910, USA"}

@String{pub-SV                  = "Springer-Verlag"}

@String{pub-SV:adr              = "Berlin, Germany~/ Heidelberg,
                                  Germany~/ London, UK~/ etc."}

@String{pub-WORLD-SCI           = "World Scientific Publishing
                                  Co. Pte. Ltd."}

@String{pub-WORLD-SCI:adr       = "P. O. Box 128, Farrer Road,
                                  Singapore 9128"}

%%% ====================================================================
%%% Series abbreviations:

@String{ser-LNAI                = "Lecture Notes in Artificial Intelligence"}

@String{ser-LNCS                = "Lecture Notes in Computer Science"}

%%% ====================================================================
%%% Bibliography entries:

@TechReport{Nitsche:1988:EPI,
  author =       "Ulrich Nitsche",
  title =        "{Erreichbarkeitsgraphen von Produktnetzen und ihre
                 Auswertung in PROLOG}",
  type =         "Arbeitspapiere der GMD",
  number =       "330",
  institution =  "Gesellschaft f{\"u}r Mathematik und Datenverarbeitung
                 (GMD)",
  address =      "Darmstadt",
  month =        aug,
  year =         "1988",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
}

@Misc{Nitsche:1991:EEP,
  author =       "Ulrich Nitsche",
  title =        "{Das Erreichbarkeitsproblem f{\"u}r eingeschr{\"a}nkte
                 Produktnetze}",
  howpublished = "Diploma thesis, University of Frankfurt, Germany",
  month =        feb,
  year =         "1991",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  note =         "Presented at the ITHEM-Meeting at the \'Ecole Normale
                 Sup\'erieur, Paris, 1991.",
}

@TechReport{Nitsche:1991:EP,
  author =       "Ulrich Nitsche",
  title =        "{Erreichbarkeitsanalyse von Produktnetzen}",
  type =         "Arbeitspapiere der GMD",
  number =       "521",
  institution =  "Gesellschaft f{\"u}r Mathematik und Datenverarbeitung
                 (GMD)",
  address =      "Darmstadt",
  month =        apr,
  year =         "1991",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
}

@Article{Nitsche:1994:PLT,
  author =       "U. Nitsche",
  title =        "Propositional Linear Temporal Logic and Language
                 Homomorphisms",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "813",
  pages =        "265--277",
  year =         "1994",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Mon May 13 11:52:14 MDT 1996",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  acknowledgement = ack-nhfb,
}

@TechReport{Nitsche:1994:SHL,
  author =       "Ulrich Nitsche",
  title =        "Simple Homomorphisms and Linear Temporal Logic",
  type =         "Arbeitspapiere der GMD",
  number =       "889",
  institution =  "GMD --- Forschungszentrum Informationstechnik",
  address =      "Darmstadt",
  month =        dec,
  year =         "1994",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
}

@InProceedings{Nitsche:1994:VMB,
  author =       "Ulrich Nitsche",
  title =        "A Verification Method Based on Homomorphic Model
                 Abstraction",
  crossref =     "ACM:1994:PTA",
  pages =        "393",
  year =         "1994",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  confaddress =  "Los Angeles, CA, USA",
}

@InProceedings{Nitsche:1994:VTL,
  author =       "Ulrich Nitsche",
  editor =       "J{\"o}rg Desel and Andreas Oberweis and Wolfgang
                 Reisig",
  booktitle =    "National Workshop on Algorithms and Tools for Petri
                 Nets (Algorithmen und Werkzeuge f{\"u}r Petrinetze,
                 AWP'94)",
  title =        "Verifying Temporal Logic Formulas in Abstractions of
                 Large Reachability Graphs",
  publisher =    "Humboldt Universit{\"a}t Berlin",
  address =      "Berlin, Germany",
  pages =        "42--47",
  year =         "1994",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
}

@TechReport{Demant:1995:ABG,
  author =       "Ralph Demant and Farhad Fatahi-Vanani and Rafael
                 Galvez-Estrada and Ulrich Nitsche and Peter
                 Ochsenschl{\"a}ger",
  title =        "{Abschlu{\ss}bericht des GMD-/Telekom-Projekts Formale
                 Spezifikations- und Verifikationsmethoden zur
                 Behandlung der Service-Interaction-Problematik ---
                 SERVINT}",
  type =         "Abschlu{\ss}bericht",
  institution =  pub-GMD,
  address =      pub-GMD:adr,
  month =        "Dezember",
  year =         "1995",
  bibdate =      "Mon Dec 15 11:58:42 MST 1997",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
}

@TechReport{Nitsche:1995:ASP,
  author =       "Ulrich Nitsche and Peter Ochsenschl{\"a}ger",
  title =        "Approximately Satisfied Properties of Systems and
                 Simple Language Homomorphisms",
  type =         "Arbeitspapiere der GMD",
  number =       "965",
  institution =  "GMD --- Forschungszentrum Informationstechnik",
  address =      "Darmstadt",
  month =        dec,
  year =         "1995",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
}

@TechReport{Nitsche:1995:ZGT,
  author =       "Ulrich Nitsche and Peter Ochsenschl{\"a}ger",
  title =        "{Zwischenbericht des GMD-/Telekom-Projekts Formale
                 Spezifikations- und Verifikationsmethoden zur
                 Behandlung der Service-Interaction-Problematik ---
                 SERVINT}",
  type =         "Zwischenbericht",
  institution =  pub-GMD,
  address =      pub-GMD:adr,
  month =        "Juli",
  year =         "1995",
  bibdate =      "Mon Dec 15 11:58:42 MST 1997",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
}

@InProceedings{Capellmann:1996:CSS,
  author =       "Carla Capellmann and Ralph Demant and Raphael
                 Galvez-Estrada and Ulrich Nitsche and Peter
                 Ochsenschl{\"a}ger",
  editor =       "Tiziana Margaria",
  booktitle =    "Proceedings of the 1st International Workshop on
                 Advanced Intelligent Networks (AIN'96)",
  title =        "Case Study: Service Interaction Detection by Formal
                 Verification under Behaviour Abstraction",
  publisher =    "????",
  address =      "????",
  pages =        "71--90",
  month =        mar,
  year =         "1996",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  confaddress =  "Passau, Germany",
}

@InProceedings{Capellmann:1996:VBA,
  author =       "Carla Capellmann and Ralph Demant and Farhad
                 Fatahi-Vanani and Raphael Galvez-Estrada and Ulrich
                 Nitsche and Peter Ochsenschl{\"a}ger",
  title =        "Verification by Behavior Abstraction: {A} Case Study
                 of Service Interaction Detection in Intelligent
                 Telephone Networks",
  crossref =     "Alur:1996:CAV",
  volume =       "1102",
  pages =        "466--469",
  year =         "1996",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  series =       "Lecture Notes in Computer Science",
}

@TechReport{Demant:1996:ABG,
  author =       "Ralph Demant and Farhad Fatahi-Vanani and Rafael
                 Galvez-Estrada and Astrid Link and Ulrich Nitsche and
                 Armin Noll and Peter Ochsenschl{\"a}ger and J{\"u}rgen
                 Repp and Roland Rieke",
  title =        "{Abschlu{\ss}bericht des GMD-/Telekom-Projekts Formale
                 Spezifikations- und Verifikationsmethoden zur
                 Behandlung der Service-Interaction-Problematik ---
                 SERVINTII}",
  type =         "Abschlu{\ss}bericht",
  institution =  pub-GMD,
  address =      pub-GMD:adr,
  month =        "Dezember",
  year =         "1996",
  bibdate =      "Mon Dec 15 11:58:42 MST 1997",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
}

@TechReport{Demant:1996:ZGT,
  author =       "Ralph Demant and Farhad Fatahi-Vanani and Rafael
                 Galvez-Estrada and Ulrich Nitsche and Peter
                 Ochsenschl{\"a}ger",
  title =        "{Zwischenbericht des GMD-/Telekom-Projekts Formale
                 Spezifikations- und Verifikationsmethoden zur
                 Behandlung der Service-Interaction-Problematik ---
                 SERVINT2}",
  type =         "Zwischenbericht",
  institution =  pub-GMD,
  address =      pub-GMD:adr,
  month =        jul,
  year =         "1996",
  bibdate =      "Mon Dec 15 11:58:42 MST 1997",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
}

@InProceedings{Nitsche:1996:ASPa,
  author =       "Ulrich Nitsche and Peter Ochsenschl{\"a}ger",
  booktitle =    "Proceedings of the 1st International Workshop on
                 Formal Methods for Industrial Critical Systems
                 (FMICS'96)",
  title =        "Approximately Satisfied Properties of Systems and
                 Simple Language Homomorphisms",
  publisher =    "????",
  address =      "????",
  month =        mar,
  year =         "1996",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  confaddress =  "Oxford, U.K.",
}

@Article{Nitsche:1996:ASPb,
  author =       "Ulrich Nitsche and Peter Ochsenschl{\"a}ger",
  title =        "Approximately satisfied properties of systems and
                 simple language homomorphisms",
  journal =      j-INFO-PROC-LETT,
  volume =       "60",
  number =       "4",
  pages =        "201--206",
  day =          "25",
  month =        nov,
  year =         "1996",
  CODEN =        "IFPLAT",
  ISSN =         "0020-0190 (print), 1872-6119 (electronic)",
  ISSN-L =       "0020-0190",
  MRclass =      "68Q60 (68Q45)",
  MRnumber =     "97i:68135",
  bibdate =      "Wed Nov 11 12:16:26 MST 1998",
  bibsource =    "http://www.elsevier.com:80/inca/publications/store/5/0/5/6/1/2/; http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  acknowledgement = ack-nhfb,
  classification = "C4210L (Formal languages and computational
                 linguistics); C4240C (Computational complexity)",
  corpsource =   "Inst. TKT, GMD-German Nat. Res Centre for Inf.
                 Technol., Darmstadt, Germany",
  keywords =     "approximate satisfaction; Cantor topology; complexity;
                 computational complexity; formal languages;
                 homomorphism; liveness; omega-languages; safety;
                 satisfied properties; simple language homomorphisms",
  treatment =    "T Theoretical or Mathematical",
}

@InProceedings{Nitsche:1996:FLS,
  author =       "Ulrich Nitsche",
  title =        "A Finitary Language Semantics for Propositional Linear
                 Temporal Logic",
  crossref =     "Dassow:1996:DLT",
  pages =        "482--489",
  year =         "1996",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
}

@TechReport{Nitsche:1996:SVT,
  author =       "Ulrich Nitsche and Peter Ochsenschl{\"a}ger and
                 J{\"u}rgen Repp",
  title =        "The {SH-Verification Tool}",
  type =         "Arbeitspapiere der GMD",
  number =       "1007",
  institution =  "GMD --- Forschungszentrum Informationstechnik",
  address =      "Darmstadt",
  month =        jul,
  year =         "1996",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
}

@Article{Nitsche:1996:VBA,
  author =       "Ulrich Nitsche",
  title =        "Verification and Behavior Abstraction Towards a
                 Tractable Verification Technique for Large Distributed
                 Systems",
  journal =      j-J-SYST-SOFTW,
  volume =       "33",
  number =       "3",
  pages =        "273--285",
  month =        jun,
  year =         "1996",
  CODEN =        "JSSODM",
  ISSN =         "0164-1212 (print), 1873-1228 (electronic)",
  ISSN-L =       "0164-1212",
  bibdate =      "Thu Sep 9 05:51:44 MDT 2010",
  bibsource =    "http://www.sciencedirect.com/science/journal/01641212; http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  acknowledgement = ack-nhfb,
}

@InProceedings{Bauknecht:1997:MAP,
  author =       "Kurt Bauknecht and Ralph Holbein and Othmar Morger and
                 Ulrich Nitsche and Stephanie Teufel",
  booktitle =    "Proceedings of the 2nd Nordic Workshop on Secure
                 Computer Systems (NORDSEC'97)",
  title =        "The MobiMed Approach to Privacy in Medical Systems",
  publisher =    "????",
  address =      "????",
  year =         "1997",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  note =         "To be published.",
  confaddress =  "Helsinki, Finland",
}

@InProceedings{Morger:1997:DQK,
  author =       "Othmar Morger and Ulrich Nitsche and Stephanie
                 Teufel",
  booktitle =    "42.\ Jahrestagung der Deutschen Gesellschaft f{\"u}r
                 Medizinische Informatik, Biometrie und Epidemologie
                 (GMDS) '97",
  title =        "{Datenschutz als Qualit{\"a}tskriterium f{\"u}r
                 Krankenhausinformationssysteme}",
  publisher =    "????",
  address =      "????",
  year =         "1997",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  confaddress =  "Ulm, Germany",
}

@InProceedings{Morger:1997:MPE,
  author =       "Othmar Morger and Ulrich Nitsche and Stephanie
                 Teufel",
  booktitle =    "Proceedings of the 12th International Workshop on
                 Computing in Clinical Laboratories (CCL'97)",
  title =        "MobiMed---Privacy and Efficiency in Mobile Medical
                 Systems (Abstract to the Poster Session)",
  publisher =    "????",
  address =      "????",
  year =         "1997",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  confaddress =  "Lugano, Switzerland",
}

@InProceedings{Morger:1997:SCM,
  author =       "Othmar Morger and Ulrich Nitsche and Stephanie
                 Teufel",
  title =        "Security Concerns for Mobile Information Systems in
                 Health Care",
  crossref =     "Wagner:1997:PEI",
  pages =        "312--317",
  year =         "1997",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  confaddress =  "Toulouse, France",
}

@InProceedings{Niessner:1997:DRL,
  author =       "Frank Nie{\ss}ner and Ulrich Nitsche and Peter
                 Ochsenschl{\"a}ger",
  booktitle =    "Preproceedings of the 3rd International Conference on
                 Developments in Language Theory (DLT'97)",
  title =        "Deterministic $\omega$-Regular Liveness Properties",
  organization = "Aristotle University of Thessaloniki, Greece",
  publisher =    "????",
  address =      "????",
  year =         "1997",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
}

@InProceedings{Nitsche:1997:IFC,
  author =       "Ulrich Nitsche",
  title =        "Interpretation of the Full Computation Tree Logic
                 {CTL}$^*$ on Sets of Infinite Sequences",
  crossref =     "Adian:1997:LFC",
  volume =       "1234",
  pages =        "276--282",
  year =         "1997",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  series =       "Lecture Notes in Computer Science",
}

@InProceedings{Nitsche:1997:RLB,
  author =       "Ulrich Nitsche and Pierre Wolper",
  title =        "Relative Liveness and Behavior Abstraction (Extended
                 Abstract)",
  crossref =     "ACM:1997:PSA",
  pages =        "45--52",
  year =         "1997",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  confaddress =  "Santa Barbara, CA",
}

@InProceedings{Nitsche:1997:SVT,
  author =       "Ulrich Nitsche and Peter Ochsenschl{\"a}ger and
                 J{\"u}rgen Repp and Roland Rieke",
  booktitle =    "Proceedings of the 2nd International Workshop on
                 Formal Methods for Industrial Critical Systems
                 (FMICS'97)",
  title =        "The {SH}-Verification Tool",
  publisher =    "????",
  address =      "????",
  year =         "1997",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  confaddress =  "Cesena, Italy",
}

@InProceedings{Morger:1998:PEP,
  author =       "Othmar Morger and Ulrich Nitsche and Stephanie
                 Teufel",
  booktitle =    "Proceedings of the 9th World Congress on Medical
                 Informatics (MedInfo'98)",
  title =        "Privacy and Efficiency in Patient Focused Health Care
                 Processes",
  publisher =    "????",
  address =      "????",
  year =         "1998",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  confaddress =  "Seoul, Korea",
}

@InProceedings{Niessner:1998:DRL,
  author =       "Frank Nie{\ss}ner and Ulrich Nitsche and Peter
                 Ochsenschl{\"a}ger",
  booktitle =    "Proceedings of the 3rd International Conference on
                 Developments in Language Theory (DLT'97)",
  title =        "Deterministic $\omega$-Regular Liveness Properties",
  publisher =    "????",
  address =      "????",
  year =         "1998",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  note =         "To be published.",
  confaddress =  "Thessaloniki, Greece",
}

@Article{Nitsche:1998:AFV,
  author =       "Ulrich Nitsche",
  title =        "Application of Formal Verification and Behaviour
                 Abstraction to the Service Interaction Problem in
                 Intelligent Networks",
  journal =      j-J-SYST-SOFTW,
  volume =       "40",
  number =       "3",
  pages =        "227--248",
  month =        mar,
  year =         "1998",
  CODEN =        "JSSODM",
  ISSN =         "0164-1212 (print), 1873-1228 (electronic)",
  ISSN-L =       "0164-1212",
  bibdate =      "Thu Sep 9 07:30:16 MDT 2010",
  bibsource =    "http://www.sciencedirect.com/science/journal/01641212; http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  acknowledgement = ack-nhfb,
  remark =       "Tentatively accepted for the special issue on Formal
                 Methods Technology Transfer.",
}

@PhdThesis{Nitsche:19xx:VCO,
  author =       "Ulrich Nitsche",
  title =        "Verification of Co-Operating Systems and Behaviour
                 Abstraction",
  school =       "University of Frankfurt, Germany",
  year =         "19xx",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  note =         "Handed in in 1996.",
}

@Article{Ultes-Nitsche:2002:DWN,
  author =       "Ulrich Ultes-Nitsche",
  title =        "Do We Need Liveness? --- Approximation of Liveness
                 Properties by Safety Properties",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2540",
  pages =        "279--??",
  year =         "2002",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:58:12 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2540.htm; http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2540/25400279.htm;
                 http://link.springer.de/link/service/series/0558/papers/2540/25400279.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Augusto:2004:SIW,
  author =       "J. C. Augusto and U. Ultes-Nitsche",
  title =        "Second International Workshop on Verification and
                 Validation of Enterprise Information Systems",
  journal =      j-J-UCS,
  volume =       "10",
  number =       "11",
  pages =        "1495--1497",
  day =          "28",
  month =        nov,
  year =         "2004",
  CODEN =        "????",
  ISSN =         "0948-6968",
  ISSN-L =       "0948-6968",
  bibdate =      "Wed Jul 6 08:14:44 MDT 2005",
  bibsource =    "http://www.jucs.org/jucs; http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  URL =          "http://www.jucs.org/free;
                 http://www.jucs.org/jucs_10_11/second_international_workshop_on",
  acknowledgement = ack-nhfb,
}

@Article{Barjis:2007:TMA,
  author =       "Joseph Barjis and Juan Carlos Augusto and Ulrich
                 Ultes-Nitsche",
  title =        "Towards more adequate {EIS}",
  journal =      j-SCI-COMPUT-PROGRAM,
  volume =       "65",
  number =       "1",
  pages =        "1--3",
  day =          "1",
  month =        mar,
  year =         "2007",
  CODEN =        "SCPGD4",
  ISSN =         "0167-6423 (print), 1872-7964 (electronic)",
  ISSN-L =       "0167-6423",
  bibdate =      "Fri Apr 1 18:39:07 MDT 2011",
  bibsource =    "http://www.sciencedirect.com/science/journal/01676423; http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Science of Computer Programming",
}

@Article{Niessner:2007:CCD,
  author =       "Frank Nie{\ss}ner and Ulrich Ultes-Nitsche",
  title =        "A complete characterization of deterministic regular
                 liveness properties",
  journal =      j-THEOR-COMP-SCI,
  volume =       "387",
  number =       "2",
  pages =        "187--195",
  day =          "12",
  month =        nov,
  year =         "2007",
  CODEN =        "TCSCDI",
  ISSN =         "0304-3975 (print), 1879-2294 (electronic)",
  ISSN-L =       "0304-3975",
  bibdate =      "Mon Mar 28 22:11:58 MDT 2011",
  bibsource =    "http://www.sciencedirect.com/science/journal/03043975; http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Theoretical Computer Science",
}

@Article{Ultes-Nitsche:2007:PSC,
  author =       "Ulrich Ultes-Nitsche",
  title =        "A power-set construction for reducing {B{\"u}chi}
                 automata to non-determinism degree two",
  journal =      j-INFO-PROC-LETT,
  volume =       "101",
  number =       "3",
  pages =        "107--111",
  day =          "14",
  month =        feb,
  year =         "2007",
  CODEN =        "IFPLAT",
  ISSN =         "0020-0190 (print), 1872-6119 (electronic)",
  ISSN-L =       "0020-0190",
  bibdate =      "Thu Mar 31 15:52:34 MDT 2011",
  bibsource =    "http://www.sciencedirect.com/science/journal/00200190; http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  acknowledgement = ack-nhfb,
  fjournal =     "Information Processing Letters",
}


%%% ====================================================================
%%% Cross-referenced entries must come last:

@Proceedings{ACM:1994:PTA,
  editor =       "{ACM}",
  booktitle =    "Proceedings of the Thirteenth Annual ACM Symposium on
                 Principles of Distributed Computing: Los Angeles,
                 California, USA, August 14--17, 1994",
  title =        "Proceedings of the Thirteenth Annual {ACM} Symposium
                 on Principles of Distributed Computing: Los Angeles,
                 California, {USA}, August 14--17, 1994",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "ix + 406",
  year =         "1994",
  ISBN =         "0-89791-654-9",
  ISBN-13 =      "978-0-89791-654-7",
  LCCN =         "QA76.9.D5 A33 1994",
  bibdate =      "Wed Sep 28 18:04:19 2011",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  acknowledgement = ack-nhfb,
}

@Proceedings{Nerode:1994:LFC,
  editor =       "Anil Nerode and Iu. V. Matiiasevich",
  booktitle =    "Logical foundations of computer science: third
                 international symposium, {LFCS} '94, St. Petersburg,
                 Russia, July 11--14, 1994: proceedings",
  title =        "Logical foundations of computer science: third
                 international symposium, {LFCS} '94, St. Petersburg,
                 Russia, July 11--14, 1994: proceedings",
  volume =       "813",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "ix + 392",
  year =         "1994",
  CODEN =        "LNCSD9",
  ISBN =         "3-540-58140-5 (Berlin), 0-387-58140-5 (New York)",
  ISBN-13 =      "978-3-540-58140-6 (Berlin), 978-0-387-58140-8 (New
                 York)",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  LCCN =         "QA75.5 .L64 1994",
  bibdate =      "Wed Sep 28 18:04:36 2011",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  series =       ser-LNCS,
  acknowledgement = ack-nhfb,
  keywords =     "computer science --- congresses; logic, symbolic and
                 mathematical --- congresses",
  xxvolume =     "4004711419",
}

@Proceedings{Alur:1996:CAV,
  editor =       "Rajeev Alur and T. A. (Thomas A.) Henzinger",
  booktitle =    "Computer aided verification: 8th international
                 conference, {CAV} '96, New Brunswick, {NJ}, {USA}, July
                 {31-August} 3, 1996: proceedings",
  title =        "Computer aided verification: 8th international
                 conference, {CAV} '96, New Brunswick, {NJ}, {USA}, July
                 {31-August} 3, 1996: proceedings",
  volume =       "1102",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "xii + 472",
  year =         "1996",
  ISBN =         "3-540-61474-5",
  ISBN-13 =      "978-3-540-61474-6",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  LCCN =         "QA76.76.V47 C38 1996",
  bibdate =      "Wed Sep 28 18:04:39 2011",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  series =       ser-LNCS,
  acknowledgement = ack-nhfb,
  alttitle =     "CAV '96",
  keywords =     "Computer software --- Verification --- Congresses.;
                 Electronic digital computers --- Evaluation ---
                 Congresses.",
}

@Proceedings{Dassow:1996:DLT,
  editor =       "Jurgen Dassow and Grzegorz Rozenberg and Arto
                 Salomaa",
  booktitle =    "Developments in language theory {II}: at the
                 crossroads of mathematics, computer science, and
                 biology : Magdeburg, Germany, 17--21 July 1995",
  title =        "Developments in language theory {II}: at the
                 crossroads of mathematics, computer science, and
                 biology : Magdeburg, Germany, 17--21 July 1995",
  publisher =    pub-WORLD-SCI,
  address =      pub-WORLD-SCI:adr,
  pages =        "x + 491",
  year =         "1996",
  ISBN =         "981-02-2682-9",
  ISBN-13 =      "978-981-02-2682-4",
  LCCN =         "QA267.3 .D483 1996",
  bibdate =      "Wed Sep 28 18:04:40 2011",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  acknowledgement = ack-nhfb,
}

@Proceedings{ACM:1997:PSA,
  editor =       "{ACM}",
  booktitle =    "Proceedings of the Sixteenth ACM Symposium on
                 Principles of Distributed Computing: Santa Barbara,
                 California, August 21--24, 1997",
  title =        "Proceedings of the Sixteenth {ACM} Symposium on
                 Principles of Distributed Computing: Santa Barbara,
                 California, August 21--24, 1997",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "viii + 297",
  year =         "1997",
  ISBN =         "0-89791-952-1",
  ISBN-13 =      "978-0-89791-952-4",
  LCCN =         "",
  bibdate =      "Wed Sep 28 18:04:41 2011",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  note =         "ACM order number 536970.",
  acknowledgement = ack-nhfb,
}

@Proceedings{Adian:1997:LFC,
  editor =       "Sergei Adian and Anil Nerode",
  booktitle =    "Logical foundations of computer science: 4th
                 international symposium, LFCS '97, Yaroslavl, Russia,
                 July 6--12, 1997",
  title =        "Logical foundations of computer science: 4th
                 international symposium, {LFCS} '97, Yaroslavl, Russia,
                 July 6--12, 1997",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "ix + 492",
  year =         "1997",
  ISBN =         "",
  ISBN-13 =      "",
  LCCN =         "QA75.5 .L43 1997",
  bibdate =      "Wed Sep 28 18:04:42 2011",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  acknowledgement = ack-nhfb,
}

@Proceedings{Wagner:1997:PEI,
  editor =       "Roland R. Wagner",
  booktitle =    "Proceedings: Eighth International Workshop on Database
                 and Expert Systems Applications, September 1--2, 1997,
                 Toulouse, France",
  title =        "Proceedings: Eighth International Workshop on Database
                 and Expert Systems Applications, September 1--2, 1997,
                 Toulouse, France",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xvii + 770",
  year =         "1997",
  ISBN =         "0-8186-8147-0, 0-8186-8148-9 (case), 0-8186-8149-7
                 (microfiche)",
  ISBN-13 =      "978-0-8186-8147-9, 978-0-8186-8148-6 (case),
                 978-0-8186-8149-3 (microfiche)",
  LCCN =         "QA76.9.D3 D15592 1997b",
  bibdate =      "Wed Sep 28 18:04:42 2011",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib",
  acknowledgement = ack-nhfb,
}

%%% Last bibsql search: Wed Sep 28 17:53:00 2011