Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Suad Alagic" ( http://dblp.L3S.de/Authors/Suad_Alagic )

URL (Homepage):  http://www.cs.usm.maine.edu/~alagic/  Author page on DBLP  Author page in RDF  Community of Suad Alagic in ASPL-2

Publication years (Num. hits)
1974-1994 (18) 1995-2001 (15) 2002-2010 (13)
Publication types (Num. hits)
article(15) book(3) inproceedings(28)
Venues (Conferences, Journals, ...)
DBPL(4) ECOOP(3) ICOODB(3) TOOLS(3) BNCOD(2) Comput. J.(2) East/West Database Workshop(2) OOPSLA(2) ACM Trans. Database Syst.(1) Acta Inf.(1) ADBIS(1) Category Theory Applied to Com...(1) CDB(1) COODBSE(1) FMLDO(1) ICSOFT(1) More (+10 of total 30)
Authors
Suad Alagic(46) David Briggs(5) Mark Royer(5) Jose Solorzano(3) Philip A. Bernstein(3) Rajshekhar Sunderraman(3) Adnan Kulenovic(2) Mara Alagic(2) Michael A. Arbib(2) Ashvin Radiya(1) Brian Cabana(1) Dan Dillon(1) David Gitchell(1) Jeff Faulkner(1) Jeremy Logan(1) Manicka Surendhar(1) More (+10 of total 21)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 33 occurrences of 26 keywords
Results
Found 46 publication records. Showing 46 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Suad Alagic, Philip A. Bernstein, Ruchi Jairath Object-Oriented Constraints for XML Schema. Search on Bibsonomy ICOODB The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1David Briggs, Suad Alagic Algebraic specification techniques for parametric types with logic-based constraints. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF parametric types, verification theories, assertions, PVS, JML
1Suad Alagic, Philip A. Bernstein Mapping XSD to OO Schemas. Search on Bibsonomy ICOODB The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Suad Alagic, Mark Royer, David Briggs Verification Technology for Object-Oriented/XML Transactions. Search on Bibsonomy ICOODB The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Suad Alagic, Mark Royer Genericity in Java: persistent and database systems implications. Search on Bibsonomy VLDB J. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Java, Reflection, Transactions, Object-oriented databases, Type systems, Virtual platforms, Object persistence
1Mark Royer, Suad Alagic, Dan Dillon Reflective Constraint Management for Languages on Virtual Platforms. Search on Bibsonomy Journal of Object Technology The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Suad Alagic, Mark Royer, David Briggs Program verification techniques for xml schema-based technologies. Search on Bibsonomy ICSOFT The full citation details ... 2006 DBLP  BibTeX  RDF
1Suad Alagic, Mark Royer, David Briggs Verification Theories for XML Schema. Search on Bibsonomy BNCOD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Brian Cabana, Suad Alagic, Jeff Faulkner Parametric polymorphism for Java: is there any hope in sight? Search on Bibsonomy SIGPLAN Notices The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Java core reflection, class files, class objects, generics, Java virtual machine, parametric polymorphism, loading
1Suad Alagic, Jeremy Logan Consistency of Java Transactions. Search on Bibsonomy DBPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Suad Alagic, David Briggs Semantics of Objectified XML Constraints. Search on Bibsonomy DBPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Suad Alagic Institutions: Integrating Objects, XML and Databases. Search on Bibsonomy Information & Software Technology The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Suad Alagic, Svetlana Kouznetsova Behavioral Compatibility of Self-Typed Theories. Search on Bibsonomy ECOOP The full citation details ... 2002 DBLP  BibTeX  RDF
1Suad Alagic, Philip A. Bernstein A Model Theory for Generic Schema Management. Search on Bibsonomy DBPL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Suad Alagic Semantics of Temporal Classes. Search on Bibsonomy Inf. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Suad Alagic, Jose Solorzano Java and OQL: A Reflective Solution for the Impedance Mismatch. Search on Bibsonomy L'OBJET The full citation details ... 2000 DBLP  BibTeX  RDF
1Suad Alagic Temporal Object-Oriented Programming. Search on Bibsonomy Comput. J. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Suad Alagic, Tuong Nguyen Parametric Polymorphism and Orthogonal Persistence. Search on Bibsonomy Objects and Databases The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Suad Alagic Type-Checking OQL Queries In the ODMG Type Systems. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF ODMG standard, Java, C++, type systems, parametric polymorphism, OQL
1Suad Alagic O2 and The ODMG Standard: Do They Match? Search on Bibsonomy TAPOS The full citation details ... 1999 DBLP  BibTeX  RDF
1Suad Alagic A Family of the ODMG Object Models. Search on Bibsonomy ADBIS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Jose Solorzano, Suad Alagic Parametric Polymorphism for Java: A Reflective Solution. Search on Bibsonomy OOPSLA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF language design and implementation, Java, reflection, persistence
1Suad Alagic, Jose Solorzano, David Gitchell Orthogonal to the Java Imperative. Search on Bibsonomy ECOOP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF F-bounded polymorphism, Java Virtual Machine, Declarative languages, orthogonal persistence
1Suad Alagic, Mara Alagic Order-Sorted Model Theory for Temporal Executable Specifications. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Suad Alagic A Temporal Constraint System for Object-Oriented Databases. Search on Bibsonomy CDB The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Suad Alagic The ODMG Object Model: Does it Make Sense? Search on Bibsonomy OOPSLA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Suad Alagic Constrained Matching is Type Safe. Search on Bibsonomy DBPL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Suad Alagic A Statically Typed, Temporal Object-Oriented Database Technology. Search on Bibsonomy IEICE Transactions The full citation details ... 1995 DBLP  BibTeX  RDF
1Suad Alagic, Rajshekhar Sunderraman Expressivity of Typed Logic Paradigms for Object-Oriented Databases. Search on Bibsonomy BNCOD The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Manicka Surendhar, Suad Alagic Object-Oriented Type Evolution Using Reflection. Search on Bibsonomy TOOLS The full citation details ... 1994 DBLP  BibTeX  RDF
1Suad Alagic, Rajshekhar Sunderraman, Ashvin Radiya Typed Declarative Object-Oriented Database Programming. Search on Bibsonomy COODBSE The full citation details ... 1994 DBLP  BibTeX  RDF
1Suad Alagic, Rajshekhar Sunderraman, Rajiv Bagai Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping. Search on Bibsonomy ECOOP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF semantic specifications, Object-oriented, logic programming, type systems, inheritance, polymorphism, subtyping, unification, deduction
1Suad Alagic F-Bounded Polymorphism for Database Programming Languages. Search on Bibsonomy East/West Database Workshop The full citation details ... 1994 DBLP  BibTeX  RDF
1Suad Alagic Object-Oriented Type Systems. Search on Bibsonomy TOOLS The full citation details ... 1992 DBLP  BibTeX  RDF
1Suad Alagic Associated paper: Polymorphic and Reflective Type Structures. Search on Bibsonomy TOOLS The full citation details ... 1992 DBLP  BibTeX  RDF
1Suad Alagic, Mara Alagic Joins as Pullbacks. Search on Bibsonomy FMLDO The full citation details ... 1991 DBLP  BibTeX  RDF
1Suad Alagic Persistent Metaobjects. Search on Bibsonomy POS The full citation details ... 1990 DBLP  BibTeX  RDF
1Suad Alagic Toward Multiparadigm Database Interfaces. Search on Bibsonomy East/West Database Workshop The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Suad Alagic Object-Oriented Database Programming Search on Bibsonomy 1989   RDF
1Suad Alagic Relational Database Technology Search on Bibsonomy 1986   RDF
1Suad Alagic, Adnan Kulenovic Relational Pascal Data Base Interface. Search on Bibsonomy Comput. J. The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Michael A. Arbib, Suad Alagic Proof Rules for Gotos. Search on Bibsonomy Acta Inf. The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
1Suad Alagic, Michael A. Arbib The Design of Well-Structured and Correct Programs Search on Bibsonomy 1978   RDF
1Suad Alagic, Adnan Kulenovic, Muhamed Darajlic Structured extension of COBOL for handling data bases. Search on Bibsonomy Inf. Syst. The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Suad Alagic Natural State Transformations. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
1Suad Alagic Categorical theory of tree processing. Search on Bibsonomy Category Theory Applied to Computation and Control The full citation details ... 1974 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #46 of 46 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.