Faculty of Computer Science

  • 5000

    Belgium

Research Output 1969 2019

Filter
Article
1978

Informatique et vie privée: enjeux réels

Berleur, J. & Poullet, Y., 1978, In : Interdoc. 1, p. 6-12 7 p.

Research output: Contribution to journalArticle

1981
Open Access
1982

Le droit à la vie privée selon le projet Gol

Poullet, Y. & Berleur, J., 1982, In : Journal des Tribunaux. 5230, p. 769-711 59 p.

Research output: Contribution to journalArticle

1983

Belgian privacy bill has problems and diffirencies

Poullet, Y. & Berleur, J., 1983, In : Transnational Data Report. 6, 1, p. 38-40 3 p.

Research output: Contribution to journalArticle

1984

Source metaphors in English

Vanparys, J., 1984, In : Journal of Pragmatics.

Research output: Contribution to journalArticle

1986

Droit et informatique, informatique et droit

Poullet, Y., Amory, B. & Berleur, J., 1986, In : Journal de Réflexion sur l'Informatique. 2, p. 1-32 32 p.

Research output: Contribution to journalArticle

1989

ADAM & Eve (Nederlands): Tekstanalyse en het genereren van oefeningen met de PC

Baten, L. & Vanparys, J., 1989, In : Levende talen.

Research output: Contribution to journalArticle

1990

ADAM & EVE - Computer-aided instruction

Vanparys, J., 1990, In : Celex News.

Research output: Contribution to journalArticle

Applying VDM to large developments

Ledru, Y. & Schobbens, P-Y., 1990, In : ACM Sigsoft Software Engineering Notes (SEN). 15, 4, p. 55-58 4 p.

Research output: Contribution to journalArticle

"On Pareto Improving Commodity Tax Changes under Fiscal Competition"

De Crombrugghe, A. & Tulkens, H., 1990, In : Journal of Public Economics. 41, 3, p. 335-350 16 p.

Research output: Contribution to journalArticle

1991

An experiment in formal software development : Using the B theorem prover on a VDM case study

Lafontaine, C., Ledru, Y. & Schobbens, P-Y., 1991, In : Communications of the ACM. 34, 5

Research output: Contribution to journalArticle

"Dynamic Strategic Monetary Policies and Coordination in Interdependent Economies: a Comment"

De Crombrugghe, A., Roubini, N. & Sachs, J., 1991, In : American Economic Review. 81, 5, p. 1439-1442 4 p.

Research output: Contribution to journalArticle

On the Meaning of "but''

Schobbens, P-Y., 1991, In : Science of Computer Programming. 20, 1-2, p. 73-111 39 p.

Research output: Contribution to journalArticle

The language laboratory: A new evaluation

Kelly, P. & Vanparys, J., 1991, In : Zielsprache Englisch. 4, p. 29-34 6 p.

Research output: Contribution to journalArticle

1992

WIC: Woorden in Context

Baten, L. & Vanparys, J., 1992, In : School & computer.

Research output: Contribution to journalArticle

1993

Exceptions for algebraic specifications

Schobbens, P-Y., 1993, In : Science of Computer Programming. 20

Research output: Contribution to journalArticle

25 Downloads (Pure)
Open Access
File
Trust Region Algorithm
Convex Constraints
Global Convergence
Projection
Optimization

Stabilization policy and budgetary adjustment in Poland

DE BROECK, M., De Crombrugghe, A. & KUDLINSKI, R., 1993, In : Russian and Eastern European Finance and Trade.

Research output: Contribution to journalArticle

1994
Zeolites
Structural analysis
Molecular modeling
Molecular sieves
Artificial intelligence

L'EDI dans les entreprises belges

Van Bastelaer, B. & Lobet-Maris, C., 1994, Athena, 99, p. 4-12 9 p.

Research output: Contribution to specialist publicationArticle

1995
20 Downloads (Pure)

A class of trust region methods for nonlinear network optimization problems

Sartenaer, A., 1995, In : SIAM Journal on Optimization. 5, 2, p. 379-407 29 p.

Research output: Contribution to journalArticle

Open Access
File
Nonlinear networks
Trust Region Method
Trust Region
Network Optimization
Nonlinear Optimization
28 Downloads (Pure)

Automatic decrease of the penalty parameter in exact penalty function methods

Mongeau, M. & Sartenaer, A., 1995, In : European Journal of Operational Research. 83, p. 686-699 14 p.

Research output: Contribution to journalArticle

Open Access
File
Exact Penalty Function
Penalty Function Method
Penalty
Decrease
Linear programming

Belief revision and verisimilitude

Ryan, M. & Schobbens, P-Y., 1995, In : Notre Dame Journal of Formal Logic. 36, 1

Research output: Contribution to journalArticle

Introduction technique aux autoroutes de l'information

Nachtergael, V. & d'Udekem-Gevers, M., 1995, Athéna, 114, p. 90-92 3 p.

Research output: Contribution to specialist publicationArticle

140 Downloads (Pure)
Open Access
File

Les Centres Financiers et la Théorie du Commerce International

De Crombrugghe, A. & LACROIX, Y., 1995, In : Revue de la Banque. 59, 8, p. 469-481 13 p.

Research output: Contribution to journalArticle

Autoroutes de l'information, emploi, travail

Delhaye, R., Van Bastelaer, B. & Lobet-Maris, C., 1996, In : Communications & Stratégies. 22, p. 37-79 43 p.

Research output: Contribution to journalArticle

Belgium, a Laboratory for Europe: the Federal Model and the Information Society

Van Bastelaer, B. & Lobet-Maris, C., 1996, In : Telematics and Informatics. 13, 2/3, p. 81-96 16 p.

Research output: Contribution to journalArticle

47 Downloads (Pure)
Open Access
File
Augmented Lagrangians
Augmented Lagrangian
Equality Constraints
Linear Constraints
Convergence Properties
26 Downloads (Pure)

Convergence properties of minimization algorithms for convex constraints using a structured trust region

Conn, A. R., Gould, N., Sartenaer, A. & Toint, P. L., 1 Nov 1996, In : SIAM Journal on Optimization. 6, 4, p. 1059-1086 28 p.

Research output: Contribution to journalArticle

Open Access
File
Convex Constraints
Trust Region
Convergence Properties
Trust Region Algorithm
Feasible region
Reverse engineering
User interfaces
Program processors
Specifications

Editorial

d'Udekem-Gevers, M., 1996, In : Journal de Réflexion sur l'Informatique. 33, p. 3-7 5 p.

Research output: Contribution to journalArticle

Methodological issues in information technology assessment

Nguyen, N. T., Lobet-Maris, C., Berleur, J. & Kusters, B., 1 Dec 1996, In : International Journal of Technology Management. 11, 5-6, p. 566-580 15 p.

Research output: Contribution to journalArticle

technology assessment
Information technology
information technology
paradigm
Electronic data interchange
Carrier concentration
Cyclodextrins
Proteins
Probability density function
Molecular mechanics
Semantics
Statistics
Specifications
Data structures
Software design

Using threads to implement parallel tasks

Colin, J-N., Libert, G. & Geib, J-M., 1996, In : Advances in Parallel Computing. 11, p. 271-278 8 p.

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

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