 [3-15]Agile Formal Engineering Methods for Software Productivity and Reliability
|
2016-03-11 |
| [3-2]utomated-Reasoning Revolution: From Theory to Practice and Back
|
2016-02-29 |
| [2016-1-21]The evolutionary benefits of recombination: A mathematical analysis
|
2016-01-15 |
| [12-28]Graph Processing and Mining in the Era of Big Data
|
2015-12-25 |
| [12-17]Statistical And Computational Challenges For Investigating Microbial Interaction Networks
|
2015-12-16 |
| [12-16]Fully Automated Shape Analysis Based on Forest Automata
|
2015-12-08 |
| [11-10]Hybrid Vortex Model for Efficient Diffusive, Turbulent Smoke Simulations
|
2015-11-10 |
| [10-18]7th ISCAS/USC/UMASS/NICTA Joint WORKSHOP
|
2015-10-14 |
| [10-8]When Cryptocurrencies Mine Their Own Business
|
2015-09-30 |
| [9-29]Formal Verification of Simulink/Stateflow Diagrams
|
2015-09-25 |
| [9-15]Post-silicon Functional Validation with Virtual Prototypes
|
2015-09-14 |
| [9-14]Expressiveness of Communication Primitives
|
2015-09-14 |
| [8-28]the evolutionary benefit of recombination
|
2015-08-17 |
| [8-12]On Coinduction and Quantum Lambda Calculi
|
2015-08-11 |
| [7-31]Learning Representation for Fine-Grained Text Analysis
|
2015-07-28 |
