BibTeX records: Markus M. Helms

download as .bib file

@article{DBLP:journals/ibmrd/JacobiSRTMHCMSB18,
  author       = {Christian Jacobi and
                  Anthony Saporito and
                  Martin Recktenwald and
                  Aaron Tsai and
                  Ulrich Mayer and
                  Markus M. Helms and
                  Adam Collura and
                  Pak{-}kin Mak and
                  Robert J. Sonnelitter and
                  Michael A. Blake and
                  Tim Bronson and
                  Arthur O'neill and
                  Vesselina K. Papazova},
  title        = {Design of the {IBM} z14 microprocessor},
  journal      = {{IBM} J. Res. Dev.},
  volume       = {62},
  number       = {2/3},
  pages        = {8:1--8:11},
  year         = {2018},
  url          = {https://doi.org/10.1147/JRD.2018.2798718},
  doi          = {10.1147/JRD.2018.2798718},
  timestamp    = {Tue, 19 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ibmrd/JacobiSRTMHCMSB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ibmrd/CurranJBSAPH15,
  author       = {Brian W. Curran and
                  Christian Jacobi and
                  J. J. Bonanno and
                  D. A. Schroter and
                  K. J. Alexander and
                  A. Puranik and
                  Markus M. Helms},
  title        = {The {IBM} z13 multithreaded microprocessor},
  journal      = {{IBM} J. Res. Dev.},
  volume       = {59},
  number       = {4/5},
  year         = {2015},
  url          = {https://doi.org/10.1147/JRD.2015.2418591},
  doi          = {10.1147/JRD.2015.2418591},
  timestamp    = {Tue, 19 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ibmrd/CurranJBSAPH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ibmrd/DorschEHCGHHKPRRH12,
  author       = {Rainer Dorsch and
                  Richard K. Errickson and
                  Markus M. Helms and
                  G. Crew and
                  Thomas A. Gregg and
                  Welela Haileselassie and
                  L. W. Helmer and
                  Andreas Kohler and
                  Kulwant M. Pandey and
                  Susanne Roscher and
                  E. S. Rotter and
                  Christian Haubelt},
  title        = {{IBM} Parallel Sysplex design for the {IBM} z196 system},
  journal      = {{IBM} J. Res. Dev.},
  volume       = {56},
  number       = {1},
  pages        = {9},
  year         = {2012},
  url          = {https://doi.org/10.1147/JRD.2011.2177910},
  doi          = {10.1147/JRD.2011.2177910},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ibmrd/DorschEHCGHHKPRRH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ibmrd/ChencinskiCDDGGHKMPSSUW09,
  author       = {Edward W. Chencinski and
                  M. A. Check and
                  Casimer M. DeCusatis and
                  H. Deng and
                  M. Grassi and
                  Thomas A. Gregg and
                  Markus M. Helms and
                  A. D. Koenig and
                  L. Mohr and
                  Kulwant M. Pandey and
                  Thomas Schlipf and
                  Torsten Schober and
                  H. Ulrich and
                  Craig R. Walters},
  title        = {{IBM} System z10 {I/O} subsystem},
  journal      = {{IBM} J. Res. Dev.},
  volume       = {53},
  number       = {1},
  pages        = {6},
  year         = {2009},
  url          = {https://doi.org/10.1147/JRD.2009.5388573},
  doi          = {10.1147/JRD.2009.5388573},
  timestamp    = {Fri, 21 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ibmrd/ChencinskiCDDGGHKMPSSUW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ibmrd/SchlipfHRKDHLBRWJ09,
  author       = {Thomas Schlipf and
                  Markus M. Helms and
                  J{\"{u}}rgen Ruf and
                  M. Klein and
                  Rainer Dorsch and
                  B. Hoppe and
                  Walter Lipponer and
                  S. Boekholt and
                  T. Rower and
                  Manfred H. Walz and
                  S. Junghans},
  title        = {Design and verification of the {IBM} System z10 {I/O} subsystem chips},
  journal      = {{IBM} J. Res. Dev.},
  volume       = {53},
  number       = {1},
  pages        = {7},
  year         = {2009},
  url          = {https://doi.org/10.1147/JRD.2009.5388584},
  doi          = {10.1147/JRD.2009.5388584},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ibmrd/SchlipfHRKDHLBRWJ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ibmrd/ChencinskiBBBHHHSTUWWZ04,
  author       = {Edward W. Chencinski and
                  Michael J. Becht and
                  Tim E. Bubb and
                  Carolynn G. Burwick and
                  Juergen Haess and
                  Markus M. Helms and
                  Joseph M. Hoke and
                  Thomas Schlipf and
                  Jeffrey M. Turner and
                  Hartmut Ulland and
                  Manfred H. Walz and
                  Carl H. Whitehead and
                  Gerhard Zilles},
  title        = {The structure of chips and links comprising the {IBM} eServer z990
                  {I/O} subsystem},
  journal      = {{IBM} J. Res. Dev.},
  volume       = {48},
  number       = {3-4},
  pages        = {449--460},
  year         = {2004},
  url          = {https://doi.org/10.1147/rd.483.0449},
  doi          = {10.1147/RD.483.0449},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ibmrd/ChencinskiBBBHHHSTUWWZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ibmrd/BuechnerFGHLLSW99,
  author       = {Thomas Buechner and
                  Rolf Fritz and
                  Peter Guenther and
                  Markus M. Helms and
                  Kirk D. Lamb and
                  Manfred Loew and
                  Thomas Schlipf and
                  Manfred H. Walz},
  title        = {Event monitoring in highly complex hardware systems},
  journal      = {{IBM} J. Res. Dev.},
  volume       = {43},
  number       = {5},
  pages        = {889--898},
  year         = {1999},
  url          = {https://doi.org/10.1147/rd.435.0889},
  doi          = {10.1147/RD.435.0889},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ibmrd/BuechnerFGHLLSW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ibmrd/SchlipfBFHK97,
  author       = {Thomas Schlipf and
                  Thomas Buechner and
                  Rolf Fritz and
                  Markus M. Helms and
                  Juergen Koehl},
  title        = {Formal verification made easy},
  journal      = {{IBM} J. Res. Dev.},
  volume       = {41},
  number       = {4{\&}5},
  pages        = {567--576},
  year         = {1997},
  url          = {https://doi.org/10.1147/rd.414.0567},
  doi          = {10.1147/RD.414.0567},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ibmrd/SchlipfBFHK97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.