Suad Alagic

According to our database1, Suad Alagic
  • authored at least 50 papers between 1974 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Software Engineering: Specification, Implementation, Verification
Springer, ISBN: 978-3-319-61517-2, 2017

2015
Object-Oriented Technology
Springer, ISBN: 978-3-319-20442-0, 2015

2014
Verifiable Object-Oriented Transactions.
Proceedings of the Concurrent Objects and Beyond, 2014

2013
Automatic versus interactive program verification.
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

2010
Object-Oriented Constraints for XML Schema.
Proceedings of the Objects and Databases - Third International Conference, 2010

2009
Algebraic specification techniques for parametric types with logic-based constraints.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Verification Technology for Object-Oriented/XML Transactions.
Proceedings of the Object Databases, Second International Conference, 2009

Mapping XSD to OO Schemas.
Proceedings of the Object Databases, Second International Conference, 2009

2008
Genericity in Java: persistent and database systems implications.
VLDB J., 2008

2007
Reflective Constraint Management for Languages on Virtual Platforms.
Journal of Object Technology, 2007

2006
Program verification techniques for xml schema-based technologies.
Proceedings of the ICSOFT 2006, 2006

Verification Theories for XML Schema.
Proceedings of the Flexible and Efficient Information Handling, 2006

2004
Parametric polymorphism for Java: is there any hope in sight?
SIGPLAN Notices, 2004

2003
Consistency of Java Transactions.
Proceedings of the Database Programming Languages, 9th International Workshop, 2003

Semantics of Objectified XML Constraints.
Proceedings of the Database Programming Languages, 9th International Workshop, 2003

2002
Institutions: Integrating Objects, XML and Databases.
Information & Software Technology, 2002

Behavioral Compatibility of Self-Typed Theories.
Proceedings of the ECOOP 2002, 2002

2001
A Model Theory for Generic Schema Management.
Proceedings of the Database Programming Languages, 8th International Workshop, 2001

2000
Semantics of Temporal Classes.
Inf. Comput., 2000

Temporal Object-Oriented Programming.
Comput. J., 2000

Java and OQL: A Reflective Solution for the Impedance Mismatch.
L'OBJET, 2000

Parametric Polymorphism and Orthogonal Persistence.
Proceedings of the Objects and Databases, 2000

1999
Type-Checking OQL Queries In the ODMG Type Systems.
ACM Trans. Database Syst., 1999

O2 and The ODMG Standard: Do They Match?
TAPOS, 1999

A Family of the ODMG Object Models.
Proceedings of the Advances in Databases and Information Systems, 1999

1998
Parametric Polymorphism for Java: A Reflective Solution.
Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

Orthogonal to the Java Imperative.
Proceedings of the ECOOP'98, 1998

1997
Order-Sorted Model Theory for Temporal Executable Specifications.
Theor. Comput. Sci., 1997

The ODMG Object Model: Does it Make Sense?
Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1997

Constrained Matching is Type Safe.
Proceedings of the Database Programming Languages, 6th International Workshop, 1997

A Temporal Constraint System for Object-Oriented Databases.
Proceedings of the Constraint Databases and Their Applications, 1997

1995
A Statically Typed, Temporal Object-Oriented Database Technology.
IEICE Transactions, 1995

1994
Object-Oriented Type Evolution Using Reflection.
Proceedings of the TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, 1994

F-Bounded Polymorphism for Database Programming Languages.
Proceedings of the East/West Database Workshop, 1994

Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping.
Proceedings of the Object-Oriented Programming, Proceedings of the 8th European Conference, 1994

Typed Declarative Object-Oriented Database Programming.
COODBSE, 1994

Expressivity of Typed Logic Paradigms for Object-Oriented Databases.
Proceedings of the Directions in Databases, 12th British National Conference on Databases, 1994

1992
Associated paper: Polymorphic and Reflective Type Structures.
Proceedings of the TOOLS 1992: 8th International Conference on Technology of Object-Oriented Languages and Systems, 1992

Object-Oriented Type Systems.
Proceedings of the TOOLS 1992: 8th International Conference on Technology of Object-Oriented Languages and Systems, 1992

1991
Joins as Pullbacks.
Proceedings of the Third Workshop on Foundations of Models and Languages for Data and Objects, 1991

1990
Persistent Metaobjects.
Proceedings of the Implementing Persistent Object Bases, 1990

Toward Multiparadigm Database Interfaces.
East/West Database Workshop, 1990

1989
Object-Oriented Database Programming
Texts and Monographs in Computer Science, Springer, ISBN: 0387967540, 1989

1986
Relational Database Technology
Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4612-4922-1, 1986

1981
Relational Pascal Data Base Interface.
Comput. J., 1981

1979
Proof Rules for Gotos.
Acta Inf., 1979

1978
The Design of Well-Structured and Correct Programs
Texts and Monographs in Computer Science, Springer, ISBN: 3540902996, 1978

1976
Structured extension of COBOL for handling data bases.
Inf. Syst., 1976

1975
Natural State Transformations.
J. Comput. Syst. Sci., 1975

1974
Categorical theory of tree processing.
Proceedings of the Category Theory Applied to Computation and Control, 1974


  Loading...