Faculty of Computer Science

  • 5000

    Belgium

Research Output 1969 2019

Filter
Article
2002

Reuse of results in termination analysis of typed logic programs

Bruynooghe, M., Codish, M., Genaim, S. & Vanhoof, W., 2002, In : Static Analysis, 9th International Symposium . 2477, p. 477-492 16 p.

Research output: Contribution to journalArticle

2001
Organic compounds
Molecular structure
Screening
Chemical compounds
Molecules

Approche transformationnelle de la réingénierie des données

Delcroix, C., Thiran, P. & Hainaut, J-L., 2001, In : Ingénierie des Systèmes d'Information. 6, 1, p. 61-98 38 p.

Research output: Contribution to journalArticle

Binding-time Annotations without Binding-time Analysis

Vanhoof, W. & Bruynooghe, M., 2001, In : Logic for Programming, Artificial Intelligence, and Reasoning. 2250, p. 707-722 16 p.

Research output: Contribution to journalArticle

8 Downloads (Pure)
File

Guaranteed Frame Rate : a better service for TCP/IP in ATM networks

Bonaventure, O. & Nelissen, J., 2001, In : IEEE Network Magazine. 15, 1, p. 46-54 9 p.

Research output: Contribution to journalArticle

Asynchronous transfer mode
Switches
Automatic teller machines

Le programme Prométhée

Graitson, D., Osterrieth, M., Van Overbeke, M. & Lobet-Maris, C., 2001, In : Wallonie. 69, p. 26-51 26 p.

Research output: Contribution to journalArticle

Pos(T) : Analyzing dependencies in typed logic programs

Bruynooghe, M., Vanhoof, W. & Codish, M., 2001, In : Perspectives of System Informatics. 2244, p. 406-420 15 p.

Research output: Contribution to journalArticle

24 Downloads (Pure)

Superlinear convergence of primal-dual interior point algorithms for nonlinear programming

Gould, N., Orban, D., Sartenaer, A. & Toint, P., 1 Mar 2001, In : SIAM Journal on Optimization. 11, 4, p. 974-1002 29 p.

Research output: Contribution to journalArticle

Open Access
File
Primal-dual Interior-point Algorithm
Superlinear Convergence
Nonlinear programming
Nonlinear Programming
Equality Constraints
2000

A rate adaptive shaper for differentiated services

Bonaventure, O. & De Cnodder, S., 2000, In : Requests For Comments (RFC). 2963

Research output: Contribution to journalArticle

Color

Asymptotic Poisson Distribution in Isotropic Ph-Planar Point Processes

Remiche, M-A. & Latouche, G., 2000, In : Stochastic Models. 16, 2, p. 259-272

Research output: Contribution to journalArticle

Blackboard Relations in the µLog Coordination Model.

Jacquet, J-M. & De Bosschere, K., 2000, In : New Generation Computing. 19, 1, p. 23-56 34 p.

Research output: Contribution to journalArticle

Bottom-up specialisation of logic programs

Vanhoof, W., De Schreye, D. & Martens, B., 2000, In : Journal of Functional and Logic Programming. 1999, 2, p. 1-33 33 p.

Research output: Contribution to journalArticle

Démocratie électronique et citoyenneté virtuelle

Van Bastelaer, B. & Lobet-Maris, C., 2000, In : Wallonie. 62, p. 57-67 11 p.

Research output: Contribution to journalArticle

Development Models for Virtual Cities

Van Bastelaer, B. & Lobet-Maris, C., 2000, In : Communications & Stratégies. 39, p. 59-74 16 p.

Research output: Contribution to journalArticle

development model
development project
social structure
uncertainty
trend

Etat de l'art et discours en matière de Société de l'Information en Belgique

De Vos, A., Henin, L. & Van Bastelaer, B., 2000, In : Revue Ubiquité. 5, p. 15-37 23 p.

Research output: Contribution to journalArticle

"La croissance des entreprises en Wallonie"

Van Wymeersch, C. & Debaise, M., 2000, In : Revue du CESRW. 69, p. 52-67 16 p.

Research output: Contribution to journalArticle

1999

A new hybrid architecture for helping the knowledge acquisition process

Brasil, L. M. & Fraiture, M. N., 1999, In : Congrès de Cybernétique (Namur).

Research output: Contribution to journalArticle

A RED discard strategy for ATM networks and its performance evaluation with TCP/IP traffic

Rosolen, V., Bonaventure, O. & Leduc, G., 1999, In : ACM Computer Communication Review. 29, 3

Research output: Contribution to journalArticle

Asynchronous transfer mode
Automatic teller machines
Switches

DB-MAIN: A Next Generation Meta-CASE

Englebert, V. & Hainaut, J-L., 1999, (Unpublished) In : Information Systems Journal. 24, 2, p. 99-112 14 p.

Research output: Contribution to journalArticle

Démocratie électronique et citoyenneté virtuelle

Van Bastelaer, B. & Lobet-Maris, C., 1999, In : Inside Internet. Summer, p. 102-107 6 p.

Research output: Contribution to journalArticle

Fully decidable logics, automata and classical theories for defining regular real-time languages

Henzinger, T., Raskin, J-F. & Schobbens, P-Y., 1999, In : MPI - I. Research report. 3, 3, p. 1-102 102 p.

Research output: Contribution to journalArticle

Les nouvelles technologies à l'école : structures scolaires et politiques publiques

Henin, L., 1999, In : Revue Ubiquité. 3, p. 131-137 7 p.

Research output: Contribution to journalArticle

Logic of `initially' and `next': Complete axiomatization and complexity

Schobbens, P-Y. & Raskin, J-F., 12 Mar 1999, In : Information processing letters. 69, 5, p. 221-225 5 p.

Research output: Contribution to journalArticle

Temporal logic
Axiomatization
Completeness
Logic
Deductive System
37 Downloads (Pure)

Methodology and CASE tools for the Development of Federated Databases

Hainaut, J-L., Thiran, P., Hick, J-M., Bodart, S. & Deflorenne, A., 1999, In : International Journal of Cooperative Information Systems. 8(2-3), p. 169-194 26 p.

Research output: Contribution to journalArticle

Open Access
File
Reverse engineering
Information systems
Recovery

Proving a conjecture of Andreka on temporal logic

Raskin, J-F. & Schobbens, P-Y., 1999, In : MPI - I. Research report. 3, 4, p. 1-13 13 p.

Research output: Contribution to journalArticle

The logic of event clocks: decidability, complexity and expressiveness

Schobbens, P-Y. & Raskin, J-F., 1999, In : Journal of automata, languages and combinatorics. 4, 3, p. 247-282 36 p.

Research output: Contribution to journalArticle

Vers une éthique de l'Internet ?

Berleur, J., 1999, In : Choisir. p. 20-25 6 p.

Research output: Contribution to journalArticle

1998

A Framework for bottom up specialisation of logic programs

Vanhoof, W., De Schreye, D. & Martens, B., 1998, In : Principles of Declarative Programming, Proceedings of Joint International Symposium PLILP/ALP'98. 1490, p. 54-72 19 p.

Research output: Contribution to journalArticle

A Proposal for a Scenario Classification Framework

Rolland, C., Ben Achour, C., Cauvet, C., Ralyte, J., Sutcliffe, A., Maiden, N., Jarke, M., Haumer, P., Pohl, K., Dubois, E. & Heymans, P., 1998, In : Requirements Engineering Journal. 3, 1, p. 23-47 25 p.

Research output: Contribution to journalArticle

ArchipeL: vers un modèle à grappes de tâches

Colin, J-N. & Pavisic, D., 1998, In : Calculateurs parallèles réseaux et systèmes répartis. 10, 3

Research output: Contribution to journalArticle

61 Downloads (Pure)
File
Directed graphs

"Comptes consolidés: un bilan en demi-teintes"

Cléda, B., Servais, J-P. & Van Wymeersch, C., 1998, In : Trends-Tendances Review. Vol. 1, n° 2, p. 36-39 4 p.

Research output: Contribution to journalArticle

L'utilisation des Systèmes d'Information inter-organisationnels par les PME: Mythes et Réalités

Delhaye, R., Walthery, P., Henrotte, V., Lobet-Maris, C. & Lobet-Maris, C., 1998, In : Business Information Technology. 566, p. 73-74 2 p.

Research output: Contribution to journalArticle

On the Expressiveness of Linda-like Concurrent Languages

Jacquet, J-M. & Brogi, A., 1998, In : Electronic Notes in Theoretical Computer Science. 2

Research output: Contribution to journalArticle

Time to congestion in a Quasi-Birth-and-Death process

Remiche, M-A., 1998, In : Opsearch. 35, 3, p. 169-192

Research output: Contribution to journalArticle

1997

Accidents de la route et distance au domicile. Approche quantitative pour Bruxelles

Thiran, P. & THOMAS, I., 1997, (Unpublished) In : Cahiers Scientifiques du Transport. 32, p. 105-120 16 p.

Research output: Contribution to journalArticle

78 Downloads (Pure)

Automatic determination of an initial trust region in nonlinear programming

Sartenaer, A., 1997, In : SIAM Journal on Scientific Computing. 18, 6, p. 1788-1803 16 p.

Research output: Contribution to journalArticle

File
Trust Region
Nonlinear programming
Nonlinear Programming
Radius
Trust Region Method

Counterfactuals and updates as Inverse Modalities

Ryan, M. & Schobbens, P-Y., 1997, In : Journal of Logic, Language and Information. 6, 2, p. 123-146 24 p.

Research output: Contribution to journalArticle

Syntactics
axiomatization
logic
guarantee
Modality

To parse or not to parse

Vanhoof, W. & Martens, B., 1997, In : Logic Program Synthesis and Transformation, Proceedings of the 7th International Workshop LOPSTR'97 . 1463, p. 314-333 20 p.

Research output: Contribution to journalArticle