( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Interprocedural Symbolic Evaluation of Ada Programs with Aliases.

, , и . Ada-Europe, том 1622 из Lecture Notes in Computer Science, стр. 136-145. Springer, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Johann Schmid

Johann Wallner

Johann Bauer

Johann Felden

Johann Schnapauff

 

Другие публикации лиц с тем же именем

Versuche der Compiler-Validierung., и . PEARL, том 295 из Informatik-Fachberichte, стр. 1-19. Springer, (1991)Efficient Construction of Simultaneous Deterministic Finite Automata on Multicores Using Rabin Fingerprints., , и . CoRR, (2015)Kronecker Algebra for Static Analysis of Barriers in Ada., и . Ada-Europe, том 9695 из Lecture Notes in Computer Science, стр. 145-159. Springer, (2016)FCFS-Scheduling in a Hard Real-Time Environment Under Rush-Hour Conditions., и . BIT, 32 (3): 370-383 (1992)Some Investigations on FCFS Scheduling in Hard Real Time Applications., и . J. Comput. Syst. Sci., 45 (3): 493-512 (1992)Data-Flow Frameworks for Worst-Case Execution Time Analysis.. Real Time Syst., 22 (3): 183-227 (2002)A Framework for CFG-Based Static Program Analysis of Ada Programs., , и . Ada-Europe, том 5026 из Lecture Notes in Computer Science, стр. 130-143. Springer, (2008)Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects., и . Ada-Europe, том 8454 из Lecture Notes in Computer Science, стр. 27-42. Springer, (2014)Static Partial-Order Reduction of Concurrent Systems in Polynomial Time., и . ISoLA, том 17 из Communications in Computer and Information Science, стр. 619-633. Springer, (2008)On Nonpreemptive LCFS Scheduling with Deadlines., и . J. Algorithms, 18 (1): 124-158 (1995)