Faculty of Computer Science

  • 5000

    Belgium

Research Output 1969 2019

Filter
Article
2005

Flexible Reporting for Automated Usability Evaluation of Web Sites

Keita, M., Beirekdar, A., Randolet, F., Fraiture, M. N., Vanderdonckt, J. & Mariage, C., 2005, In : Human-Computer interaction- . 3585, p. 281-294 14 p.

Research output: Contribution to journalArticle

Fluid Queues to Solve Jump Processes

Dzial, T., Breuer, L., da Silva Soares, A., Latouche, G. & Remiche, M-A., 2005, In : Performance Evaluation. 62, 1-4, p. 132-146 15 p.

Research output: Contribution to journalArticle

Software engineering
86 Downloads (Pure)

Report on the Workshop on Wrapper Techniques for Legacy Data Systems

Thiran, P., Risch, T., Costilla, C., Henrard, J., Kabisch, T., Petrini, J., van den Heuvel, W-J. & Hainaut, J-L., 2005, In : ACM SIGMOD Record. 34, 3, p. 85-86 2 p.

Research output: Contribution to journalArticle

File

Risk Processes Analyzed as Fluid Queues

Badescu, A., Breuer, L., da Silva Soares, A., Latouche, G., Remiche, M-A. & Stanford, D., 2005, In : Scandinavian Actuarial Journal. 2005, 2, p. 127-141 15 p.

Research output: Contribution to journalArticle

Searhing semantically equivalent code fragments in logic programs

Vanhoof, W., 2005, In : Logic Based Program Synthesis and Transformation . 3573, p. 1-18 18 p.

Research output: Contribution to journalArticle

69 Downloads (Pure)

Sensitivity of trust-region algorithms to their parameters

Gould, N., Orban, D., Sartenaer, A. & Toint, P., 1 Sep 2005, In : 4OR. 3, 3, p. 227-241 15 p.

Research output: Contribution to journalArticle

Open Access
File
Trust Region Algorithm
Trust Region
Programming
Update
Range of data

Temporal logic for strategy synthesis inLTL games

Kugler, H., Harel, D., Pnueli, A., Lu, Y. & Bontemps, Y., 2005, In : Tools and Algorithms for the Construction and Analysis of Systems. 3440, p. 445-460 16 p.

Research output: Contribution to journalArticle

2004

Alternating-time logic with imperfect recall

Schobbens, P-Y., 1 Apr 2004, In : Electronic Notes in Theoretical Computer Science. 85, p. 82-93 12 p.

Research output: Contribution to journalArticle

Temporal logic
Model checking
Temporal Logic
Imperfect
Model Checking

An algebraic approach for codesign

Aiguier, M., Beroff, S. & Schobbens, P-Y., 2004, In : ICTAC'2004 - First International Colloquium on Theoretical Aspects of Computing. 3407

Research output: Contribution to journalArticle

42 Downloads (Pure)

A starting-point strategy for nonlinear interior methods

Gertz, M., Nocedal, J. & Sartenaer, A., 2004, In : Applied Mathematics Letters. 17, p. 945-952 8 p.

Research output: Contribution to journalArticle

Open Access
File
Interior Methods
Nonlinear programming
Multiplier
Non-convexity
Experiments
18 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
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

Model-checking access control policies

Guelev, D., Ryan, M. & Schobbens, P-Y., 2004, In : Proc. 7th International Conference on Information Security (ISC 2004). 3225, p. 219-230 12 p.

Research output: Contribution to journalArticle

Offline specialisation in Prolog using a hand-written compiler generator

Leuschel, M., Jorgensen, J., Bruynooghe, M. & Vanhoof, W., 2004, In : Theory and Practice of Logic Programming. 4, 1, p. 139-191 53 p.

Research output: Contribution to journalArticle

On the Expressiveness of Relative-Timed Coordination Models

Linden, I., Jacquet, J-M., De Bosschere, K. & Brogi, A., 2004, In : Electronic Notes in Theoretical Computer Science. 97, p. 125-153 29 p.

Research output: Contribution to journalArticle

Expressiveness
Model
Communication

Seniors and ICT's: a Sense of Wisdom

GALAND, J-M. & Lobet-Maris, C., 2004, In : Communications & Stratégies. 53, p. 87-101

Research output: Contribution to journalArticle

2003

A fixed point semantics for logic programs extended with cuts

Vanhoof, W., Tronçon, R. & Bruynooghe, M., 2003, In : Logic Based Program Synthesis and Transformation, LOPSTR 2002 . 2664, p. 238-257 20 p.

Research output: Contribution to journalArticle

eConf: une solution efficace pour l'enregistrement multimédia de cours

Nicoll, S., Pirot, V. & Bonaventure, O. (ed.), 2003, In : Document numérique. 7, 1-2/2003, p. 11-23 13 p.

Research output: Contribution to journalArticle

Hablar sin comunicar o comunicar sin hablar : del GSM al SMS.

Henin, L., 2003, In : Revista de estudios de Juventud. 57, p. 101-114 14 p.

Research output: Contribution to journalArticle

Image and Use of the Internet as Presented through Advertising

Henin, L., 2003, In : Communications and strategies. 49, p. 185-201

Research output: Contribution to journalArticle

On Modeling Coordination via Asynchronous Communication and Enhanced Matching

Brogi, A., Jacquet, J-M. & Linden, I., 2003, In : Electronic Notes in Theoretical Computer Science. 68, 3, p. 284-309 26 p.

Research output: Contribution to journalArticle

Asynchronous Communication
Operational Semantics
Semantics
Denotational Semantics
Communication

On the expressiveness of coordination via shared dataspaces

Jacquet, J-M. & Brogi, A., 2003, In : Science of Computer Programming. 46, 1-2, p. 71-98 28 p.

Research output: Contribution to journalArticle

Poklicna deontologija, samourejanje in etika v informacijski druzbi

Berleur, J., 2003, In : Organizacija Znanja (OZ). 8, 4, p. 166-174 9 p.

Research output: Contribution to journalArticle

Research in Database Engineering at the University of Namur

Hainaut, J-L., 2003, In : ACM SIGMOD Record. 32, 4, p. 124-128 5 p.

Research output: Contribution to journalArticle

Suspension Terms as a Means for Meta-coordination in the muLog Coordination Framework

Jacquet, J-M. & De Bosschere, K., 2003, In : The Journal of Supercomputing. 24, 2, p. 121-129 9 p.

Research output: Contribution to journalArticle

The role of the inclination in the captures in external resonances

Jancart, S., Lemaître, A. & Letocart, V., 2003, (Unpublished) In : Celestial Mechanics and Dynamical Astronomy. 86, 4, p. 363-383 21 p.

Research output: Contribution to journalArticle

Transient Markov Arrival Process

Latouche, G., Remiche, M-A. & Taylor, P., 2003, In : Annals of Applied Probability. 13, 2, p. 628-640

Research output: Contribution to journalArticle

Une démarche d'amélioration des processus logiciels orientée contexte,

Alexandre, S., Renault, A. & Habra, N., 2003, In : Génie Logiciel. 66

Research output: Contribution to journalArticle

2002

An MAP-based Poisson Cluster model for Web traffic

Latouche, G. & Remiche, M-A., 2002, In : Performance Evaluation. 49, p. 359-370

Research output: Contribution to journalArticle

27 Downloads (Pure)
File

A two-level temporal logic for evolving specifications

Schobbens, P. Y., Saake, G., Sernadas, A. & Sernadas, C., 16 Aug 2002, In : Information processing letters. 83, 3, p. 167-172 6 p.

Research output: Contribution to journalArticle

Temporal logic
Temporal Logic
Specification
Specifications
Linear Temporal Logic

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

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

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

Implications of interdomain traffic characteristics on traffic engineering

Uhlig, S. & Bonaventure, O., 2002, In : European Transactions on Telecommunications.

Research output: Contribution to journalArticle

Agglomeration
Topology
Engineers

Internet, des images aux usages. Analyse d'un corpus publicitaire

Henin, L., 2002, In : Terminal. 87

Research output: Contribution to journalArticle

25 Downloads (Pure)
Open Access
File

Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes

Jacquet, J-M., Brim, L., Kretinsky, M. & Gilbert, D., 2002, In : Computers and Artificial Intelligence. 21, 6

Research output: Contribution to journalArticle

45 Downloads (Pure)

On the behavior of the gradient norm in the steepest descent method

Nocedal, J., Sartenaer, A. & Zhu, C., 2002, In : Computational Optimization and Application. 22, 1, p. 5-35 31 p.

Research output: Contribution to journalArticle

Open Access
File
Steepest descent method
oscillation
method
norm

Operators and Laws for Combining Preference Relations

Andreka, H., Ryan, M. & Schobbens, P-Y., 2002, In : Journal of Logic and Computation. 12

Research output: Contribution to journalArticle

Questions éthiques pour la gouvernance de l'Internet

Berleur, J., 2002, In : Cahiers du numérique. 2, 3, p. 17-33 17 p.

Research output: Contribution to journalArticle

8 Downloads (Pure)

Réguler Internet

Berleur, J. & Poullet, Y., 2002, In : Etudes. 3975, p. 463-475 13 p.

Research output: Contribution to journalArticle

File

Report on the EFIS 2001 Workshop

Conrad, S., Hasselbring, W., James, A., Kambur, D., Kutsche, R. & Thiran, P., 2002, In : The Computer Journal. 45, 2, p. 249-251 3 p.

Research output: Contribution to journalArticle