search result

Cover von Special issue on SAS '96
selected papaers of the third International static analysis symposium, 24 - 26 September 1996, Aachen, Germany
Search for this author
Year: 1999
Publisher: Amsterdam, Elsevier
Series: Science of computer programming : 35. 1999, 2/3
Media group: SPECIAL ISSUE
Cover von A Block-Coordinate Descent EMO Algorithm
Theoretical and Empirical Analysis : article in GECCO '24: Proceedings of the Genetic and Evolutionary Computation Conference
Search for this author
Year: 2024
Publisher: New York, ACM
Media group: ARTICLE
Cover von Interleaved Weighted Round-Robin
A Network Calculus Analysis : article in 2020 32nd International Teletraffic Congress (ITC 32)
Search for this author
Year: 2020
Publisher: Los Alamitos, IEEE
Media group: ARTICLE
Cover von pymwp
A Static Analyzer Determining Polynomial Growth Bounds : article in ATVA 2023 : Automated Technology for Verification and Analysis
Search for this author
Year: 2023
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 14216 : article
Media group: ARTICLE
Cover von Average-case
analysis of algorithms : 03.07. - 07.07.95 (9527)
Search for this author
Year: 1996
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 119
Media group: DAGSTUHL-SEMINAR-REP
Cover von Average-Case
analysis of algorithms : 12.07. - 16.07.93 (9328)
Search for this author
Year: 1993
Publisher: Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 68
Media group: DAGSTUHL-SEMINAR-REP
Cover von Fast and Reliable Formal Verification of Smart Contracts with the Move Prover
article in International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS 2022
Search for this author
Year: 2022
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 13243 : article
Media group: ARTICLE
Cover von Qilin

Qilin

A New Framework For Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
Year: 2022
Media group: LIPIcs
Cover von Visualization of Biological Data; 9
From Analysis toCommunicationgnitive Approaches for the Semantic Web : pp. 1-27
Search for this author
Year: 2022
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 9
Media group: DAGSTUHL REPORT
Cover von Viral Transcript Alignment
article in "ICDAR 2015, International Conference on Document Analysis and Recognition" : 5 pp.
Search for this author
Year: 2015
Publisher: Los Alamitos, IEEE
Media group: ARTICLE
OPEN V 11.1.0.0