Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/icse/HorvathSGKP18,
  author       = {G{\'{a}}bor Horv{\'{a}}th and
                  P{\'{e}}ter Sz{\'{e}}csi and
                  Zolt{\'{a}}n Gera and
                  D{\'{a}}niel Krupp and
                  Norbert Pataki},
  title        = {Implementation and evaluation of cross translation unit symbolic execution
                  for {C} family languages},
  booktitle    = {{ICSE} (Companion Volume)},
  pages        = {428},
  publisher    = {{ACM}},
  year         = {2018}
}

@article{DBLP:journals/bioinformatics/KruppMSGCT12,
  author       = {Markus Krupp and
                  Jens U. Marquardt and
                  Ugur Sahin and
                  Peter R. Galle and
                  John C. Castle and
                  Andreas Teufel},
  title        = {RNA-Seq Atlas - a reference database for gene expression profiling
                  in normal tissue by next-generation sequencing},
  journal      = {Bioinform.},
  volume       = {28},
  number       = {8},
  pages        = {1184--1185},
  year         = {2012}
}

@inproceedings{DBLP:conf/iros/PrattKRRKNSCTWNJSBCCH09,
  author       = {Jerry E. Pratt and
                  Benjamin T. Krupp and
                  Victor Ragusila and
                  John R. Rebula and
                  Twan Koolen and
                  Niels van Nieuwenhuizen and
                  Christopher Shake and
                  Travis Craig and
                  John Taylor and
                  Greg Watkins and
                  Peter D. Neuhaus and
                  Matthew Johnson and
                  Steve Shooter and
                  Keith W. Buffinton and
                  Fabian Canas and
                  John Carff and
                  William Howell},
  title        = {The Yobotics-IHMC Lower Body Humanoid Robot},
  booktitle    = {{IROS}},
  pages        = {410--411},
  publisher    = {{IEEE}},
  year         = {2009}
}

@inproceedings{DBLP:conf/isorc/SquadritoEDWCTKMJ98,
  author       = {Michael Squadrito and
                  Levon Esibov and
                  Lisa Cingiser DiPippo and
                  Victor Fay Wolfe and
                  Gregory Cooper and
                  Bhavani Thuraisingham and
                  Peter C. Krupp and
                  Michael Milligan and
                  Russell Johnston},
  title        = {Concurrency Control in Real-Time Object-Oriented Systems: The Affected
                  Set Priority Ceiling Protocols},
  booktitle    = {{ISORC}},
  pages        = {96--105},
  publisher    = {{IEEE} Computer Society},
  year         = {1998}
}

@inproceedings{DBLP:conf/rtdb/GinisHWTKM97,
  author       = {Roman Ginis and
                  Eric Hughes and
                  Steven Wohlever and
                  Bhavani Thuraisingham and
                  Peter C. Krupp and
                  John A. Maurer},
  title        = {Object-Oriented Data Management and Distribution for Real-Time Command
                  and Control Systems},
  booktitle    = {{RTDB}},
  pages        = {77},
  publisher    = {Kluwer Academic Publishers},
  year         = {1997}
}

@inproceedings{DBLP:conf/vldb/GinisHKMT97,
  author       = {Eric Hughes and
                  Roman Ginis and
                  Bhavani Thuraisingham and
                  Peter C. Krupp and
                  John A. Maurer},
  title        = {Data Manager for Evolvable Real-time Command and Control Systems},
  booktitle    = {{VLDB}},
  pages        = {558--561},
  publisher    = {Morgan Kaufmann},
  year         = {1997}
}

@inproceedings{DBLP:conf/words/GatesKMSTW97,
  author       = {Mike Gates and
                  Peter C. Krupp and
                  John A. Maurer and
                  Michael Squadrito and
                  Bhavani M. Thuraisingham and
                  Thomas Wheeler},
  title        = {Object technology for the integration of the infrastructure, data
                  manager, and tracker for command and control applications},
  booktitle    = {{WORDS}},
  pages        = {117--128},
  publisher    = {{IEEE} Computer Society},
  year         = {1997}
}

@inproceedings{DBLP:conf/cikm/ThuraisinghamHK96,
  author       = {Bhavani Thuraisingham and
                  Eric Hughes and
                  Peter C. Krupp and
                  Gary Gengo and
                  Alice Schafer and
                  Michael Squadrito},
  title        = {Active real-time database management for command {\&} control
                  applications},
  booktitle    = {DART@CIKM},
  pages        = {73--76},
  publisher    = {{ACM}},
  year         = {1996}
}

@inproceedings{DBLP:conf/iceccs/ThuraisinghamKKSGWBSS96,
  author       = {Bhavani Thuraisingham and
                  Arkady Kanevsky and
                  Peter C. Krupp and
                  Alice Schafer and
                  Mike Gates and
                  Thomas Wheeler and
                  Edward H. Bensley and
                  Ruth Ann Sigel and
                  Michael Squadrito},
  title        = {Evolvable Real-Time {C3} Systems-II: Real-Time Infrastructure Requirements},
  booktitle    = {{ICECCS}},
  pages        = {473--482},
  publisher    = {{IEEE} Computer Society},
  year         = {1996}
}

@inproceedings{DBLP:conf/words/BensleyKSSTW96,
  author       = {Edward H. Bensley and
                  Peter C. Krupp and
                  Ruth Ann Sigel and
                  Michael Squadrito and
                  Bhavani Thuraisingham and
                  Thomas Wheeler},
  title        = {Object-oriented implementation of an infrastructure and data manager
                  for real-time command and control systems},
  booktitle    = {{WORDS}},
  pages        = {201--209},
  publisher    = {{IEEE} Computer Society},
  year         = {1996}
}

@inproceedings{DBLP:conf/words/ThuraisinghamKW96,
  author       = {Bhavani Thuraisingham and
                  Peter C. Krupp and
                  Victor Fay Wolfe},
  title        = {On real-time extensions to object request brokers: a panel position
                  paper},
  booktitle    = {{WORDS}},
  pages        = {182--185},
  publisher    = {{IEEE} Computer Society},
  year         = {1996}
}

@inproceedings{DBLP:conf/iceccs/BensleyFGHKKKST95,
  author       = {Edward H. Bensley and
                  Lawrence Fisher and
                  Mike Gates and
                  James Houchens and
                  Arkady Kanevsky and
                  Soohee Kim and
                  Peter C. Krupp and
                  Alice Schafer and
                  Bhavani Thuraisingham},
  title        = {Evolvable real-time {C3} systems},
  booktitle    = {{ICECCS}},
  pages        = {153},
  publisher    = {{IEEE} Computer Society},
  year         = {1995}
}

@inproceedings{DBLP:conf/rtas/GamesKKM95,
  author       = {Richard Games and
                  Arkady Kanevsky and
                  Peter C. Krupp and
                  Leonard Monk},
  title        = {Real-time communications scheduling for massively parallel processors},
  booktitle    = {{IEEE} Real Time Technology and Applications Symposium},
  pages        = {76--85},
  publisher    = {{IEEE} Computer Society},
  year         = {1995}
}

@inproceedings{DBLP:conf/rtas/KanevskyKW95,
  author       = {Arkady Kanevsky and
                  Peter C. Krupp and
                  Paul J. Wallace},
  title        = {Paradigm for building robust real-time distributed mission-critical
                  systems},
  booktitle    = {{IEEE} Real Time Technology and Applications Symposium},
  pages        = {33--40},
  publisher    = {{IEEE} Computer Society},
  year         = {1995}
}