Bruce Harvey Krogh

Bruce Harvey Krogh's AcademicInfluence.com Rankings

Bruce Harvey Krogh

Engineering

#5480

World Rank

#6740

Historical Rank

Electrical Engineering

#1529

World Rank

#1623

Historical Rank

Applied Physics

#1591

World Rank

#1623

Historical Rank

engineering Degrees

Download Badge

Engineering

Why Is Bruce Harvey Krogh Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Bruce Harvey Krogh's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Distributed model predictive control (2001) (1015)
Energy-efficient surveillance system using wireless sensor networks (2004) (828)
VigilNet: An integrated sensor network system for energy-efficient surveillance (2006) (587)
Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows (1990) (529)
A Survey of Petri Net Methods for Controlled Discrete Event Systems (1997) (448)
Wind Integration in Power Systems: Operational Challenges and Possible Solutions (2011) (379)
Synthesis of feedback control logic for a class of controlled Petri nets (1990) (373)
Computational techniques for hybrid system verification (2003) (354)
Integrated path planning and dynamic steering control for autonomous vehicles (1986) (287)
Lightweight detection and classification for wireless sensor networks in realistic environments (2005) (286)
Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations (1999) (273)
Synthesis of feedback control logic for discrete manufacturing systems (1991) (216)
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems (2003) (213)
Min-max feedback model predictive control for distributed control with communication (2002) (179)
Efficient Representation and Computation of Reachable Sets for Hybrid Systems (2003) (178)
A Cyber–Physical Systems Approach to Data Center Modeling and Control for Energy Efficiency (2012) (171)
The acceleration radius: a global performance measure for robotic manipulators (1988) (167)
On condition/event systems with discrete state realizations (1991) (165)
Synthesis of supervisory controllers for hybrid systems based on approximating automata (1995) (164)
High-confidence medical device software and systems (2006) (155)
Computing polyhedral approximations to flow pipes for dynamic systems (1998) (139)
Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement (2003) (122)
Path planning for mobile manipulators for multiple task execution (1991) (119)
Verification of infinite-state dynamic systems using approximate quotient transition systems (2001) (116)
Synthesis of Place Transition Nets for Simulation and Control of Manufacturing Systems (1987) (113)
Reachability Analysis of Nonlinear Differential-Algebraic Systems (2014) (107)
The Simplex architecture for safe online control system upgrades (1998) (107)
Towards formal verification of analog designs (2004) (105)
An assessment of the current status of algorithmic approaches to the verification of hybrid systems (2001) (105)
Verifying analog oscillator circuits using forward/backward abstraction refinement (2006) (104)
Hierarchical adaptive dynamic power management (2004) (97)
View Consistency in Architectures for Cyber-Physical Systems (2011) (97)
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata (2008) (96)
A cyber-physical systems approach to energy management in data centers (2010) (95)
Zonotope bundles for the efficient computation of reachable sets (2011) (89)
Modeling and Verifying Hybrid Dynamic Systems Using CheckMate (2001) (87)
Integration of Formal Analysis into a Model-Based Software Development Process (2007) (86)
Reachable set computation for uncertain time-varying linear systems (2011) (86)
Supporting Heterogeneity in Cyber-Physical Systems Architectures (2014) (81)
Reducing data center energy consumption via coordinated cooling and load management (2008) (81)
Formal verification of hybrid systems using CheckMate: a case study (2000) (78)
State aggregation in Markov decision processes (2002) (74)
Models for simulation and discrete control of manufacturing systems (1986) (74)
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction (2007) (74)
Formal verification of PLC programs (1998) (73)
Undergraduate embedded system education at Carnegie Mellon (2005) (72)
Sentry-Based Power Management in Wireless Sensor Networks (2003) (72)
Dynamic control system upgrade using the Simplex architecture (1998) (71)
Design recovery for relay ladder logic (1993) (68)
Electric power system static state estimation through Kalman filtering and load forecasting (2008) (68)
An Architectural Approach to the Design and Analysis of Cyber-Physical Systems (2009) (68)
Formal verification of phase-locked loops using reachability analysis and continuization (2011) (67)
Dynamic Field Estimation Using Wireless Sensor Networks: Tradeoffs Between Estimation Error and Communication Cost (2009) (66)
On Systematic Simulation of Open Continuous Systems (2003) (65)
Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes (2006) (64)
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models (2009) (58)
The use of simulated annealing to solve the mobile manipulator path planning problem (1990) (55)
Parameter identifiability for multi-zone building models (2012) (53)
Robustness of supervisors for discrete-event systems (1999) (52)
Petri Net Tools for the Specification and Analysis of Discrete Controllers (1990) (52)
Hybrid Systems: Computation and Control (2002) (52)
Evaluation and Time-Scaling of Trajectories for Wheeled Mobile Robots (1988) (51)
Assume-guarantee reasoning for hybrid I/O-automata by over-approximation of continuous interaction (2004) (50)
Avoiding geometric intersection operations in reachability analysis of hybrid systems (2012) (49)
On Petri net models of infinite state supervisors (1992) (49)
Dynamic generation of subgoals for autonomous mobile robots using local feedback information (1989) (49)
Verification of a Cruise Control System using Counterexample-Guided Search (2004) (48)
Reachability analysis of hybrid control systems using reduced-order models (2004) (46)
Controlled Petri nets: A tutorial survey (1994) (45)
Time Domain Verification of Oscillator Circuit Properties (2006) (44)
Reachability analysis of nonlinear systems using trajectory piecewise linearized models (2006) (43)
Using smart devices for system-level management and control in the smart grid: A reinforcement learning framework (2012) (43)
Hyperplane method for reachable state estimation for linear time-invariant systems (1991) (43)
Distributed Model Predictive Control for the Mitigation of Cascading Failures (2005) (41)
Fault detection and diagnosis in manufacturing systems: a behavioral model approach (1990) (41)
On closed-loop liveness of discrete event systems under maximally permissive control (1989) (40)
Generating test inputs for embedded control systems (2003) (40)
Stability-constrained model predictive control (2001) (39)
Refining Abstractions of Hybrid Systems Using Counterexample Fragments (2005) (38)
Essentially decision free Petri nets for real-time resource allocation (1987) (38)
Multi-domain Modeling of Cyber-Physical Systems Using Architectural Views (2010) (38)
Petri Net based Models for Condition/Event Systems (1991) (37)
Verification of Supervisory Control Software Using State Proximity and Merging (2008) (37)
Real-time multivariable control of PECVD silicon nitride film properties (1997) (36)
Multiple Source Detection and Localization in Advection-Diffusion Processes Using Wireless Sensor Networks (2009) (36)
An approach for coordinating mobility and manipulation (1989) (36)
Using theorem provers to guarantee closed-loop system properties (2012) (36)
Satisficing feedback strategies for local navigation of autonomous mobile robots (1990) (35)
A Relaxation Approach to Dynamic Sensor Selection in Large-Scale Wireless Networks (2008) (34)
Process control based on quadrupole mass spectrometry (1996) (33)
Computing Approximating Automata for a Class of Linear Hybrid Systems (1997) (32)
Estimation in sensor networks: a graph approach (2005) (31)
Condition/event signal interfaces for block diagram modeling and analysis of hybrid systems (1993) (29)
On Zone-Based Analysis of Duration Probabilistic Automata (2010) (29)
Implementation of dynamic obstacle avoidance on the CMU NavLab (1990) (29)
Formal verification of statecharts using finite-state model checkers (2006) (28)
A Kalman Filter Approach to Quasi-Static State Estimation in Electric Power Systems (2006) (28)
Symbolic verification of executable control specifications (1999) (28)
Performance bounds on state-feedback controllers with network delay (2008) (28)
On the complexity of forbidden state problems for controlled marked graphs (1991) (28)
Design recovery for relay ladder logic (1992) (28)
Augmenting Software Architectures with Physical Components (2010) (28)
On closed-loop liveness of discrete-event systems under maximally permissive control (1992) (27)
Analyzing Reachability of Linear Dynamic Systems with Parametric Uncertainties (2011) (25)
A moving horizon state estimator in the control of thermostatically controlled loads for demand response (2013) (25)
Validation & verification of intelligent and adaptive control systems (2003) (24)
Model checking in-the-loop: Finding counterexamples by systematic simulation (2008) (23)
An assume-guarantee reasoning for hierarchical coordination of discrete event systems (2002) (23)
An intelligent reactive monitoring and scheduling system (1992) (22)
Multi-Stage Rescheduling of Generation, Load Shedding and Short-Term Transmission Capacity for Emergency State Control (1983) (21)
Validation & Verification of Intelligent and Adaptive Control Systems (2004) (21)
A hierarchical approach to energy management in data centers (2010) (21)
On the computation of reference signal constraints for guaranteed tracking performance (1992) (21)
Computing Approximating Automata for a Class of Hybrid Systems (2000) (20)
Control software model checking using bisimulation functions for nonlinear systems (2008) (20)
Approximating quotient transition systems for hybrid systems (2000) (20)
Smart microgrid operation simulator for management and electrification planning (2016) (20)
An approach to leak detection using wireless sensor networks at carbon sequestration sites (2012) (19)
Programming discrete control systems using state machine templates (2006) (19)
Design of Software Rejuvenation for CPS Security Using Invariant Sets (2018) (19)
The servo-control system for an omnidirectional mobile robot (1989) (19)
Heterogeneous verification of cyber-physical systems using behavior relations (2012) (19)
Using parameters in architectural views to support heterogeneous design and verification (2011) (19)
ON-LINE FAULT DETECTION VIA TRAJECTORY ENCODING (1992) (18)
Modeling and verification of hybrid systems with clocked and unclocked events (2001) (18)
MONITORING BEHAVIORAL EVOLUTION FOR ON-LINE FAULT DETECTION (1991) (18)
Verifying switched-mode computer controlled systems (2002) (17)
Automated generation and evaluation of control programs for discrete manufacturing processes (1988) (17)
Markov decision Processes with fractional costs (2005) (17)
Synthesis of real-time supervisors for controlled time Petri nets (1993) (16)
Analysis and Verification Challenges for Cyber-Physical Transportation Systems (2008) (16)
Maximally Permissive Policies for Controlled Time Marked Graphs (1993) (16)
LMI Approach to Robust Model Predictive Control (2005) (16)
Properties of behavioral models for a class of hybrid dynamical systems (1992) (16)
Model Predictive Control of Data Centers in the Smart Grid Scenario (2011) (15)
State feedback control of condition/event systems (1996) (15)
Using verified control envelopes for safe controller design (2014) (15)
Compositional heterogeneous abstraction (2013) (14)
Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods (2003) (14)
Efficient computation of coordinating controls in hierarchical structures for failure-prone multicell flexible assembly systems (1990) (14)
Acceleration-constrained time-optimal control in n dimensions (1986) (14)
Hybrid System Verification Is not a Sinecure - the Electronic Throttle Control Case Study (2006) (14)
Supervisor Synthesis for Real-Time Discrete Event Systems (1998) (13)
Condition/Event Systems: a Powerful Paradigm for Timed and Untimed Discrete Models of Technical Systems (1995) (13)
Logical analysis and control of time Petri nets (1992) (13)
Boolean Condition/Event Systems: Computational Representation and Algorithms (1993) (13)
Feedback control of overloaded networks (1984) (13)
Control-Based Modeling and Simulation of the Chemical-Looping Combustion Process (2010) (13)
Decentralized robust frequency control for power systems subject to wind power variability (2011) (12)
Context-Dependent Agents for Real-Time Scheduling in Manufacturing Systems (2002) (12)
Robust control design for frequency regulation in power systems with high wind penetration (2010) (12)
Switching Controllers Based on Neural Network: Estimates of Stability Regions and Controller Performance (1998) (12)
Design of robust supervisors for discrete event systems with infinite behaviors (1996) (12)
Hybrid Systems: Modeling and Supervisory Control (1999) (11)
Guaranteed Steering Control (1985) (11)
Modeling and Control of Assembly Tasks and Systems (1985) (11)
Automatic Programming of Controllers for Discrete Manufacturing Processes (1987) (11)
An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems (2005) (11)
Adaptive control of Markov chains with average cost (2001) (11)
Estimation in virtual sensor-actuator arrays using reduced-order physical models (2004) (11)
Validation and Verification of Intelligent and Adaptive Control Systems (VVIACS) (2004) (11)
Dynamic steering control of conventionally steered mobile robots (1991) (11)
Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis (2001) (11)
An interactive control systems simulator (1986) (10)
Concurrent operation specification language, COSL, for low-level manufacturing control (1989) (10)
Secure Networked Control via Software Rejuvenation (2019) (10)
Using neural networks to estimate regions of stability (1997) (10)
On-Line Trajectory Encoding for Discrete-Observation Process Monitoring (1992) (9)
Stability regions for systems with mode transitions (2001) (9)
Industry needs for embedded control education (2005) (9)
On Control with Bounded Computational Resources (2002) (9)
Formal verification of phase-locked loops using reachability analysis and continuization (2013) (9)
Refinements of Approximating Automata for Synthesis of Supervisory Controllers for Hybrid Systems (1996) (9)
Managing Verification Activities Using SVM (2004) (9)
Stability constrained model predictive control for nonlinear systems (1997) (8)
Integration of behavioral fault-detection models and an intelligent reactive scheduler (1991) (8)
A New Approach to Guaranteed Stability for Receding Horizon Control (1996) (8)
Stochastic Simulator for Smart Microgrid Planning (2016) (7)
Decentralized identification of building models (2014) (7)
Hybrid Systems: Computation and Control: Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings (2000) (7)
Modeling and analysis of switched-mode hybrid systems driven by threshold events (1996) (7)
Dynamic steering control of conventionally-steered mobile robots (1990) (7)
Simulating energy management strategies for microgrids with smart meter demand management (2017) (7)
Formal Verification of Autonomous Systems NASA Intelligent Systems Program (2001) (7)
Kinematics and open-loop control of an ilonator-based mobile platform (1985) (7)
Efficient Synthesis of Control Logic for a Class of Discrete Event Systems (1989) (7)
Allocation of Generation Ramping to Reduce Transmission Line Overloads (1983) (6)
Reachability Analysis for Affine Systems Using ε-Decomposition (2005) (6)
Software Rejuvenation Under Persistent Attacks in Constrained Environments (2020) (6)
The Situation Assessment Problem: Toward a Research Agenda (1999) (6)
Design of sensitivity-reducing compensators using observers (1978) (6)
Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control (2000) (6)
Safety and Liveness of Software Rejuvenation for Secure Tracking Control (2019) (6)
Stability-constrained model predictive control with state estimation (1997) (6)
Min-max feedback model predictive control with state estimation (2005) (6)
Switching control in multi-mode Markov decision processes (2001) (5)
Distributed coordination in multi-agent control systems through model predictive control (2003) (5)
Saturation-induced instability in electric power systems (2008) (5)
Maneuverability constraints for supervisory steering control (1985) (5)
From Analysis to Design (2007) (5)
A robust satisficing feedback strategy for autonomous navigation (1989) (5)
Passivity-based robust control for power systems subject to wind power variability (2011) (5)
On fairness and conflicts in Petri nets (1989) (5)
Mode-matching control policies for multi-mode Markov decision processes (2001) (5)
Secure Networked Control for Decentralized Systems via Software Rejuvenation (2020) (5)
Saturation-induced frequency instability in electric power systems (2008) (5)
Approximating Hybrid System Dynamics for Analysis and Control (Abstract) (1999) (5)
Forward invariant cuts to simplify proofs of safety (2015) (5)
Prototype software for automatic generation of on-line control programs for discrete manufacturing processes (1987) (5)
Verifying asymptotic bounds for discrete-time sliding mode systems with disturbance inputs (2004) (5)
Symbolic Simulation Based Techniques for Debugging Discrete Control Programs (1996) (4)
Recent advances in discrete analysis and control of hybrid systems (2002) (4)
A tool for assessing demand side management and operating strategies for isolated microgrids (2021) (4)
Heterogeneous verification of embedded control systems (2006) (4)
Modeling and Ver ification of Sampled-Data Hybr id Systems (2000) (4)
CACHE: An Interactive Control System Analysis and Design Package (1985) (4)
DEPENDABLE SOFTWARE IN RAILWAY SIGNALLING (2005) (4)
Numerically-aided Deductive Safety Proof for a Powertrain Control System (2015) (3)
Nonlinear stability-constrained model predictive control with input and state constraints (1998) (3)
Hybrid System Verification Is Not a Sinecure: The Electronic Throttle Control Case Study (2004) (3)
Decentralized Event-Triggered Control in the Presence of Adversaries (2020) (3)
Formal verification of Statecharts using finite-state model checkers (2001) (3)
Object Oriented Analysis of Groupware Applications (1996) (3)
Supervisory Control of Hybrid Systems Using Approximating Hybrid Automata (1999) (3)
A New Logic Programming Framework for Heterogeneous Verification of Embedded Control Systems (2007) (3)
Inner Source Identification for Field Estimation in Wireless Sensor Networks (2006) (3)
Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems (abstract) (1999) (3)
Towards Formal Verification of Analog and Mixed-Signal Designs (2003) (3)
Validation & Verification for Emerging Avionic Systems (2006) (3)
Synthesis of Feedback Control for Forbidden State Problems in Discrete Manufacturing Systems (1989) (3)
Robust Software Rejuvenation for CPS with State Estimation and Disturbances (2020) (2)
Computing exact automaton representations for a class of hybrid systems (1996) (2)
Modeling, Design, and Simulation of Systems with Uncertainties (2011) (2)
Resilient Control in the Presence of Man-in-the-Middle Attacks (2021) (2)
Dependency tracking in real-time fault-tolerant systems (2000) (2)
Application of supervisor synthesis for controlled time Petri nets to real-time database systems (1994) (2)
Hierarchical modeling of mode-switching systems (2007) (2)
Large-scale source localization with a wireless sensor network application (2011) (2)
Reducing Attack Vulnerabilities Through Decentralized Event-Triggered Control (2021) (2)
Controller scheduling by neural networks (1997) (2)
Hierarchical control structures for multi-cell flexible assembly system co-ordination (1987) (2)
Reference Signal Derivative Constraints for Guaranteed Tracking Performance (1989) (2)
System Identification Methods for Plasma Enhanced Chemical Vapor Deposition (1996) (2)
Verification Tools for Embedded Systems (2001) (1)
An Architectural Approach to Managing Heterogeneous Models for Automotive Control System Design Position submitted to Auto-CPS 2010 (2010) (1)
Software Rejuvenation for Secure Tracking Control (2018) (1)
Model Checking Control Software for Nonlinear Dynamic Systems (2008) (1)
Multi-Mode Markov Decision Processes (2001) (1)
Petri net analysis of a transfer-line protocol (1990) (1)
Synthesizing Supervisory Controllers for Hybrid Systems (ミニ特集ハイブリッドなシステムの制御) (1999) (1)
Model Checking InThe-Loop (2007) (1)
Hybrid Systems : State of the Art and Perspectives (2000) (1)
Control input synthesis for hybrid systems using informed search (2004) (1)
Simulation Testing Of Rate Allocation Control To Relieve Transmission Overloads During Emergencies (1984) (1)
Hybrid Systems Applications: An Oxymoron? (2001) (1)
Architectural Modeling and Analysis of Cyber-Physical Systems (2010) (1)
R-TICS: a real-time infrastructure for control systems (1994) (1)
Control of Hybrid Systems. Synthesizing Supervisory Controllers for Hybrid Systems. (1999) (1)
On-Line Evaluation of Systems with Discrete Observations (1991) (1)
The segment method as an alternative to minimax in hypothesis testing (1982) (1)
Topic: Emerging V&V Tools, Techniques, and Processes for Complex Systems Title: Multi-View Consistency in Architectures for Cyber-Physical Systems Authors: (2011) (0)
Runtime System Support for CPS Software Rejuvenation (2023) (0)
Software Rejuvenation for Safe Operation of Cyber–Physical Systems in the Presence of Run-Time Cyberattacks (2023) (0)
resentations for a C ass of Hybri Systems (1996) (0)
An alternative to minimax for designing binary decision rules (1982) (0)
Supporting Heterogeneity in Cyber-Physical (2014) (0)
Title : CPS : Medium : GOALI : An Architecture Approach to Heterogeneous Verification of Cyber-Physical Systems ( Award # 1035800 ) Authors : (2013) (0)
Interconnection of Heterogeneous CPS Models Through Architectural Views (2012) (0)
Training guidelines for neural networks to estimate stability regions (1999) (0)
An Integrated Rule-Based/Algorithmic Architecture for On-Line Process Monitoring and Reactive Control (1992) (0)
Dynamic Sensing and Multi-Task Performance with a Mobile Manipulator System (1991) (0)
Controlled Petri Nets : A Tutorial (1994) (0)
Three Problem Areas Common to Autonomous and Embedded System (2001) (0)
Simulation Testing of Rate Allocation Control to Relieve Transmission Overloads During Emergencies (1984) (0)
Task Automation by Interpreting User Intent (2001) (0)
Scheduling and Coordination of Multiple Dynamic Systems. (1979) (0)
AFRL-IF-WP-TM-2002-1567 THE CARNEGIE MELLON UNIVERSITY INSERT PROJECT (0)
Controller Scheduling Using Neural Networks: Implementation and Experimental Results (1997) (0)
ACTL strong negation and its application to hybrid systems verification (2004) (0)
On a canonical form in "Design of sensitivity reducing compensators using observers" (1979) (0)
Supervisor Synthesis for Discrete Event Systems with Finite and Infinite Specifications (1998) (0)
Models and Control Strategies for Data Centers in the Smart Grid (2012) (0)
Complexity of verification of event order in max-algebra models (2002) (0)
Reachability analysis using proximity based automata (2004) (0)
THE ELECTRONIC THROTTLE CONTROL CASE STUDY∗ (2006) (0)
EOLC : Efficiently Modelling Inconsistency for Commonsense Reasoning (2006) (0)
Frameworks and Tools for High-Confidence Design of Adaptive, Distributed Embedded Control Systems. Multi-University Research Initiative on High-Confidence Design for Distributed Embedded Systems (2009) (0)
Applications of Control Theory in Modern Power Systems-A Tutorial Dedicated to Dr . Joe Chow ’ s 60 th Birthday (0)
On incrementally bounded systems (2010) (0)
Constraint Generation for Trajectory Planning Systems (1990) (0)
MODIFIED PETRI NETS FOR HIERARCHICAL SIMULATION AND CONTROL OF MANUFACTURING SYSTEMS. (1985) (0)
Using Continuization in Reachability Analysis for the Verification of a Phase-Locked Loop (2011) (0)
RECURRENT NEURAL NETWORK MODELS OF MULTIVARIABLE DYNAMIC SYSTEMS: NUMERICAL METHODS AND EXPERIMENTAL EVALUATION By (1995) (0)
On the operator Post/sup -1/ (2002) (0)
Performance characterization and controller scheduling for dynamic systems using neural networks (1998) (0)
Discrete events, hybrid systems and control (1995) (0)
Model Reduction for Verification of Hybrid Systems (1987) (0)
Electronic Communications of the EASST Volume 21 ( 2009 ) Proceedings of the 3 rd International Workshop on Multi-Paradigm Modeling ( MPM 2009 ) An Architectural Approach to the Design and Analysis of Cyber-Physical Systems (2007) (0)
Reducing Attack Opportunities Through Decentralized Event-Triggered Control (2022) (0)
Constraint Maintenance and Transformation Based Design for High-Assurance Software and Systems (2005) (0)
The Carnegie Mellon University Insert Project (1997) (0)
Ensuring Resilience Against Stealthy Attacks on Cyber-Physical Systems (2022) (0)
Modeling and Control of Overloaded Transmission Networks (1982) (0)
Incremental Software Evolution for Real-Time Systems (INSERT) (2001) (0)

This paper list is powered by the following services:

What Schools Are Affiliated With Bruce Harvey Krogh?

Bruce Harvey Krogh is affiliated with the following schools:

Carnegie Mellon University

Bruce Harvey Krogh's Academic­Influence.com Rankings

Why Is Bruce Harvey Krogh Influential?

Bruce Harvey Krogh's Published Works

Published Works

What Schools Are Affiliated With Bruce Harvey Krogh?

Bruce Harvey Krogh's AcademicInfluence.com Rankings