Publications de l'année 1998

Thèses

Nathalie caspard. Etude structurelle et algorithmique de classes de treillis obtenus par duplications. Thèse, Université Paris 1, décembre 1998.

@PhdThesis{caspard98,
author = "Nathalie caspard",
title = "Etude structurelle et algorithmique de classes de treillis obtenus par duplications",
school = "Université Paris 1",
year = "1998",
month = "décembre" 
}

Articles de revue ou chapitres de livre

Anatol Slissenko. St.Petersburg/Leningrad (1961-1998): From Logic to Complexity and Further. Dans C. Calude, editeur, People and Ideas In Theoretical Computer Science, pages 274-313. Springer-Verlag, 1998.

@INCOLLECTION{Slissenko:1998:SPLL,
author = {Anatol Slissenko},
title = {{S}t.{P}etersburg/{L}eningrad (1961-1998): From Logic to Complexity and Further},
booktitle = { People and Ideas In Theoretical Computer Science},
editor = {Calude, C.},
year = 1998,
pages = {274--313},
publisher = {Springer-Verlag} 
}

Danièle Beauquier et Anatol Slissenko. Polytime Model Checking for Timed Probabilistic Computation Tree Logic. Acta Informatica, 35:645-664, 1998.

@ARTICLE{BeauSliss:1998:PMCT,
author = {Danièle Beauquier and Anatol Slissenko},
title = {Polytime Model Checking for Timed Probabilistic Computation Tree Logic},
journal = {Acta Informatica},
year = 1998,
volume = 35,
pages = {645--664} 
}

E. Best, W. Fraczak, R.P. Hopkins, H. Klaudel, et E. Pelz.. M-nets: an Algebra of High-level Petri Nets with an Application to the Semantics of Concurrent Programming Languages. Acta Informatica, (35):813-857, 1998.

@ARTICLE{best98:_m,
author = {Best, E. and Fraczak, W. and Hopkins, R.P. and Klaudel, H. and Pelz., E.},
title = {{M-nets: an Algebra of High-level Petri Nets with an Application to the Semantics of Concurrent Programming Languages}},
journal = {Acta Informatica},
year = 1998,
number = 35,
pages = {813--857} 
}

Alexis Bès et Denis Richard. Undecidable Extensions of Skolem Arithmetic. J. Symb. Log., 63(2):379-401, 1998.

@article{DBLP:journals/jsyml/BesR98,
author = {Alexis B{\`e}s and Denis Richard},
title = {Undecidable Extensions of Skolem Arithmetic},
journal = {J. Symb. Log.},
volume = {63},
number = {2},
year = {1998},
pages = {379-401},



}

Arnaud Durand, Clemens Lautemann, et Thomas Schwentick. Subclasses of Binary NP. J. Log. Comput., 8(2):189-207, 1998.

@article{DBLP:journals/logcom/DurandLS98,
author = {Arnaud Durand and Clemens Lautemann and Thomas Schwentick},
title = {Subclasses of Binary NP},
journal = {J. Log. Comput.},
volume = {8},
number = {2},
year = {1998},
pages = {189-207},

}

Jean-Michel Fourneau, Nihal Pekergin, et Dominique VerchÂre. Réseaux généralisés multiclasses avec sychronisations cycliques. RAIRO Recherche Opérationnelle, 32(3):353-372, 1998.

@article{FPV98,
author = {Jean-Michel Fourneau and Nihal Pekergin and Dominique VerchÂre},
title = {R\'eseaux g\'en\'eralis\'es multiclasses avec sychronisations cycliques},
journal = {RAIRO Recherche Op\'erationnelle},
volume = {32},
number = {3},
year = {1998},
pages = {353-372},
publisher ={EDP Sciences} 
}

Miklos Santha et Sovanna Tan. Verifying the Determinant in Parallel. Computational Complexity, 7(2):128-151, 1998.

@article{DBLP:journals/cc/SanthaT98,
author = {Miklos Santha and Sovanna Tan},
title = {Verifying the Determinant in Parallel},
journal = {Computational Complexity},
volume = {7},
number = {2},
year = {1998},
pages = {128-151},

}

Articles de conférence

O. Abuamsha et Nihal Pekergin. Comparison of Fair Queuing Algorithms with a Stochastic Approach. Dans Proceedings of the Sixth International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), pages 139, 1998. IEEE Computer Society.

@inproceedings{DBLP:conf/mascots/AbuamshaP98,
author = {O. Abuamsha and Nihal Pekergin},
title = {Comparison of Fair Queuing Algorithms with a Stochastic Approach},
booktitle = {Proceedings of the Sixth International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS)},
year = {1998},
pages = {139},
pdf = {http://dlib.computer.org/conferen/mascots/8566/pdf/85660139.pdf},
publisher = {IEEE Computer Society} 
}

M. Bamha et G. Hains. A Self-Balancing Join Algorithm for SN Machines. Dans Y. Pan, S. G. Akl, et K. Li, editeurs, Proceedings of International Conference on Parallel and Distributed Computing and Systems (PDCS), Las Vegas, USA, pages 285-290, 1998. IASTED/ACTA Press.

@inproceedings{pdcs98-pdbms,
author= {M. Bamha and G. Hains},
title= {A Self-Balancing Join Algorithm for {SN} Machines},
booktitle = {{Proceedings of International Conference on Parallel and Distributed Computing and Systems (PDCS)}},
year = 1998,
address = {Las Vegas, USA},
editor = {Y. Pan and S. G. Akl and K. Li},
publisher = {IASTED/ACTA Press},
pages= {285--290},

}

D. Beauquier. Pumping Lemmas for timed automata. Dans Proceedings of FoSSaCS'98, numéro 1378 de LNCS, pages 81-94, 1998. Springer-Verlag.

@Inproceedings{Beau98a,
Author="D. Beauquier",
Title="Pumping Lemmas for timed automata",
BookTitle="Proceedings of FoSSaCS'98",
Series=LNCS,
publisher = "Springer-Verlag",
Number=1378,
Pages="81-94",
Year="1998" 
}

V. Benzaken, N. Hugon, H. Klaudel, E. Pelz, et R.-C. Riemann. M-net based Semantics for Triggers. Dans J. Desel et M. Silva, editeurs, Application and Theory of Petri Nets 1998, volume 1420 de Lecture Notes in Computer Science, 1998. Springer-Verlag.

@INPROCEEDINGS{hk-inpn98,
author = {Benzaken, V. and Hugon, N. and Klaudel, H. and Pelz, E. and Riemann, R.-C.},
title = {{M-net based Semantics for Triggers}},
booktitle = {Application and Theory of Petri Nets 1998},
year = 1998,
editor = {Desel, J. and Silva, M.},
volume = 1420,
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag} 
}

Arnaud Durand. Modeling Cache Coherence Protocol - A Case Study with FLASH. Dans Workshop on Abstract State Machines, pages 111-126, 1998.

@inproceedings{DBLP:conf/asm/Durand98,
author = {Arnaud Durand},
title = {Modeling Cache Coherence Protocol - A Case Study with FLASH},
booktitle = {Workshop on Abstract State Machines},
year = {1998},
pages = {111-126},

}

Jean-Michel Fourneau et Lynda Mokdad. A Perturbation and Reduction Based Algorithm. Dans Ramón Puigjaner, Nunzio N. Savino, et Bartomeu Serra, editeurs, Computer Performance Evaluation: Modelling Techniques and Tools, 10th International Conference (Tools'98), volume 1469 de LNCS, pages 142-153, 1998. Springer.

@inproceedings{DBLP:conf/cpe/FourneauM98,
author = {Jean-Michel Fourneau and Lynda Mokdad},
title = {A Perturbation and Reduction Based Algorithm},
booktitle = {Computer Performance Evaluation: Modelling Techniques and Tools, 10th International Conference (Tools'98)},
year = {1998},
pages = {142--153},
url = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=1469{\&}spage=0142},
editor = {Ram{\'o}n Puigjaner and Nunzio N. Savino and Bartomeu Serra},
publisher = {Springer},
series = {LNCS},
volume = {1469} 
}

L. Granvilliers, G. Hains, Q. Miller, et N. Romero. A system for the high-level parallelization and cooperation of constraint solvers. Dans Y. Pan, S. G. Akl, et K. Li, editeurs, Proceedings of International Conference on Parallel and Distributed Computing and Systems (PDCS), Las Vegas, USA, pages 596-601, 1998. IASTED/ACTA Press.

@inproceedings{pdcs98-bssolve,
author = {L. Granvilliers and G. Hains and Q. Miller and N. Romero},
title = {A system for the high-level parallelization and cooperation of constraint solvers},
booktitle = {{Proceedings of International Conference on Parallel and Distributed Computing and Systems (PDCS)}},
year = 1998,
address = {Las Vegas, USA},
editor = {Y. Pan and S. G. Akl and K. Li},
publisher = {IASTED/ACTA Press},
pages = {596--601},

}

D. Grigoriev et Anatol Slissenko. Polytime Algorithm for the Shortest Path in a Homotopy Class amidst Semi-Algebraic Obstacles in the Plane. Dans O. Gloor, editeur, Proc. of the 1998 Int. ACM Symp. on Symbolic and Algebraic Computations (ISSAC'98), Dresden, Germany, pages 17-24, August 13--15 1998. ACM Press.

@INPROCEEDINGS{GrigSliss:1998:PASP,
author = {Grigoriev, D. and Anatol Slissenko},
title = {Polytime Algorithm for the Shortest Path in a Homotopy Class amidst Semi-Algebraic Obstacles in the Plane},
booktitle = {Proc. of the 1998 Int. {A}{C}{M} Symp. on Symbolic and Algebraic Computations (ISSAC'98)},
editor = {Gloor, O.},
year = {1998},
month = {August 13--15},
pages = {17--24},
address = {Dresden, Germany},
publisher = {ACM Press} 
}

G. Hains. Subset Synchronization in BSP Computing. Dans H. R. Arabnia, editeur, PDPTA'98 International Conference on Parallel and Distributed Processing Techniques and Applications, volume I, Las Vegas, pages 242-246, July 1998. CSREA Press.

@inproceedings{pdpta98,
author= {G. Hains},
title= {Subset Synchronization in {BSP} Computing},
booktitle= {{PDPTA'98} International Conference on Parallel and Distributed Processing Techniques and Applications},
year= 1998,
editor= {H. R. Arabnia},
pages= {242--246},
volume= {{I}},
address= {Las Vegas},
month= {July},
publisher= {{CSREA} Press},

}

H. Klaudel, E. Pelz, et R.-C. Riemann. Relating M-expressions and M-nets. Dans DAPSYS'98: Austrian-Hungarian Workshop on Distributed and Parallel Systems'98, numéro TR-120, 1998. Institut für Informatik, Univerity of Vienna.

@INPROCEEDINGS{hk-dapsys98,
author = {Klaudel, H. and Pelz, E. and Riemann, R.-C.},
title = {{Relating M-expressions and M-nets}},
booktitle = { DAPSYS'98: Austrian-Hungarian Workshop on Distributed and Parallel Systems'98},
year = 1998,
number = {TR-120},
publisher = {Institut f\"ur Informatik, Univerity of Vienna} 
}

N. Lammari, R. Laleau, et M. Jouve. Normalization and Denormalization : Two Mechanisms for Reorganizing IS_A Inheritance Hierarchies. Dans International Conference on Object-Oriented Information Systems (OOIS'98), LNCS, pages 38-53, 1998. Springer-Verlag.

@InProceedings{lammari98:_normal_denor,
author = {N. Lammari and R. Laleau and M. Jouve},
title = {Normalization and Denormalization : Two Mechanisms for Reorganizing IS_A Inheritance Hierarchies},
booktitle = {International Conference on Object-Oriented Information Systems (OOIS'98)},
pages = {38--53},
year = 1998,
series = {LNCS},
publisher = {Springer-Verlag} 
}

F. Mourlin et M. Sakovis. Limits of Java Features for Mobiles Applications. Dans HPCN Workshop on Distributed Computing, RAI Conference Center Amsterdam, April 1998.

@INPROCEEDINGS{mourlin98:_limit_java_featur_mobil_applic,
AUTHOR = {Mourlin, F. and Sakovis, M.},
TITLE = {{Limits of Java Features for Mobiles Applications}},
BOOKTITLE = {HPCN Workshop on Distributed Computing},
YEAR = 1998,
ADDRESS = {RAI Conference Center Amsterdam},
MONTH = {April} 
}

Colette Rolland, Georges Grosz, Selmin Nurcan, W. Yue, et Christophe Gnaho. An electronic handbook for accessing domain specific generic patterns. Dans Colette Rolland, Yu Chen, et Meiqi Fang, editeurs, Information Systems in the WWW Environment, IFIP TC8/WG8.1 Working Conference on Information Systems in the WWW Environment, 15-17 July 1998, Beijing, China, volume 115 de IFIP Conference Proceedings, pages 89-111, 1998. Chapman & Hall.

@inproceedings{DBLP:conf/ifip8-1/RollandGNYG98,
author = {Colette Rolland and Georges Grosz and Selmin Nurcan and W. Yue and Christophe Gnaho},
title = {An electronic handbook for accessing domain specific generic patterns},
year = {1998},
pages = {89-111},




editor = {Colette Rolland and Yu Chen and Meiqi Fang},
booktitle = {Information Systems in the WWW Environment, IFIP TC8/WG8.1 Working Conference on Information Systems in the WWW Environment, 15-17 July 1998, Beijing, China},
publisher = {Chapman {\&} Hall},
series = {IFIP Conference Proceedings},
volume = {115},
isbn = {0-412-82980-0} 
}

W. Yue et Christophe Gnaho. Diagram drawer & browser for visual information processing on the WWW. Dans Colette Rolland, Yu Chen, et Meiqi Fang, editeurs, Information Systems in the WWW Environment, IFIP TC8/WG8.1 Working Conference on Information Systems in the WWW Environment, 15-17 July 1998, Beijing, China, volume 115 de IFIP Conference Proceedings, pages 361-372, 1998. Chapman & Hall.

@inproceedings{DBLP:conf/ifip8-1/YueG98,
author = {W. Yue and Christophe Gnaho},
title = {Diagram drawer {\&} browser for visual information processing on the WWW},
year = {1998},
pages = {361-372},
editor = {Colette Rolland and Yu Chen and Meiqi Fang},
booktitle = {Information Systems in the WWW Environment, IFIP TC8/WG8.1 Working Conference on Information Systems in the WWW Environment, 15-17 July 1998, Beijing, China},
publisher = {Chapman {\&} Hall},
series = {IFIP Conference Proceedings},
volume = {115},
isbn = {0-412-82980-0} 
}

Rapports techniques internes

D. Beauquier et A. Slissenko. Decidable verification for reducible timed automata specified in a first order logic with time. Rapport technique TR-LACL-1998-16, LACL (Laboratory of Algorithms, Complexity and Logic), University of Paris-Est (Paris 12), 1998.

@TechReport{TR-LACL-1998-16,
author = {D. Beauquier and A. Slissenko},
title = {Decidable verification for reducible timed automata specified in a first order logic with time},
institution = {LACL (Laboratory of Algorithms, Complexity and Logic), University of Paris-Est (Paris 12)},
year = {1998},
number = {TR-LACL-1998-16},
PS = {http://lacl.univ-paris12.fr/Rapports/TR/TR-98-16.ps.gz} 
}

F. Loulergue et G. Hains. An Introduction to BS$\lambda$. Rapport de Recherche 98-09, Université d'Orléans, LIFO, Orléans, France, september 1998.

@TechReport{lifo98-09,
author = "F. Loulergue and G. Hains",
title = "{An Introduction to BS$\lambda$}",
institution = "Universit\'e d'Orl\'eans, LIFO",
year = 1998,
type = {Rapport de Recherche},
number = "98-09",
address = "Orl\'eans, France",
month = "september",

}

Olivier Michel et Jean-Louis Giavitto. Amalgams: Names and Name Capture in a Declarative Framework. Rapport technique 32, LaMI -- Université d'Évry Val d'Essonne, Janvier 1998. Note: Also avalaible as LRI Research-Report RR-1159.

@TechReport{michel98,
author = {Olivier Michel and Jean-Louis Giavitto},
title = {Amalgams: Names and Name Capture in a Declarative Framework},
institution = {LaMI -- Université d'Évry Val d'Essonne},
year = 1998,
number = {32},
month = jan,
note = "also avalaible as LRI Research-Report RR-1159",
PS = {http://www.ibisc.fr/~michel/PUBLIS/1996/rapport-amalgame.ps.gz} 
}

REVENIR A L'INDEX