Search


Start a new search
Add filters:

Use filters to refine the search results.


Results 2181-2190 of 2314 (Search time: 0.01 seconds).
Item hits:
Issue DateTitleAuthor(s)
17-May-2023Dialectical Argument Game Proof Theories for Classical LogicCastagna, F
24-Apr-2024Secure State Estimation for Artificial Neural Networks With Unknown-But-Bounded Noises: A Homomorphic Encryption SchemeZhu, K; Wang, Z; Ding, D; Dong, H; Xu, C-Z
24-Feb-2022A Small-Sized Object Detection Oriented Multi-Scale Feature Fusion Approach with Application to Defect DetectionZeng, N; Wu, P; Wang, Z; Li, H; Liu, W; Liu, X
10-Apr-2024Set-Membership State Estimation for Multirate Nonlinear Complex Networks Under FlexRay Protocols: A Neural-Network-Based ApproachShen, Y; Wang, Z; Dong, H; Liu, H; Chen, Y
18-Jun-2024Semgrep∗: Improving the Limited Performance of Static Application Security Testing (SAST) ToolsBennett, G; Hall, T; Winter, E; Counsell, S
24-Oct-2024Do Developers Use Static Application Security Testing (SAST) Tools Straight Out of the Box? A large-scale Empirical StudyBennett, G
16-Feb-2022Let's Talk with Developers, Not about Developers: A Review of Automatic Program Repair ResearchWinter, E; Nowack, V; Bowes, D; Counsell, S; Hall, T; Haraldsson, S; Woodward, J
7-Nov-2022Towards developer-centered automatic program repair: findings from BloombergWinter, ER; Nowack, V; Bowes, D; Counsell, S; Hall, T; Haraldsson, S; Woodward, J; Kirbas, S; Windels, E; McBello, O; Atakishiyev, A; Kells, K; Pagano, M
5-Apr-2021On the Introduction of Automatic Program Repair in BloombergKirbas, S; Windels, E; Mcbello, O; Kells, K; Pagano, M; Szalanski, R; Nowack, V; Winter, ER; Counsell, S; Bowes, D; Hall, T; Haraldsson, S; Woodward, J
6-Sep-2023The Paradox of Analysing Gender-Based DataCounsell, S; Winter, E; Hall, T; Nowack, V