iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/pid/89/6989.bib
@article{DBLP:journals/access/HussainKAK24, author = {Altaf Hussain and Qazi Salman Khalid and Mohammed Alkahtani and Aqib Mashood Khan}, title = {A Mathematical Model for Optimizing {NPV} and Greenhouse Gases for Construction Projects Under Carbon Emissions Constraints}, journal = {{IEEE} Access}, volume = {12}, pages = {31875--31891}, year = {2024}, url = {https://doi.org/10.1109/ACCESS.2024.3367596}, doi = {10.1109/ACCESS.2024.3367596}, timestamp = {Thu, 03 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/HussainKAK24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/cluster/AwanAHP24, author = {Ahmad Awan and Muhammad Aleem and Altaf Hussain and Radu Prodan}, title = {{DFARM:} a deadline-aware fault-tolerant scheduler for cloud computing}, journal = {Clust. Comput.}, volume = {27}, number = {7}, pages = {9323--9344}, year = {2024}, url = {https://doi.org/10.1007/s10586-024-04419-1}, doi = {10.1007/S10586-024-04419-1}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cluster/AwanAHP24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/cnsns/HussainCCD24, author = {Altaf Hussain and Wenming Cheng and Junyi Cao and Run Du}, title = {Numerical analysis and experimental validation of nonlinear broadband monostable and bistable energy harvesters}, journal = {Commun. Nonlinear Sci. Numer. Simul.}, volume = {131}, pages = {107808}, year = {2024}, url = {https://doi.org/10.1016/j.cnsns.2023.107808}, doi = {10.1016/J.CNSNS.2023.107808}, timestamp = {Sat, 16 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cnsns/HussainCCD24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/eaai/HussainKKSB24, author = {Altaf Hussain and Samee Ullah Khan and Noman Khan and Mohammad Shabaz and Sung Wook Baik}, title = {AI-driven behavior biometrics framework for robust human activity recognition in surveillance systems}, journal = {Eng. Appl. Artif. Intell.}, volume = {127}, number = {Part {A}}, pages = {107218}, year = {2024}, url = {https://doi.org/10.1016/j.engappai.2023.107218}, doi = {10.1016/J.ENGAPPAI.2023.107218}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eaai/HussainKKSB24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/inffus/HussainKRKB24, author = {Altaf Hussain and Samee Ullah Khan and Imad Rida and Noman Khan and Sung Wook Baik}, title = {Human centric attention with deep multiscale feature fusion framework for activity recognition in Internet of Medical Things}, journal = {Inf. Fusion}, volume = {106}, pages = {102211}, year = {2024}, url = {https://doi.org/10.1016/j.inffus.2023.102211}, doi = {10.1016/J.INFFUS.2023.102211}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/inffus/HussainKRKB24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/jcde/UllahKKHMLSB24, author = {Waseem Ullah and Samee Ullah Khan and Min Je Kim and Altaf Hussain and Muhammad Munsif and Mi Young Lee and Daeho Seo and Sung Wook Baik}, title = {Industrial defective chips detection using deep convolutional neural network with inverse feature matching mechanism}, journal = {J. Comput. Des. Eng.}, volume = {11}, number = {3}, pages = {326--336}, year = {2024}, url = {https://doi.org/10.1093/jcde/qwae019}, doi = {10.1093/JCDE/QWAE019}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcde/UllahKKHMLSB24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/kbs/MunsifKKHKB24, author = {Muhammad Munsif and Samee Ullah Khan and Noman Khan and Altaf Hussain and Min Je Kim and Sung Wook Baik}, title = {Contextual visual and motion salient fusion framework for action recognition in dark environments}, journal = {Knowl. Based Syst.}, volume = {304}, pages = {112480}, year = {2024}, url = {https://doi.org/10.1016/j.knosys.2024.112480}, doi = {10.1016/J.KNOSYS.2024.112480}, timestamp = {Tue, 22 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/kbs/MunsifKKHKB24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/mta/RahmanAHYH24, author = {Saifur Rahman and Numan Ali and Tariq Hussain and Bailin Yang and Altaf Hussain}, title = {The effect of image-cyclic-based guidance on user's skill enhancement in virtual assembly task}, journal = {Multim. Tools Appl.}, volume = {83}, number = {14}, pages = {41823--41846}, year = {2024}, url = {https://doi.org/10.1007/s11042-023-17175-y}, doi = {10.1007/S11042-023-17175-Y}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mta/RahmanAHYH24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/wpc/AyazHHA24, author = {Muhammad Ayaz and Altaf Hussain and Tariq Hussain and Iqtidar Ali}, title = {Optimization of Quality of Service in 5G Cellular Network by Focusing on Interference Management}, journal = {Wirel. Pers. Commun.}, volume = {135}, number = {4}, pages = {2229--2254}, year = {2024}, url = {https://doi.org/10.1007/s11277-024-11139-7}, doi = {10.1007/S11277-024-11139-7}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/wpc/AyazHHA24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/cvpr/HussainKMKB22, author = {Altaf Hussain and Noman Khan and Muhammad Munsif and Min Je Kim and Sung Wook Baik}, title = {Medium Scale Benchmark for Cricket Excited Actions Understanding}, booktitle = {{IEEE/CVF} Conference on Computer Vision and Pattern Recognition, {CVPR} 2024 - Workshops, Seattle, WA, USA, June 17-18, 2024}, pages = {3399--3409}, publisher = {{IEEE}}, year = {2024}, url = {https://doi.org/10.1109/CVPRW63382.2024.00344}, doi = {10.1109/CVPRW63382.2024.00344}, timestamp = {Thu, 10 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cvpr/HussainKMKB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/sensors/ShahSZHUGKN23, author = {Sayyed Mudassar Shah and Zhaoyun Sun and Khalid Zaman and Altaf Hussain and Inam Ullah and Yazeed Yasin Ghadi and Muhammad Abbas Khan and Rashid Nasimov}, title = {Advancements in Neighboring-Based Energy-Efficient Routing Protocol {(NBEER)} for Underwater Wireless Sensor Networks}, journal = {Sensors}, volume = {23}, number = {13}, pages = {6025}, year = {2023}, url = {https://doi.org/10.3390/s23136025}, doi = {10.3390/S23136025}, timestamp = {Fri, 18 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sensors/ShahSZHUGKN23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/complexity/HussainKHURB22, author = {Altaf Hussain and Zulfiqar Ahmad Khan and Tanveer Hussain and Fath U Min Ullah and Seungmin Rho and Sung Wook Baik}, title = {A Hybrid Deep Learning-Based Network for Photovoltaic Power Forecasting}, journal = {Complex.}, volume = {2022}, pages = {7040601:1--7040601:12}, year = {2022}, url = {https://doi.org/10.1155/2022/7040601}, doi = {10.1155/2022/7040601}, timestamp = {Fri, 15 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/complexity/HussainKHURB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/ijguc/ZamanHIS22, author = {Khalid Zaman and Altaf Hussain and Muhammad Imran and Muhammad Sohail}, title = {Cost-effective data replication mechanism modelling for cloud storage}, journal = {Int. J. Grid Util. Comput.}, volume = {13}, number = {6}, pages = {652--669}, year = {2022}, url = {https://doi.org/10.1504/IJGUC.2022.10053316}, doi = {10.1504/IJGUC.2022.10053316}, timestamp = {Sat, 19 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijguc/ZamanHIS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/sensors/ShahSZHSP22, author = {Sayyed Mudassar Shah and Zhaoyun Sun and Khalid Zaman and Altaf Hussain and Muhammad Shoaib and Lili Pei}, title = {A Driver Gaze Estimation Method Based on Deep Learning}, journal = {Sensors}, volume = {22}, number = {10}, pages = {3959}, year = {2022}, url = {https://doi.org/10.3390/s22103959}, doi = {10.3390/S22103959}, timestamp = {Fri, 02 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sensors/ShahSZHSP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/symmetry/ZamanSSSPH22, author = {Khalid Zaman and Zhaoyun Sun and Sayyed Mudassar Shah and Muhammad Shoaib and Lili Pei and Altaf Hussain}, title = {Driver Emotions Recognition Based on Improved Faster {R-CNN} and Neural Architectural Search Network}, journal = {Symmetry}, volume = {14}, number = {4}, pages = {687}, year = {2022}, url = {https://doi.org/10.3390/sym14040687}, doi = {10.3390/SYM14040687}, timestamp = {Sat, 19 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/symmetry/ZamanSSSPH22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/sensors/HabibHAIKKK21, author = {Shabana Habib and Altaf Hussain and Waleed Albattah and Muhammad Islam and Sheroz Khan and Rehan Ullah Khan and Khalil Khan}, title = {Abnormal Activity Recognition from Surveillance Videos Using Convolutional Neural Network}, journal = {Sensors}, volume = {21}, number = {24}, pages = {8291}, year = {2021}, url = {https://doi.org/10.3390/s21248291}, doi = {10.3390/S21248291}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sensors/HabibHAIKKK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/wpc/HussainHFAKNK21, author = {Altaf Hussain and Tariq Hussain and Farooq Faisal and Iqtidar Ali and Irshad Khalil and Shah Nazir and Habib Ullah Khan}, title = {{DLSA:} Delay and Link Stability Aware Routing Protocol for Flying Ad-hoc Networks (FANETs)}, journal = {Wirel. Pers. Commun.}, volume = {121}, number = {4}, pages = {2609--2634}, year = {2021}, url = {https://doi.org/10.1007/s11277-021-08839-9}, doi = {10.1007/S11277-021-08839-9}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/wpc/HussainHFAKNK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/access/HussainAHUSZ20, author = {Sayyed Shahid Hussain and Luqman Ali and Altaf Hussain and Asif Ullah and Li Sun and Guohe Zhang}, title = {Surface Refractivity Profile Construction on One-Fourth Kilometer Square Area for 1800 to 1900 Mhz Frequency}, journal = {{IEEE} Access}, volume = {8}, pages = {35650--35661}, year = {2020}, url = {https://doi.org/10.1109/ACCESS.2020.2974672}, doi = {10.1109/ACCESS.2020.2974672}, timestamp = {Thu, 19 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/access/HussainAHUSZ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/access/IbrahimNBARHSD20, author = {Muhammad Ibrahim and Said Nabi and Abdullah Baz and Hosam Alhakami and Muhammad Summair Raza and Altaf Hussain and Khaled Salah and Karim Djemame}, title = {An In-Depth Empirical Investigation of State-of-the-Art Scheduling Approaches for Cloud Computing}, journal = {{IEEE} Access}, volume = {8}, pages = {128282--128294}, year = {2020}, url = {https://doi.org/10.1109/ACCESS.2020.3007201}, doi = {10.1109/ACCESS.2020.3007201}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/IbrahimNBARHSD20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/cai/HussainAII19, author = {Altaf Hussain and Muhammad Aleem and Muhammad Azhar Iqbal and Muhammad Arshad Islam}, title = {Investigation of Cloud Scheduling Algorithms for Resource Utilization Using CloudSim}, journal = {Comput. Informatics}, volume = {38}, number = {3}, pages = {525--554}, year = {2019}, url = {https://doi.org/10.31577/cai\_2019\_3\_525}, doi = {10.31577/CAI\_2019\_3\_525}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cai/HussainAII19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/tjs/HussainAII19, author = {Altaf Hussain and Muhammad Aleem and Muhammad Azhar Iqbal and Muhammad Arshad Islam}, title = {{SLA-RALBA:} cost-efficient and resource-aware load balancing algorithm for cloud computing}, journal = {J. Supercomput.}, volume = {75}, number = {10}, pages = {6777--6803}, year = {2019}, url = {https://doi.org/10.1007/s11227-019-02916-4}, doi = {10.1007/S11227-019-02916-4}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tjs/HussainAII19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/access/HussainAII18, author = {Altaf Hussain and Muhammad Aleem and Muhammad Arshad Islam and Muhammad Azhar Iqbal}, title = {A Rigorous Evaluation of State-of-the-Art Scheduling Algorithms for Cloud Computing}, journal = {{IEEE} Access}, volume = {6}, pages = {75033--75047}, year = {2018}, url = {https://doi.org/10.1109/ACCESS.2018.2884480}, doi = {10.1109/ACCESS.2018.2884480}, timestamp = {Fri, 28 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/HussainAII18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/cluster/HussainAKII18, author = {Altaf Hussain and Muhammad Aleem and Abid Khan and Muhammad Azhar Iqbal and Muhammad Arshad Islam}, title = {{RALBA:} a computation-aware load balancing scheduler for cloud computing}, journal = {Clust. Comput.}, volume = {21}, number = {3}, pages = {1667--1680}, year = {2018}, url = {https://doi.org/10.1007/s10586-018-2414-6}, doi = {10.1007/S10586-018-2414-6}, timestamp = {Tue, 29 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cluster/HussainAKII18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/data/HussainA18, author = {Altaf Hussain and Muhammad Aleem}, title = {GoCJ: Google Cloud Jobs Dataset for Distributed and Cloud Computing Infrastructures}, journal = {Data}, volume = {3}, number = {4}, pages = {38}, year = {2018}, url = {https://doi.org/10.3390/data3040038}, doi = {10.3390/DATA3040038}, timestamp = {Thu, 08 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/data/HussainA18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/otm/HussainML16, author = {Altaf Hussain and Wendy MacCaull and Yngve Lamo}, editor = {Ioana Ciuciu and Christophe Debruyne and Herv{\'{e}} Panetto and Georg Weichhart and Peter Bollen and Anna Fensel and Maria{-}Esther Vidal}, title = {{CASD:} {A} Framework for Context Aware Service Discovery and Selection}, booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2016 Workshops - Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and {OTMA} 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10034}, pages = {252--264}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-55961-2\_26}, doi = {10.1007/978-3-319-55961-2\_26}, timestamp = {Sat, 19 Oct 2019 20:26:09 +0200}, biburl = {https://dblp.org/rec/conf/otm/HussainML16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/sensors/VargheseVHBTDHU13, author = {Babu Varghese and Rieko Verhagen and Altaf Hussain and Clemence Boudot and Qiangqiang Tai and Siqi Ding and Jasmin Alexandra Holz and Natallia Uzunbajakava}, title = {Quantitative Assessment of Birefringent Skin Structures in Scattered Light Confocal Imaging Using Radially Polarized Light}, journal = {Sensors}, volume = {13}, number = {9}, pages = {12527--12535}, year = {2013}, url = {https://doi.org/10.3390/s130912527}, doi = {10.3390/S130912527}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sensors/VargheseVHBTDHU13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/csws/HussainM13, author = {Altaf Hussain and Wendy MacCaull}, editor = {Ren{\'{e}} Witte and Christopher J. O. Baker and Greg Butler and Michel Dumontier}, title = {Context aware service discovery and service enabled workflow}, booktitle = {Proceedings of the 4th Canadian Semantic Web Symposium part of the Semantic Trilogy 2013, Montreal, QC, Canada, July 10th, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1054}, pages = {45--48}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1054/paper-11.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:15 +0100}, biburl = {https://dblp.org/rec/conf/csws/HussainM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/ipps/MunirMHNA13, author = {Ehsan Ullah Munir and Sajjad Mohsin and Altaf Hussain and Muhammad Wasif Nisar and Shoukat Ali}, title = {{SDBATS:} {A} Novel Algorithm for Task Scheduling in Heterogeneous Computing Systems}, booktitle = {2013 {IEEE} International Symposium on Parallel {\&} Distributed Processing, Workshops and Phd Forum, Cambridge, MA, USA, May 20-24, 2013}, pages = {43--53}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/IPDPSW.2013.259}, doi = {10.1109/IPDPSW.2013.259}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ipps/MunirMHNA13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/jsyml/HodkinsonH08, author = {Ian M. Hodkinson and Altaf Hussain}, title = {The modal logic of affine planes is not finitely axiomatisable}, journal = {J. Symb. Log.}, volume = {73}, number = {3}, pages = {940--952}, year = {2008}, url = {https://doi.org/10.2178/jsl/1230396757}, doi = {10.2178/JSL/1230396757}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/HodkinsonH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/tcs/HussainH08, author = {Altaf Hussain and Michael Huth}, title = {On model checking multiple hybrid views}, journal = {Theor. Comput. Sci.}, volume = {404}, number = {3}, pages = {186--201}, year = {2008}, url = {https://doi.org/10.1016/j.tcs.2008.03.010}, doi = {10.1016/J.TCS.2008.03.010}, timestamp = {Mon, 11 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/HussainH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/logcom/Hussain07, author = {Altaf Hussain}, title = {A New Modal Approach to the Logic of Intervals}, journal = {J. Log. Comput.}, volume = {17}, number = {2}, pages = {221--254}, year = {2007}, url = {https://doi.org/10.1093/logcom/exl007}, doi = {10.1093/LOGCOM/EXL007}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/Hussain07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/igpl/Hussain06, author = {Altaf Hussain}, title = {A Minimal Hybrid Logic for Intervals}, journal = {Log. J. {IGPL}}, volume = {14}, number = {1}, pages = {35--62}, year = {2006}, url = {https://doi.org/10.1093/jigpal/jzk003}, doi = {10.1093/JIGPAL/JZK003}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/Hussain06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:journals/entcs/HussainH06, author = {Altaf Hussain and Michael Huth}, editor = {Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}} and Achim Jung and Michael W. Mislove}, title = {Automata Games for Multiple-model Checking}, booktitle = {Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, {MFPS} 2005, Birmingham, UK, May 18-21, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {155}, pages = {401--421}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.11.067}, doi = {10.1016/J.ENTCS.2005.11.067}, timestamp = {Mon, 11 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/HussainH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/isola/HuthH04, author = {Michael Huth and Altaf Hussain}, editor = {Tiziana Margaria and Bernhard Steffen and Anna Philippou and Manfred Reitenspie{\ss}}, title = {On model checking multiple hybrid views}, booktitle = {International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings}, series = {Technical Report}, volume = {{TR-2004-6}}, pages = {235--242}, publisher = {Department of Computer Science, University of Cyprus}, year = {2004}, timestamp = {Mon, 11 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isola/HuthH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }