Heinz Schmidt
- Elevated neutrophil and monocyte counts in peripheral blood are associated with poor survival in patients with metastatic melanoma: a prognostic model
2005/07/19 by Heinz Schmidt, H Schmidt, Lars Bastholt +11 · 26 citations
Medicine · Immunology and Microbiology · #Inflammatory Biomarkers in Disease Prognosis #Chemokine receptors and signaling #Immune cells in cancer
- How to Bake Quantum into Your Pet Petri Nets and Have Your Net Theory\n Too
2021/06/04 by Heinz Schmidt, Schmidt, Heinz W. · 2 citations
Computer Science · Decision Sciences · #C.1.4 #D.2 #D.2.11 #Distributed #Distributed systems and fault tolerance #E.1 #Emerging Technologies (cs.ET) #F.1.1 #F.3.2 #FOS: Computer and information sciences #G.2.2 #G.2.3 #I.6 #Parallel #Scientific Computing and Data Management #Service-Oriented Architecture and Web Services #Software Engineering (cs.SE) #and Cluster Computing (cs.DC)
- Human Factors in Software Reliability Engineering
2015/03/12 by Maria Spichkova, Huai Liu, Spichkova, Maria +5 · 1 citation
Computer Science · Decision Sciences · #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Risk and Safety Analysis #Software Engineering (cs.SE) #Software Engineering Techniques and Practices #Software Reliability and Analysis Research
- BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems
2014/04/14 by Jan Olaf Blech, Heinz Schmidt, Blech, Jan Olaf +1 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Robotic Path Planning Algorithms #Software Engineering (cs.SE)