Faculty of Computer Science

  • 5000

    Belgium

Research Output 1969 2020

Filter
Article
Article

Automated Evaluation of Web Site Navigability : an Empirical Validation of Multi-leve Quality Models

Vaucher, S., Moulart, A., Saharaoui, H. & Habra, N., 1 Jan 2012, (Unpublished) In : Journal of Software Maintenance and Evolution.

Research output: Contribution to journalArticle

Automated Extraction of Product Comparison Matrices From Informal Product Descriptions

Ben Nasr, S., Bécan, G., Acher, M., Filho, J. B. F., Sannier, N., Baudry, B. & Davril, J-M., 1 Feb 2017, In : Journal of Systems and Software. 124, p. 82-103 22 p.

Research output: Contribution to journalArticle

Pulse code modulation
Managers
Specifications
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
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

Automatic Test Input Generation for Mercury

Degrave, F., Schrijvers, T. & Vanhoof, W., 2008, In : Proceedings of LOPSTR 2008. 5438, p. 71-86 16 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

Axioms for real-time logics

Schobbens, P-Y., Raskin, J-F. & Henzinger, T. A., 6 Mar 2002, In : Theoretical Computer Science. 274, 1-2, p. 151-182 32 p.

Research output: Contribution to journalArticle

Temporal logic
Axiomatization
Temporal Logic
Axioms
Linear Temporal Logic

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

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

Belief revision and verisimilitude

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

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

BIR: A Method for Selecting the Best Interpretable Multidimensional Scaling Rotation using External Variables

Marion, R., Bibal, A. & Frenay, B., 4 Feb 2019, In : Neurocomputing. 342, p. 83-96 14 p.

Research output: Contribution to journalArticle

File
Ecology
Invariance
Psychology

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

26 Downloads (Pure)

Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks

Jacquet, J-M., Linden, I. & Staicu, M-O., 6 Sep 2012, In : EPTCS. 91, 1421, p. 63-78 16 p., 6.

Research output: Contribution to journalArticle

File
Mobile ad hoc networks
Middleware
Communication

Blocking probability computation in reversible Markovian bufferless multi-server systems

De Vega Rodrigo, M. & Remiche, M-A., 2010, In : Performance Evaluation. 67, 3, p. 121-140

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

18 Downloads (Pure)

Bypassing the combinatorial explosion: Using similarity to generate and prioritize t-wise test configurations for software product lines

Henard, C., Papadakis, M., Perrouin, G., Klein, J., Heymans, P. & Traon, Y. L., 1 Jul 2014, In : IEEE Transactions on Software Engineering. 40, 7, p. 650-670 21 p., 6823132.

Research output: Contribution to journalArticle

Open Access
File
Explosions
Industry
Experiments

"Casse toi pov’ con", un discours politique et satirique protégé par la liberté d’expression

Van Enis, Q., 9 Apr 2013, Justice en ligne.

Research output: Contribution to specialist publicationArticle

85 Downloads (Pure)
File
Directive antennas
Correlation coefficient
Antenna
Closed-form
Azimuth

Collecting potential optimisations

Mazur, N., Janssens, G. & Vanhoof, W., 2002, In : Logic Based Program Synthesis and Transformation . 2664, p. 109-110 2 p.

Research output: Contribution to journalArticle

Comment déjouer les dispositifs de surveillance ? Ruses et tactiques de résistance dans les environnements numériques

Lazaro, C., 2016, Kairos, 24, p. 17-18.

Research output: Contribution to specialist publicationArticle

186 Downloads (Pure)

Comparing Goal-modelling Tools with the RE-tool Evaluation Approach

Matulevicius, R., Heymans, P. & Sindre, G., 2006, In : Information Technology and Control. 35, 3A, p. 276-284 9 p.

Research output: Contribution to journalArticle

File
Requirements engineering
Information systems
Experiments
61 Downloads (Pure)
File
Directed graphs

Compliance of the Token Bucket Model with Markovian Traffic

Remiche, M-A., 2005, In : Stochastic Models. 21, 2-3, p. 615-631 17 p.

Research output: Contribution to journalArticle

47 Downloads (Pure)

Componentwise fast convergence in the solution of full-rank systems of nonlinear equations

Gould, N., Orban, D., Sartenaer, A. & Toint, P., 1 May 2002, In : Mathematical Programming Series B. 92, 3, p. 481-508 28 p.

Research output: Contribution to journalArticle

Open Access
File
System of Nonlinear Equations
Constrained optimization
Newton-Raphson method
Nonlinear equations
Linear systems
19 Downloads (Pure)

Compound Term Composition Algebra: The Semantics

Tzitzikas, Y., Analti, A. & Spyratos, N., 2004, In : Journal on Data Semantics. 3360, p. 58-84 27 p.

Research output: Contribution to journalArticle

File
Algebra
Semantics
Chemical analysis
Taxonomies
Mathematical operators

"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

Zeolites
Structural analysis
Molecular modeling
Molecular sieves
Artificial intelligence
8 Downloads (Pure)
File

Concurrence parasitaire sanctionnée par la Cour d'appel de Liège

Rosier, K., 2016, Bulletin juridique et social, p. p. 11.

Research output: Contribution to specialist publicationArticle

Open Access

Contrôle des assurés sociaux et profilage dans le secteur public

Degrave, É., 2015, In : Journal des Tribunaux. 6610, p. 517-519

Research output: Contribution to journalArticle

48 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

Correspondance privée sauvegardée sur le serveur de l'entreprise: à quoi s'attendre ?

Rosier, K., 2016, Bulletin juridique et social, 567, p. 6.

Research output: Contribution to specialist publicationArticle

Open Access
Requirements engineering
Sustainable development

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

Crafting networks to achieve, or not achieve, chaotic states

De Nigris, S. & Leoncini, X., 27 Apr 2015, In : Physical Review E - Statistical, Nonlinear, and Soft Matter Physics. 91, 4, 042809.

Research output: Contribution to journalArticle

Effective Dimension
Topology
topology
Eccentricity
Thermodynamic Limit
12 Downloads (Pure)

Crear: Consejero para la Repetición de Artículos y Evaluadores en Eventos Académicos

Ortiz Vega, J. J., Diaz, J. F. & Aranda, J., 2004, In : Ingeniería Y Competitividad. 6, 1, p. 53-62 10 p.

Research output: Contribution to journalArticle

Open Access
File

Création d’un instrument d’évaluation de la professionnalité en formation initiale des enseignants

Dantinne, F., Dehon, A., Dejean, K., Derobertmasure, A., Leroy, C., Charlier, E., Beckers, J. & Demeuse, M., 2015, (Accepted/In press) In : Education et Formation. 302

Research output: Contribution to journalArticle

CSMR 2012 Special Issue: Guest Editorial

Mens, T. & Cleve, A., 2014, In : Journal of software: Evolution and Process. 26, 8, p. 729-729

Research output: Contribution to journalArticle