Altaf Hussain
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Numerical analysis and experimental validation of nonlinear broadband monostable and bistable energy harvesters Communications in Nonlinear Science and Numerical Simulation | 2024-02-27 | Paper |
| Automata games for multiple-model checking | 2013-10-08 | Paper |
| The modal logic of affine planes is not finitely axiomatisable Journal of Symbolic Logic | 2009-03-23 | Paper |
| On model checking multiple hybrid views Theoretical Computer Science | 2008-10-07 | Paper |
| A New Modal Approach to the Logic of Intervals Journal Of Logic And Computation | 2007-12-17 | Paper |
| A Minimal Hybrid Logic for Intervals Logic Journal of the IGPL | 2006-07-06 | Paper |
Research outcomes over time
This page was built for person: Altaf Hussain
