349 results on '"HABERMEHL, PETER"'
Search Results
52. Augustinus, Aurelius
53. Parmenides
54. Robert Bracht Branham: Inventing the Novel. Bakhtin and Petronius Face to Face.
55. Petron
56. Boethius
57. Ordered Navigation on Multi-attributed Data Words
58. Learning Transparent Data Automata
59. Empedokles
60. Clemens von Alexandria (d. i. Titus Flavius Clemens)
61. Boethius
62. Zenon von Elea
63. Origenes
64. Anaximander
65. Forest automata for verification of heap manipulation
66. Abstract regular (tree) model checking
67. Programs with lists are counter automata
68. Automata-based verification of programs with tree updates
69. Verification of parametric concurrent systems with prioritised FIFO resource management
70. Bellum civile (Sat. 119–124)
71. A Fresh Approach to Learning Register Automata
72. Forest Automata for Verification of Heap Manipulation
73. On the Use of Non-deterministic Automata for Presburger Arithmetic
74. The Downward-Closure of Petri Net Languages
75. Abstract Regular Tree Model Checking
76. Realizability of Concurrent Recursive Programs
77. Automatic Verification of Integer Array Programs
78. A Logic of Singly Indexed Arrays
79. What Else Is Decidable about Integer Arrays?
80. When Good Intentions Go Bad—False Positive Microplastic Detection Caused by Disposable Gloves
81. Sat. 111–118
82. Lukan 1,227: credidimus pactis
83. A Poetical Shipwreck?: Petronius’Bellum Civileand the Tricky Question: How to start a ‘Civil War’?
84. Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
85. Programs with Lists Are Counter Automata
86. Automata-Based Verification of Programs with Tree Updates
87. Regular Model Checking Using Inference of Regular Languages
88. Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking
89. Perpetua und der Ägypter oder Bilder des Bösen im frühen afrikanischen Christentum
90. Counting in Trees for Free
91. Abstract Regular Model Checking
92. Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management
93. Automatic Verification of Recursive Procedures with One Integer Parameter
94. Xenophanes
95. Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis
96. Evaluation of the Immunogenicity and Reactogenicity of a DTPa-HBV-IPV Combination Vaccine Co-administered with a Hib Conjugate Vaccine Either as a Single Injection of a Hexavalent Combination or as Two Separate Injections at 3, 5 and 11 Months of Age
97. Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
98. On the complexity of the linear-time μ-calculus for Petri Nets
99. Automatic verification of recursive procedures with one integer parameter
100. Constrained properties, semilinear systems, and Petri nets
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.