Frank Kriwaczek

According to our database, Frank Kriwaczek authored at least 6 papers between 1988 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2004

Deriving Tool Specifications from User Actions.

Christopher J. Hogger, Frank Kriwaczek

IEICE Trans. Inf. Syst., 2004

Constraint-Guided Enterprise Portals.

Christopher J. Hogger, Frank Kriwaczek

Proceedings of the ICEIS 2004, 2004

2003

A Flexible Constraint-Based Portal Architecture.

Christopher J. Hogger, Frank Kriwaczek, Mohd S. Ahmad

Proceedings of the 16th International Conference on Computer Applications in Industry and Engineering, 2003

1992

An Introduction to Constraint Logic Programming.

Frank Kriwaczek

Proceedings of the Advanced Topics in Artificial Intelligence, 1992

1991

A Family of Goal Directed Theorem Provers Based on Conjunction and Implication: Part I.

Dov M. Gabbay, Frank Kriwaczek

J. Autom. Reason., 1991

1988

Man-Computer Interfaces: An Introduction to Software Design and Implementation.

Frank Kriwaczek

J. Inf. Technol., 1988