Research Output per year
Research Output 1969 2020
- 250 - 300 out of 394 results
- Type (ascending)
Article
Model-based mutant equivalence detection using automata language equivalence and simulations
Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P-Y. & Heymans, P., 1 Jul 2018, In : Journal of Systems and Software. 141, p. 1-15 15 p.Research output: Contribution to journal › Article
Open Access
File
Finite automata
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 journal › Article
Model checking software product lines with SNIP
Classen, A., Cordy, M., Heymans, P., Schobbens, P-Y. & Legay, A., 1 Jan 2012, In : International Journal on Software Tools for Technology Transfer (STTT). 14, 5, p. 589-612 24 p.Research output: Contribution to journal › Article
Model checking
Specification languages
Specifications
24
Downloads
(Pure)
Modeling and Specification of Distributed Timed Systems
Ortiz Vega, J. J., 10 Sep 2013, In : Ingeniería Y Competitividad. vol 15, 2, p. 229-238 10 p., 10.Research output: Contribution to journal › Article
File
Modeling Bufferless Packet-Switching Networks with Packet Dependencies
De Vega Rodrigo, M., Latouche, G. & Remiche, M-A., 2009, (Unpublished) In : Computer Networks.Research output: Contribution to journal › Article
Modeling of an Online TV Recording Service
Hossfeld, T., Leibnitz, K. & Remiche, M-A., 2007, In : ACM Sigmetrics Performance Evaluation Review. 35, 2, p. 15-17 3 p.Research output: Contribution to journal › Article
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, 6Research output: Contribution to journal › Article
Modernisation de l'accomplissement des actes de procédure
Rosier, K., 2016, Bulletin juridique et social, n°558, p. p. 2.Research output: Contribution to specialist publication › Article
Open Access
Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491)
Cleve, A., Kindler, E., Stevens, P. & Zaytsev, V., 2018, In : Dagstuhl Reports. 8, 12Research output: Contribution to journal › Article
Newton's Iteration for the Extinction Probability of a Markovian Binary Tree
Hautphenne, S., Latouche, G. & Remiche, M-A., 2008, In : Linear Algebra and its Applications. 428, p. 2791-2804 14 p.Research output: Contribution to journal › Article
Normalising what ? about a GMO body and Shan's life
Grandjean, N., 2017, In : DiGest. 4, 2, p. 33-45Research output: Contribution to journal › Article
Numerical experience with a recursive trust-region method for multilevel nonlinear bound-constrained optimization
Gratton, S., Mouffe, M., Sartenaer, A., Toint, P. & Tomanos, D., 1 Jun 2010, In : Optimization Methods and Software. 25, 3, p. 359-386 28 p.Research output: Contribution to journal › Article
File
Trust Region Method
Recursive Method
Constrained optimization
Constrained Optimization
Trust Region Algorithm
Obligation de moyens ou de résultat en matière médicale: quand le juge doit sonder les coeurs et les reins des parties, note sous Liège, 11 octobre 2007 et 17 avril 2008
Van Enis, Q., 2008, In : Revue régionale de droit. 132, p. 38-48 11 p.Research output: Contribution to journal › Article
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 journal › Article
On Distributed Density in Tuple-based Coordination Languages
Darquennes, D., Jacquet, J-M. & Linden, I., 12 Feb 2015, In : EPTCS. 175, p. 26-53Research output: Contribution to journal › Article
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 journal › Article
Asynchronous Communication
Operational Semantics
Semantics
Denotational Semantics
Communication
"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 journal › Article
46
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 journal › Article
Open Access
File
Steepest descent method
oscillation
method
norm
On the exact distribution of the isotropic planar point processes of phase-type
Remiche, M-A., 2000, In : Journal of computational and applied mathematics. 116, 1, p. 77-91Research output: Contribution to journal › Article
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 journal › Article
On the Expressiveness of Linda-like Concurrent Languages
Jacquet, J-M. & Brogi, A., 1998, In : Electronic Notes in Theoretical Computer Science. 2Research output: Contribution to journal › Article
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 journal › Article
Expressiveness
Model
Communication
On the Expressiveness of Timed Coordination Models
Linden, I., Jacquet, J-M., De Bosschere, K. & Brogi, A., 2006, In : Science of Computer Programming. 61, 2, p. 152-187 36 p.Research output: Contribution to journal › Article
On the Expressiveness of Timed Coordination via Shared Dataspaces
Linden, I. & Jacquet, J-M., 2007, In : Electronic Notes in Theoretical Computer Science. 180, 2, p. 71-89 19 p.Research output: Contribution to journal › Article
On the Introduction of Density in Tuple-Space Coordination Languages
Darquennes, D., Jacquet, J-M. & Linden, I., Jan 2016, In : Science of Computer Programming. 115, p. 149-176Research output: Contribution to journal › Article
Deposits
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 journal › Article
4
Downloads
(Pure)
On the relationship between workfow models and document types
van Hee, K., Hidders, J., Houben, G-J., Paredaens, J. & Thiran, P., 2009, (Unpublished) In : Information Systems. 34, 1, p. 178-208 31 p.Research output: Contribution to journal › Article
File
Information systems
Petri nets
Industry
On the tractability of the measure associated to the phase-type planar point process
Remiche, M-A., 2001, In : Methodology and Computing in Applied Probability. 3, 4, p. 411-426Research output: Contribution to journal › Article
Ontology Development for The Semantic Web: An HTML Form-based Reverse Engineering Approach
Benslimane, S. M., Benslimane, D., Malki, M., Maamar, Z., Thiran, P., Amghar, Y. & Hacid, M-S., 2007, (Unpublished) In : Journal of Web Engineering. 6, 2, p. 143-164 22 p.Research output: Contribution to journal › Article
HTML
Reverse engineering
Semantic Web
Ontology
Semantics
Operators and Laws for Combining Preference Relations
Andreka, H., Ryan, M. & Schobbens, P-Y., 2002, In : Journal of Logic and Computation. 12Research output: Contribution to journal › Article
Pairwise testing for software product lines: Comparison of two approaches
Perrouin, G., Oster, S., Sen, S., Klein, J., Baudry, B. & Le Traon, Y., 1 Sep 2012, In : Software Quality Journal. 20, 3-4, p. 605-643Research output: Contribution to journal › Article
Testing
Explosions
Partial and paraconsistent three-valued logics
Degauquier, V., 1 Jun 2016, In : Logic and Logical Philosophy. 25, 2, p. 143-171 29 p.Research output: Contribution to journal › Article
Logic
Sequent Calculus
Completeness
Cut
Logical Connectives
PathEx: A novel multi factors based datasets selector web tool
Bareke, E., Pierre, M., Gaigneaux, A., De Meulder, B., Depiereux, S., Berger, F., Habra, N. & Depiereux, E., 2010, In : BMC Bioinformatics. 11Research output: Contribution to journal › Article
1386
Downloads
(Pure)
Performance analysis for a sample of microfinance institutions in India
De Crombrugghe, A., TENIKUE, M. & SUREDA, J., 2008, In : Annals of Public and Cooperative Economics. 79, 2, p. 269-299 31 p.Research output: Contribution to journal › Article
File
Peut-on filmer ou enregistrer les propos de son patron pour se constituer une preuve ?
Rosier, K., 2016, Bulletin juridique et social, 563, p. 5.Research output: Contribution to specialist publication › Article
Open Access
Pistes pour une mesure de la compétence numérique
Vandeput, E. & Henry, J., 2012, In : Questions Vives : Recherches en Education. 7, 17Research output: Contribution to journal › Article
Plaidoyer pour l’enseignement de l’histoire de l’informatique
Gevers, M., 16 Dec 2015, In : www.regional-it.be.Research output: Contribution to journal › Article
Planning OBS Networks with QoS Constraints
De Vega Rodrigo, M. & Remiche, M-A., 2007, In : Photonic Network Communications. 14, 2, p. 229-239 11 p.Research output: Contribution to journal › Article
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 journal › Article
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 journal › Article
Preface of the International Workshop on Database Interoperability
Thiran, P., Risch, T. & Benslimane, D., 2006, In : Electronic Notes in Theoritical Computer Science. 150, 2, p. 1-2 2 p.Research output: Contribution to journal › Article
Presentation of the DTMS Project
Colin, J-N., 1995, In : Bulletin of the IEEE Technical Committee on Operating Systems and Application Environments. 7, 3, p. 13-18 6 p.Research output: Contribution to journal › Article
Privacy by design et e-gouvernement: un modèle inédit en Belgique
Degrave, É. & Vanderose, B., 2013, In : Pyramides. Revue du Centre d'études et de recherches en administration publique (U.L.B.). 26-27, p. 71-85Research output: Contribution to journal › Article
Profil trop rare...et indispensable
Habra, N., Faulkner, S. & Englebert, V., 25 May 2013, In : La libre Belgique - La libre entreprise. p. 9 1 p.Research output: Contribution to journal › Article
Profits and risks of pension plans
Govorun, M., Latouche, G. & Remiche, M-A., 2012, In : ACM Sigmetrics Performance Evaluation Review. 39, p. 41 1 p.Research output: Contribution to journal › Article
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 journal › Article
QoS contract preservation through dynamic reconfiguration: A formal semantics approach
Tamura, G., Casallas, R., Cleve, A. & Duchien, L., 2014, In : Science of Computer Programming. 94, P3, p. 307-332 26 p.Research output: Contribution to journal › Article
Quality of service
Semantics
Finite automata
Middleware
Application programs
Que faut-il entendre par "virtualisation" de la surveillance ?
Grandjean, N. & Loute, A., 2016, Kairos, 24, p. 19-20.Research output: Contribution to specialist publication › Article
Quelques repères techniques pour les autoroutes de l'information: le scénario RNIS Large Bande
Hogne-Nachtergaele, V., Van Bastelaer, P. & d'Udekem-Gevers, M., 1996, In : Journal de Réflexion sur l'Informatique. 33, p. 8-37 30 p.Research output: Contribution to journal › Article
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 journal › Article