 [4-21]The Many Faces of Sequence Data Processing
|
2016-04-19 |
| [4-21]An I/O Efficient Approach for Detecting All Accepting Cycles
|
2016-04-19 |
| [4-18]Predictive Modeling of information Spreading in Social Networks
|
2016-04-14 |
| [4-7]Multivariable Algorithmics
|
2016-04-05 |
| [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 |
