Altaf Hussain
From MaRDI portal
Person:947780
Available identifiers
zbMath Open hussain.altafMaRDI QIDQ947780
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 | 2024-02-27 | Paper |
| Automata games for multiple-model checking | 2013-10-08 | Paper |
| The modal logic of affine planes is not finitely axiomatisable | 2009-03-23 | Paper |
| On model checking multiple hybrid views | 2008-10-07 | Paper |
| A New Modal Approach to the Logic of Intervals | 2007-12-17 | Paper |
| A Minimal Hybrid Logic for Intervals | 2006-07-06 | Paper |
Research outcomes over time
This page was built for person: Altaf Hussain
