|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 126 occurrences of 90 keywords
|
|
|
|
|
Results
Found 419 publication records. Showing 416 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 24 | Jason Breck, John Cyphert, Zachary Kincaid, Thomas W. Reps |
Templates and Recurrences: Better Together.  |
CoRR  |
2020 |
DBLP BibTeX RDF |
|
| 24 | Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps |
A Dataset of Dockerfiles. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 24 | Goutham Ramakrishnan, Jordan Henkel, Zi Wang, Aws Albarghouthi, Somesh Jha, Thomas W. Reps |
Semantic Robustness of Models of Source Code. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 24 | Michael Vaughn, Thomas W. Reps |
A Generating-Extension-Generator for Machine Code. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 24 | Uwe Aickelin, Jenna Marie Reps, Peer-Olaf Siebers, Peng Li |
Using simulation to incorporate dynamic criteria into multiple criteria decision-making. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 24 | Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps |
Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 24 | Luis H. John, Jan A. Kors, Jenna Marie Reps, Patrick B. Ryan, Peter R. Rijnbeek |
How little data do we need for patient-level prediction? |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 24 | Di Wang 0017, Jan Hoffmann 0002, Thomas W. Reps |
Tail Bound Analysis for Probabilistic Programs via Central Moments. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 24 | Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps |
Learning from, Understanding, and Supporting DevOps Artifacts for Docker. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 24 | Jason Breck, John Cyphert, Zachary Kincaid, Thomas W. Reps |
Templates and recurrences: better together. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 24 | Yuanbo Li, Qirun Zhang, Thomas W. Reps |
Fast graph simplification for interleaved Dyck-reachability. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 24 | Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps |
Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 24 | Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps |
Learning from, understanding, and supporting DevOps artifacts for docker. |
ICSE |
2020 |
DBLP DOI BibTeX RDF |
|
| 24 | Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps |
A Dataset of Dockerfiles. |
MSR |
2020 |
DBLP DOI BibTeX RDF |
|
| 24 | John Cyphert, Jason Breck, Zachary Kincaid, Thomas W. Reps |
Refinement of path expressions for static analysis. |
Proc. ACM Program. Lang. |
2019 |
DBLP DOI BibTeX RDF |
|
| 24 | Zachary Kincaid, Jason Breck, John Cyphert, Thomas W. Reps |
Closed forms for numerical loops. |
Proc. ACM Program. Lang. |
2019 |
DBLP DOI BibTeX RDF |
|
| 24 | Di Wang 0017, Jan Hoffmann 0002, Thomas W. Reps |
A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism. |
MFPS |
2019 |
DBLP DOI BibTeX RDF |
|
| 24 | Tushar Sharma, Thomas W. Reps |
A new abstraction framework for affine transformers. |
Formal Methods Syst. Des. |
2019 |
DBLP DOI BibTeX RDF |
|
| 24 | Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps |
Enabling Open-World Specification Mining via Unsupervised Learning. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 24 | Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps |
Proving Unrealizability for Syntax-Guided Synthesis. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 24 | Jenna Marie Reps, Peter R. Rijnbeek, Patrick B. Ryan |
Supplementing claims data analysis using self-reported data to develop a probabilistic phenotype model for current smoking status. |
J. Biomed. Informatics |
2019 |
DBLP DOI BibTeX RDF |
|
| 24 | Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps |
Proving Unrealizability for Syntax-Guided Synthesis. |
CAV (1) |
2019 |
DBLP DOI BibTeX RDF |
|
| 24 | Noémie Elhadad, Iñigo Urteaga, Alison Callahan, Jenna Reps, Patrick B. Ryan |
Learning Across a Healthcare Data Network to Improve Model Robustness and Evidence Reliability. |
AMIA |
2019 |
DBLP BibTeX RDF |
|
| 24 | Zachary Kincaid, John Cyphert, Jason Breck, Thomas W. Reps |
Non-linear reasoning for invariant synthesis. |
Proc. ACM Program. Lang. |
2018 |
DBLP DOI BibTeX RDF |
|
| 24 | Uwe Aickelin, Jenna Marie Reps, Peer-Olaf Siebers, Peng Li |
Using simulation to incorporate dynamic criteria into multiple criteria decision-making. |
J. Oper. Res. Soc. |
2018 |
DBLP DOI BibTeX RDF |
|
| 24 | Jenna Marie Reps, Martijn J. Schuemie, Marc A. Suchard, Patrick B. Ryan, Peter R. Rijnbeek |
Design and implementation of a standardized framework to generate and evaluate patient-level prediction models using observational healthcare data. |
J. Am. Medical Informatics Assoc. |
2018 |
DBLP DOI BibTeX RDF |
|
| 24 | Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps |
Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 24 | Thomas W. Reps |
Program Analyses Using Newton's Method (Invited Paper). |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 24 | Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps |
Code vectors: understanding programs through embedded abstracted symbolic traces. |
ESEC/SIGSOFT FSE |
2018 |
DBLP DOI BibTeX RDF |
|
| 24 | Di Wang 0017, Jan Hoffmann 0002, Thomas W. Reps |
PMAF: an algebraic framework for static analysis of probabilistic programs. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
| 24 | Venkatesh Srinivasan, Ara Vartanian, Thomas W. Reps |
Model-assisted machine-code synthesis. |
Proc. ACM Program. Lang. |
2017 |
DBLP DOI BibTeX RDF |
|
| 24 | Bram Reps, Tobias Weinzierl |
Complex Additive Geometric Multilevel Solvers for Helmholtz Equations on Spacetrees. |
ACM Trans. Math. Softw. |
2017 |
DBLP DOI BibTeX RDF |
|
| 24 | William R. Harris, Somesh Jha, Thomas W. Reps, Sanjit A. Seshia |
Program synthesis for interactive-security systems. |
Formal Methods Syst. Des. |
2017 |
DBLP DOI BibTeX RDF |
|
| 24 | Matthew Amodio, Swarat Chaudhuri, Thomas W. Reps |
Neural Attribute Machines for Program Generation. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 24 | Vineeth Kashyap, David Bingham Brown, Ben Liblit, David Melski, Thomas W. Reps |
Source Forager: A Search Engine for Similar Source Code. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 24 | Thomas W. Reps, Emma Turetsky, Prathmesh Prabhu |
Newtonian Program Analysis via Tensor Product. |
ACM Trans. Program. Lang. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
| 24 | Quentin Carbonneaux, Jan Hoffmann 0002, Thomas W. Reps, Zhong Shao |
Automated Resource Analysis with Coq Proof Objects. |
CAV (2) |
2017 |
DBLP DOI BibTeX RDF |
|
| 24 | Yu Feng 0001, Ruben Martins, Yuepeng Wang 0001, Isil Dillig, Thomas W. Reps |
Component-based synthesis for complex APIs. |
POPL |
2017 |
DBLP DOI BibTeX RDF |
|
| 24 | David Bingham Brown, Michael Vaughn, Ben Liblit, Thomas W. Reps |
The care and feeding of wild-caught mutants. |
ESEC/SIGSOFT FSE |
2017 |
DBLP DOI BibTeX RDF |
|
| 24 | Zachary Kincaid, Jason Breck, Ashkan Forouhi Boroujeni, Thomas W. Reps |
Compositional recurrence analysis revisited. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
| 24 | Tushar Sharma, Thomas W. Reps |
A New Abstraction Framework for Affine Transformers. |
SAS |
2017 |
DBLP DOI BibTeX RDF |
|
| 24 | Simplice Donfack, Patrick Sanan, Olaf Schenk, Bram Reps, Wim Vanroose |
A High Arithmetic Intensity Krylov Subspace Method Based on Stencil Compiler Programs. |
HPCSE |
2017 |
DBLP DOI BibTeX RDF |
|
| 24 | Tushar Sharma, Thomas W. Reps |
Sound Bit-Precise Numerical Domains. |
VMCAI |
2017 |
DBLP DOI BibTeX RDF |
|
| 24 | Jenna Marie Reps, Uwe Aickelin, Richard B. Hubbard |
Refining adverse drug reaction signals by incorporating interaction variables identified using emergent pattern mining. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 24 | Jenna Reps, Zhaoyang Guo, Haoyue Zhu, Uwe Aickelin |
Identifying Candidate Risk Factors for Prescription Drug Side Effects using Causal Contrast Set Mining. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 24 | Jenna Marie Reps, Jonathan M. Garibaldi, Uwe Aickelin, Jack E. Gibson, Richard B. Hubbard |
Supervised Adverse Drug Reaction Signalling Framework Imitating Bradford Hill's Causality Considerations. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 24 | Jenna Marie Reps, Uwe Aickelin, Richard B. Hubbard |
Refining adverse drug reaction signals by incorporating interaction variables identified using emergent pattern mining. |
Comput. Biol. Medicine |
2016 |
DBLP DOI BibTeX RDF |
|
| 24 | Venkatesh Srinivasan, Tushar Sharma, Thomas W. Reps |
Speeding up machine-code synthesis. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 24 | Venkatesh Srinivasan, Thomas W. Reps |
An improved algorithm for slicing machine code. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 24 | Thomas W. Reps, Emma Turetsky, Prathmesh Prabhu |
Newtonian program analysis via tensor product. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
| 24 | Antoine Miné, Jason Breck, Thomas W. Reps |
An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
| 24 | Thomas W. Reps, Aditya V. Thakur |
Automating Abstract Interpretation. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 24 | Jenna Reps, Uwe Aickelin, Jonathan M. Garibaldi, Chris Damski |
Personalising Mobile Advertising Based on Users Installed Apps. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 24 | Jenna Reps, Uwe Aickelin, Jiangang Ma, Yanchun Zhang |
Refining Adverse Drug Reactions using Association Rule Mining for Electronic Healthcare Data. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 24 | Bram Reps, Tobias Weinzierl |
Complex additive geometric multilevel solvers for Helmholtz equations on spacetrees. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 24 | Jenna Reps, Uwe Aickelin |
Incorporating Spontaneous Reporting System Data to Aid Causal Inference in Longitudinal Healthcare Data. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 24 | Jenna Marie Reps, Jonathan M. Garibaldi, Uwe Aickelin, Jack E. Gibson, Richard B. Hubbard |
A supervised adverse drug reaction signalling framework imitating Bradford Hill's causality considerations. |
J. Biomed. Informatics |
2015 |
DBLP DOI BibTeX RDF |
|
| 24 | Peter Ohmann, David Bingham Brown, Ben Liblit, Thomas W. Reps |
Recovering execution data from incomplete observations. |
WODA@SPLASH |
2015 |
DBLP DOI BibTeX RDF |
|
| 24 | Venkatesh Srinivasan, Thomas W. Reps |
Partial evaluation of machine code. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 24 | Venkatesh Srinivasan, Thomas W. Reps |
Synthesis of machine code from semantics. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
| 24 | Jenna Reps, Zhaoyang Guo, Haoyue Zhu, Uwe Aickelin |
Identifying Candidate Risk Factors for Prescription Drug Side Effects Using Causal Contrast Set Mining. |
HIS |
2015 |
DBLP DOI BibTeX RDF |
|
| 24 | Siegfried Cools, Bram Reps, Wim Vanroose |
A new level-dependent coarse grid correction scheme for indefinite Helmholtz problems. |
Numer. Linear Algebra Appl. |
2014 |
DBLP DOI BibTeX RDF |
|
| 24 | Daniel Kroening, Thomas W. Reps, Sanjit A. Seshia, Aditya V. Thakur |
Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351). |
Dagstuhl Reports |
2014 |
DBLP DOI BibTeX RDF |
|
| 24 | Siegfried Cools, Bram Reps, Wim Vanroose |
An Efficient Multigrid Calculation of the Far Field Map for Helmholtz and Schrödinger Equations. |
SIAM J. Sci. Comput. |
2014 |
DBLP DOI BibTeX RDF |
|
| 24 | Jenna Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard |
Signalling Paediatric Side Effects using an Ensemble of Simple Study Designs. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 24 | Jenna Reps, Uwe Aickelin, Jonathan M. Garibaldi |
Tuning a Multiple Classifier System for Side Effect Discovery using Genetic Algorithms. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 24 | Grazziela P. Figueredo, Peer-Olaf Siebers, Markus R. Owen, Jenna Reps, Uwe Aickelin |
Comparing Stochastic Differential Equations and Agent-Based Modelling and Simulation for Early-stage Cancer. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 24 | Jenna Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard |
A Novel Semi-Supervised Algorithm for Rare Prescription Side Effect Discovery. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 24 | Jenna Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard |
Comparison of algorithms that detect drug side effects using electronic healthcare databases. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 24 | Jenna Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard |
Attributes for Causal Inference in Longitudinal Observational Databases. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 24 | Jenna Marie Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard |
A Novel Semisupervised Algorithm for Rare Prescription Side Effect Discovery. |
IEEE J. Biomed. Health Informatics |
2014 |
DBLP DOI BibTeX RDF |
|
| 24 | Min Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps |
Specialization Slicing. |
ACM Trans. Program. Lang. Syst. |
2014 |
DBLP DOI BibTeX RDF |
|
| 24 | Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps |
Abstract Domains of Affine Relations. |
ACM Trans. Program. Lang. Syst. |
2014 |
DBLP DOI BibTeX RDF |
|
| 24 | Shachar Itzhaky, Nikolaj S. Bjørner, Thomas W. Reps, Mooly Sagiv, Aditya V. Thakur |
Property-Directed Shape Analysis. |
CAV |
2014 |
DBLP DOI BibTeX RDF |
|
| 24 | Jenna Reps, Uwe Aickelin, Jonathan M. Garibaldi, Chris Damski |
Personalising Mobile Advertising Based on Users' Installed Apps. |
ICDM Workshops |
2014 |
DBLP DOI BibTeX RDF |
|
| 24 | Jenna Marie Reps, Uwe Aickelin, Jiangang Ma, Yanchun Zhang |
Refining Adverse Drug Reactions Using Association Rule Mining for Electronic Healthcare Data. |
ICDM Workshops |
2014 |
DBLP DOI BibTeX RDF |
|
| 24 | Jenna Marie Reps, Uwe Aickelin |
Incorporating Spontaneous Reporting System Data to Aid Causal Inference in Longitudinal Healthcare Data. |
ICDM Workshops |
2014 |
DBLP DOI BibTeX RDF |
|
| 24 | Daphne Teck Ching Lai, Jonathan M. Garibaldi, Jenna Reps |
Investigating distance metric learning in semi-supervised fuzzy c-means clustering. |
FUZZ-IEEE |
2014 |
DBLP DOI BibTeX RDF |
|
| 24 | Jenna Marie Reps, Uwe Aickelin, Jonathan M. Garibaldi |
Tuning a multiple classifier system for side effect discovery using genetic algorithms. |
IEEE Congress on Evolutionary Computation |
2014 |
DBLP DOI BibTeX RDF |
|
| 24 | Aditya V. Thakur, Jason Breck, Thomas W. Reps |
Satisfiability modulo abstraction for separation logic with linked lists. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
| 24 | Venkatesh Srinivasan, Thomas W. Reps |
Recovery of Class Hierarchies and Composition Relationships from Machine Code. |
CC |
2014 |
DBLP DOI BibTeX RDF |
|
| 24 | Richard Joiner, Thomas W. Reps, Somesh Jha, Mohan Dhawan, Vinod Ganapathy |
Efficient runtime-enforcement techniques for policy weaving. |
SIGSOFT FSE |
2014 |
DBLP DOI BibTeX RDF |
|
| 24 | Min Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps |
Specialization slicing. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
| 24 | Jenna Marie Reps |
Detecting adverse drug reactions in the general practice healthcare database. |
|
2014 |
RDF |
|
| 24 | Aditya V. Thakur, Akash Lal, Junghee Lim, Thomas W. Reps |
PostHat and All That: Automating Abstract Interpretation. |
TAPAS@SAS |
2013 |
DBLP DOI BibTeX RDF |
|
| 24 | Jenna Reps, Jan Feyereisl, Jonathan M. Garibaldi, Uwe Aickelin, Jack E. Gibson, Richard B. Hubbard |
Investigating the Detection of Adverse Drug Events in a UK General Practice Electronic Health-Care Database. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
| 24 | Jenna Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard |
Comparing Data-mining Algorithms Developed for Longitudinal Observational Databases. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
| 24 | Feng Gu 0006, Jan Feyereisl, Robert F. Oates, Jenna Reps, Julie Greensmith, Uwe Aickelin |
Quiet in Class: Classification, Noise and the Dendritic Cell Algorithm. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
| 24 | Jenna Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard |
Discovering Sequential Patterns in a UK General Practice Database. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
| 24 | Jenna Marie Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard |
Comparison of algorithms that detect drug side effects using electronic healthcare databases. |
Soft Comput. |
2013 |
DBLP DOI BibTeX RDF |
|
| 24 | Wei Zhang 0022, Chong Sun, Junghee Lim, Shan Lu 0001, Thomas W. Reps |
ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach. |
ACM Trans. Softw. Eng. Methodol. |
2013 |
DBLP DOI BibTeX RDF |
|
| 24 | Junghee Lim, Thomas W. Reps |
TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis. |
ACM Trans. Program. Lang. Syst. |
2013 |
DBLP DOI BibTeX RDF |
|
| 24 | Jörg Kreiker, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav |
Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs. |
Programming Logics |
2013 |
DBLP DOI BibTeX RDF |
|
| 24 | Jenna Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard |
Attributes for causal inference in electronic healthcare databases. |
CBMS |
2013 |
DBLP DOI BibTeX RDF |
|
| 24 | Somesh Jha, Thomas W. Reps, William R. Harris |
Secure programs via game-based synthesis. |
FMCAD |
2013 |
DBLP DOI BibTeX RDF |
|
| 24 | William R. Harris, Somesh Jha, Thomas W. Reps, Jonathan Anderson, Robert N. M. Watson |
Declarative, Temporal, and Practical Programming with Capabilities. |
IEEE Symposium on Security and Privacy |
2013 |
DBLP DOI BibTeX RDF |
|
| 24 | Bram Reps, Wim Vanroose |
Analyzing the wave number dependency of the convergence rate of a multigrid preconditioned Krylov method for the Helmholtz equation with an absorbing layer. |
Numer. Linear Algebra Appl. |
2012 |
DBLP DOI BibTeX RDF |
|
| 24 | Andy King, Alan Mycroft, Thomas W. Reps, Axel Simon |
Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051). |
Dagstuhl Reports |
2012 |
DBLP DOI BibTeX RDF |
|
| 24 | Siegfried Cools, Bram Reps, Wim Vanroose |
An efficient multigrid method calculation of the far field map for Helmholtz problems |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 24 | William R. Harris, Somesh Jha, Thomas W. Reps |
Secure Programming via Visibly Pushdown Safety Games. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 416 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license