27 results on '"Dominik Klumpp"'
Search Results
2. Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution).
3. Commutativity Simplifies Proofs of Parameterized Programs.
4. Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution).
5. Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution).
6. Stratified Commutativity in Verification Algorithms for Concurrent Programs.
7. Sound sequentialization for concurrent program verification.
8. Ultimate GemCutter and the Axes of Generalization - (Competition Contribution).
9. Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version).
10. Commutativity Simplifies Proofs of Parameterized Programs.
11. Verification of Concurrent Programs Using Petri Net Unfoldings.
12. $\mathbb {K}$ and KIV: Towards Deductive Verification for Arbitrary Programming Languages.
13. Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems.
14. Optimising Runtime Safety Analysis Efficiency for Self-Organising Systems.
15. Ultimate Automizer and the CommuHash Normal Form
16. Ultimate GemCutter and the Axes of Generalization
17. Verification of Concurrent Programs Using Petri Net Unfoldings
18. TRPM8 is required for survival and radioresistance of glioblastoma cells
19. The radioprotector ortho-phospho- L -tyrosine (pTyr) attenuates the side effects of fractionated irradiation in retinoblastoma mouse models but also decreases the local tumour control
20. K+ channel signaling in irradiated tumor cells
21. Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems
22. Actomyosin contractility and RhoGTPases affect cell-polarity and directional migration during haptotaxis
23. K
24. Role of ion channels in ionizing radiation-induced cell death
25. Ionizing radiation, ion transports and radioresistance of cancer cells
26. Kv3.4 potassium channel-mediated electrosignaling controls cell cycle and survival of irradiated leukemia cells
27. EP-1840: BK K+ channels regulate migration of irradiated glioblastoma cells by modifying the Ca2+ signaling
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.