sign in · help · news · about ·

BibSonomy :: author :: Zedan ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(89)

<< < 1 | 2 | 3 > >>

A comparative evalution of feature level based fusion schemes for multimodal biometric authentication.
Waheeda Al-Mayyan, Hala S. Own, and Hussein Zedan HIS, page 22-27. IEEE, (2011)
to dblp by dblp on Jan 10, 2012, 12:00 AM
URL | BibTeX
A Compositional Framework for Hardware/Software Co-Design.
Antonio Cau, Roger Hale, J. Dimitrov, Hussein Zedan, Ben C. Moszkowski, M. Manjunathaiah, and M. Spivey Design Autom. for Emb. Sys. 6(4):367-399 (2002)
to dblp by dblp on Dec 1, 2011, 12:00 AM
URL | BibTeX
Guest Editorial.
Hussein Zedan Information & Software Technology 43(3):159 (2001)
to dblp by dblp on Nov 30, 2011, 12:00 AM
URL | BibTeX
Transformational Programming and the Derivation of Algorithms.
Martin P. Ward, and Hussein Zedan ISCIS, volume 62 of Lecture Notes in Electrical Engineering, page 17-22. Springer, (2010)
to dblp by dblp on Nov 9, 2011, 12:00 AM
URL | BibTeX
Deriving a Slicing Algorithm via FermaT Transformations.
Martin P. Ward, and Hussein Zedan IEEE Trans. Software Eng. 37(1):24-47 (2011)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
A Specification-Oriented Semantics for the Refinement of Real-Time Systems.
David Scholefield, Hussein S. M. Zedan, and Jifeng He Theor. Comput. Sci. 131(1):219-241 (1994)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
A Wide-Spectrum Language for Object-Based Development of Real-Time Systems.
Zhiqiang Chen, Hussein Zedan, Antonio Cau, and Hongji Yang Inf. Sci. 118(1-4):15-35 (1999)
to dblp by dblp on Aug 29, 2011, 12:00 AM
URL | BibTeX
Using formal specifications to support testing.
Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, and Hussein Zedan ACM Comput. Surv. (2009)
to engineering formal methods myown software specifications support testing by jpbowen and 1 other user on Aug 1, 2011, 7:39 PM
URL | BibTeX
Towards A Multilingual Semantic Folksonomy
Murad Magableh, Antonio Cau, Hussein Zedan, and Martin Ward Proceedings of the IADIS International Conferences Collaborative Technologies 2010 and Web Based Communities 2010, page 178--182. (July 2010)
to folksonomy semanticweb by veronicasu and 2 other users on Jul 29, 2011, 1:40 PM
BibTeX
A Distributed Algorithm for Distributed Termination.
Cyrus Hazari, and Hussein Zedan Inf. Process. Lett. 24(5):293-297 (1987)
to dblp by dblp on Jul 8, 2011, 12:00 AM
URL | BibTeX
Congruent Weak Bisimulation with Dense Real-Time.
Chris Ho-Stuart, Hussein S. M. Zedan, and Ming Fang Inf. Process. Lett. 46(2):55-61 (1993)
to dblp by dblp on Jul 8, 2011, 12:00 AM
URL | BibTeX
Weakest Precondition Semantics for Time and Concurrency.
David Scholefield, and Hussein S. M. Zedan Inf. Process. Lett. 43(6):301-308 (1992)
to dblp by dblp on Jul 8, 2011, 12:00 AM
URL | BibTeX
An Executable Specification Language for Fast Prototyping Parallel Responsive Systems.
Heping He, and Hussein Zedan Comput. Lang. 22(1):1-13 (1996)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Refinement of Complex Systems: A Case Study.
Gavin Lowe, and Hussein Zedan Comput. J. 38(10):785-800 (1995)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
Designing a Provably Correct Robot Control System Using a `Lean' Formal Method.
Antonio Cau, Chris Czarnecki, and Hussein Zedan FTRTFT, volume 1486 of Lecture Notes in Computer Science, page 123-132. Springer, (1998)
to dblp by dblp on Jun 17, 2011, 12:00 AM
URL | BibTeX
ATOM: An Object-based Formal Method for Real-Time Systems.
Hussein Zedan, Antonio Cau, Zhiqiang Chen, and Hongji Yang Ann. Software Eng. (1999)
to dblp by dblp on May 18, 2011, 12:00 AM
URL | BibTeX
Rough set approach to online signature identification.
Waheeda Al-Mayyan, Hala S. Own, and Hussein Zedan Digital Signal Processing 21(3):477-485 (2011)
to dblp by dblp on Apr 18, 2011, 12:00 AM
URL | BibTeX
The Calculus of Context-aware Ambients.
François Siewe, Hussein Zedan, and Antonio Cau J. Comput. Syst. Sci. 77(4):597-620 (2011)
to dblp by dblp on Apr 8, 2011, 12:00 AM
URL | BibTeX
Towards A Multilingual Semantic Folksonomy
Murad Magableh, Antonio Cau, Hussein Zedan, and Martin Ward Proceedings of the IADIS International Conferences Collaborative Technologies 2010 and Web Based Communities 2010, page 178--182. (July 2010)
to semantic tagging bookmark by alexcunha and 2 other users on Mar 25, 2011, 6:18 PM
BibTeX
Agile Service-Oriented Applications: Rule-based Foundation with Runtime Adaptability.
Ali Alqahtani, and Hussein Zedan JDCTA 4(1):16-25 (2010)
to dblp by dblp on Feb 1, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100