 |
 |
 |
 |
|
|
||
|---|---|---|
|
inria-00075249v1
Rapport
Johannes Blanc, Peter De Waal, Philippe Nain, Don Towsley. A new device for the synthesis problem of optimal control of admission to an M/M/C queue [Research Report] RR-1310, INRIA. 1990 |
||
|
inria-00099704v1
Communication dans un congrès
Mark G. J. Van den Brand, Pierre-Etienne Moreau, Jurgen Vinju. Environments for Term Rewriting Engines for Free! Robert Nieuwenhuis. International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valence, Espagne, Springer, 2706, pp.424-435, 2003, Lecture notes in Computer Science |
||
|
inria-00099385v1
Communication dans un congrès
Mark G. J. Van den Brand, Christophe Ringeissen. ASF+SDF parsing tools applied to ELAN Third International Workshop on Rewriting Logic & Applications - WRLA'2000, 2000, Kanazawa, Japon, 20 p, 2000 |
||
|
inria-00098809v1
Article dans une revue
Eric Monfroy, Christophe Ringeissen. An Open Automated Framework for Constraint Solver Extension: the SoleX Approach Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1999, 39 (1-2), pp.167--187 |
||
|
inria-00101029v1
Article dans une revue
Mark G. J. Van den Brand, J. Heering, P. Klint, P.A. Olivier. Compiling language definitions: The ASF+SDF compiler ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2002, 24 (4), pp.334-368 |
||
|
hal-01110843v1
Communication dans un congrès
Davy Landman, Alexander Serebrenik, Jurgen Vinju. Empirical analysis of the relationship between CC and SLOC in a large corpus of Java methods Moonen, L. M. F. and Pollock, L. IEEE International Conference on Software Maintenance and Evolution 2014, Sep 2014, Victoria, Canada. IEEE Computer Society, pp.221 - 230, 2014 |
||
|
hal-01110903v1
Communication dans un congrès
Mark Hills, Paul Klint, Jurgen Vinju. Static, lightweight includes resolution for PHP ASE 29 Proceedings of International Conference on Automated Software Engineering 2014, Sep 2014, Vasteras, Sweden. pp.503 - 514, 2014, <10.1145/2642937.2643017> |
||
|
inria-00098511v1
Communication dans un congrès
Carlos Castro, Eric Monfroy. A Strategy Language for Solving CSPs Krzysztof Apt, Philippe Codognet, Eric Monfroy. Proceedings of The Third Workshop of the Working Group on Constraints of the European Research Consortium for Informatics & Mathematics, ERCIM'98, 1998, Amsterdam, Pays Bas, 15 p, 1998 |
||
|
inria-00098512v1
Communication dans un congrès
Carlos Castro, Eric Monfroy. A Strategy Language for Specifying Constraint Solvers and their Collaborations Jan Plaza. Proceedings of the Poster Session of the Fourth International Conference on Artificial Intelligence and Symbolic Computation, Theory, Implementations and Applications, AISC'98, 1998, Plattsburgh, New York, USA, 10 p, 1998 |
||
|
inria-00099469v1
Communication dans un congrès
Jürgen Stuber, Mark Van den Brand. Extracting Mathematical Semantics from LaTeX Documents Workshop on Principles and Practice of Semantic Web Reasoning - PPSWR'2003, Dec 2003, Mumbai, India, 15 p, 2003 |
||
|
inria-00099387v1
Communication dans un congrès
Christophe Ringeissen, Eric Monfroy. Generating Propagation Rules for Finite Domains: a Mixed Approach K. Apt, A. Kakas, E. Monfroy, F. Rossi. Joint ERCIM/Compulog Net Workshop, 1999, Paphos, Cyprus, Springer, 1865, pp.150-172, 1999, Lecture Notes in Artificial Intelligence |
||
|
inria-00098827v1
Communication dans un congrès
Christophe Ringeissen, Eric Monfroy. Generating Propagation Rules for Finite Domains via Unification in Finite Algebras ERCIM/COMPULOG Workshop on Constraints, Oct 1999, Paphos, Cyprus, 17 p, 1999 |
||
|
inria-00070207v2
Rapport
Eitan Altman, Konstantin Avrachenkov, Gregory Miller, Balakrishna Prabhu. Uplink dynamic discrete power control in cellular networks [Research Report] RR-5818, INRIA. 2006, pp.31 |
||
|
inria-00071873v1
Rapport
Eitan Altman, Rudesindo Núñez-Queija, Konstantin Avrachenkov. Perturbation Analysis for Denumerable Markov Chains with Application to Queueing Models [Research Report] RR-4713, INRIA. 2003 |
||
|
hal-01248122v1
Communication dans un congrès
Henning Basold, Helle Hvid Hansen, Jean-Eric Pin, Jan Rutten. Newton series, coinductively ICTAC 2015, Oct 2015, Cali, Colombia. Springer, ICTAC 2015, Lecture Notes in Computer Science 9399 (2015), 91-109, pp.91-109, ICTAC 2015, Lecture Notes in Computer Science. <http://www.ictac2015.co> |
||
|
hal-01110914v1
Direction d'ouvrage, Proceedings
Benoit Combemale, David Pearce, Olivier Barais, Jurgen Vinju. Software Language Engineering Benoît Combemale and David J. Pearce and Olivier Barais and Jurgen J. Vinju. SLE 7 - Proceedings of International Conference on Software Language Engineering 2014, Sep 2014, Västerås, Sweden. Springer, pp.353, 2014, 978-3-319-11245-9. <http://link.springer.com/book/10.1007%2F978-3-319-11245-9> |
||
|
|
||