@comment{This file has been generated by Pybliographer} @String{ lncs1536 = "Proc.\ Int.\ Symp.\ Compositionality: The Significant Difference (COMPOS'97), Bad Malente, Germany, Sep.\ 1997"} @String{ ieeetsmc = "IEEE Trans.\ Systems, Man and Cybernetics"} @String{ lncs577 = stacs92} @String{ lncs575 = cav91} @String{ lncs1530 = fsttcs98} @String{ lncs472 = fsttcs90} @String{ lncs470 = "Proc.\ 3rd Int.\ Conf.\ Database Theory (ICDT'90), Paris, France, Dec.\ 1990"} @String{ taln07ed = "{H}athout, {N}abil and {M}uller, {P}hilippe"} @String{ compj = "The Computer Journal"} @String{ lncs674 = "Advances in Petri Nets 1993"} @String{ scp = "Science of Computer Programming"} @String{ lncs2154 = concur2001} @String{ lncs2772 = "Proc.\ Int.\ Symp.\ Verification (Theory \& Practice). Celebrating Zohar Manna's $1000000_2$-th Birthday. Taormina, Italy, June--July 2003"} @String{ lncs520 = mfcs91} @String{ tr = "Tech.\ Report"} @String{ lncs272 = "Future Parallel Computers, an advanced course, Pisa, LNCS 272"} @String{ lncs267 = icalp87} @String{ sas2002 = "Proc.\ 9th Int.\ Symp.\ Static Analysis (SAS'2002), Madrid, Spain, Sep.\ 2002"} @String{ sas2000 = "Proc.\ 7th Int.\ Symp.\ Static Analysis (SAS'2000), Santa Barbara, CA, USA, June 2000"} @String{ jancl = "Journal of Applied Non-Classical Logics"} @String{ concur2002 = "Proc.\ 13th Int.\ Conf.\ Concurrency Theory (CONCUR'2002), Brno, Czech Republic, Aug.\ 2002"} @String{ lncs1119 = concur96} @String{ forte89 = "Proc.\ 2nd Int.\ Conf.\ Formal Description Techniques (FORTE'89), Vancouver, Canada, Dec.\ 1989"} @String{ forte88 = "Proc.\ 1st Int.\ Conf.\ Formal Description Techniques (FORTE'88), Stirling, Scotland, UK, Sep.\ 1988"} @String{ lncs154 = icalp83} @String{ jsttt = "Journal of Software Tools for Technology Transfer"} @String{ lncs407 = cav89} @String{ fac = "Formal Aspects of Computing"} @String{ lncs2034 = "Proc.\ 4th Int.\ Workshop Hybrid Systems: Computation and Control (HSCC'2001), Roma, Italy, Mar.\ 2001"} @String{ lncs2031 = tacas2001} @String{ lncs2030 = fossacs2001} @String{ ieeecsp = "IEEE Comp.\ Soc.\ Press"} @String{ lics88 = "Proc.\ 3rd IEEE Symp.\ Logic in Computer Science (LICS'88), Edinburgh, Scotland, July 1988"} @String{ armandcolin = "Armand Colin"} @String{ ecs07ed = "{V}osniadou, {S}tella and {K}ayser, {D}aniel and {P}rotopapas, {A}thanassios"} @String{ icp2000 = "Proc.\ 4th Int.\ PLCopen Conf.\ on Industrial Control Programming (ICP'2000), Utrecht, The Netherlands, Oct.\ 2000"} @String{ lncs1102 = cav96} @String{ lncs1103 = rta96} @String{ lncs1101 = amast96} @String{ lncs2556 = fsttcs2002} @String{ lncs2477 = sas2002} @String{ lncs1019 = tacas95} @String{ wadt2001 = "Recent Trends in Algebraic Development Techniques. Selected Papers from the 15th Int.\ Workshop on Algebraic Development Techniques (WADT'01), Genova, Italy, April 2001"} @String{ ieeetcom = "IEEE Trans.\ Communications"} @String{ lncs2471 = csl2002} @String{ elsevier = "Elsevier Science"} @String{ mfcs84 = "Proc.\ 11th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'84), Praha, CZ, Sep.\ 1984"} @String{ lncs2575 = "Proc.\ 4th Int.\ Conf.\ Verification, Model Checking, and Abstract Interpretation (VMCAI'2003), New York, NY, USA, Jan.\ 2003"} @String{ lncs700 = icalp93} @String{ masson = "Masson"} @String{ lncs702 = "Proc.\ 6th Workshop on Computer Science Logic, San Miniato, Italy, LNCS 702"} @String{ tacs2001 = "Proc.\ 4th Int.\ Symp.\ Theoretical Aspects of Computer Software (TACS'2001), Sendai, Japan, Oct.\ 2001"} @String{ lncs494 = "Proc.\ TAPSOFT'91, Brighton, LNCS 494"} @String{ fsttcs2002 = "Proc.\ 22nd Conf.\ Found.\ of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS'2002), Kanpur, India, Dec.\ 2002"} @String{ pstv85 = "Proc.\ 5th IFIP Int.\ Workshop on Protocol Specification, Testing, and Verification (PSTV'85), Toulouse-Moissac, France, June 1985"} @String{ fsttcs2000 = "Proc.\ 20th Conf.\ Found.\ of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS'2000), New Delhi, India, Dec.\ 2000"} @String{ lncs491 = "Concurrency: Theory, Language, and Architecture. Proc.\ UK/Japan Workshop, Oxford, LNCS 491"} @String{ lncs493 = "Proc.\ CAAP'91, Brighton, LNCS 493"} @String{ pstv89 = "Proc.\ 9th IFIP WG 6.1 Int.\ Symp.\ Protocol Specification, Testing and Verification (PSTV'89), Enschede, NL, June 1989"} @String{ sofsem99 = "Proc.\ 26th Conf.\ Current Trends in Theory and Practice of Informatics (SOFSEM'99), Milovy, Czech Republic, Nov.\ 1999"} @String{ stacs2003 = "Proc.\ 20th Ann.\ Symp.\ Theoretical Aspects of Computer Science (STACS'2003), Berlin, Germany, Feb.\ 2003"} @String{ stacs2002 = "Proc.\ 19th Ann.\ Symp.\ Theoretical Aspects of Computer Science (STACS'2002), Antibes Juan-les-Pins, France, Mar.\ 2002"} @String{ stacs2001 = "Proc.\ 18th Ann.\ Symp.\ Theoretical Aspects of Computer Science (STACS'2001), Desden, Germany, Feb.\ 2001"} @String{ stacs2000 = "Proc.\ 17th Ann.\ Symp.\ Theoretical Aspects of Computer Science (STACS'2000), Lille, France, Feb.\ 2000"} @String{ icont = "Information and Control"} @String{ sas95 = "Proc.\ 2nd Int.\ Symp.\ Static Analysis (SAS'95), Glasgow, UK, Sep.\ 1995"} @String{ lncs1817 = "Proc.\ 9th Int.\ Workshop.\ on Logic-based Program Synthesis and Transformation (LOPSTR'99), Venezia, Italy, Sept.\ 1999"} @String{ lncs510 = icalp91} @String{ ftrtft94 = "Proc.\ 3rd Int.\ Symp.\ Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFTS'94), L{\"u}beck, Germany, Sep.\ 1994"} @String{ lncs2152 = tphol2001} @String{ lncs1214 = tapsoft97} @String{ lncs2885 = "Proc.\ 5th Int.\ Conf.\ Formal Engineering Methods (ICFEM 2003), Singapore, Nov.\ 2003"} @String{ lncs2399 = "Proc.\ 2nd Joint Int.\ Workshop Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM-PROBMIV'2002), Copenhagen, Denmark, July 2002"} @String{ lncs2392 = cade2002} @String{ lncs630 = concur92} @String{ tacas98 = "Proc.\ 4th Int.\ Conf.\ Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), Lisbon, Portugal, Mar.\ 1998"} @String{ jpaa = "Journal of Pure and Applied Algebra"} @String{ types98 = "Proc.\ Int.\ Workshop on Types for Proofs and Programs (TYPES'98), Kloster Irsee, Germany, Mar.\ 1998. Selected papers"} @String{ lncs201 = "Functional Programming Languages and Computer Architecture, Nancy, LNCS 201"} @String{ ccs96 = "Proc.\ 3rd ACM Conf. on Computer and Communications Security, New Delhi, India, Mar.\ 1996"} @String{ tphol98 = "Proc.\ 11th Int.\ Conf.\ Theorem Proving in Higher Order Logics (TPHOLs'98), Canberra, Australia, Sep.\ 1998"} @String{ lncs202 = rta85} @String{ lncs204 = "Proc.\ EUROCAL'85, Linz, LNCS 204"} @String{ ipl = "Information Processing Letters"} @String{ lncs206 = "Proc.\ 5th Conf.\ on Foundations of Software Technology and Theor.\ Comp.\ Sci., LNCS 206"} @String{ lncs803 = "A Decade of Concurrency, Proc.\ REX School/Symp., Noordwijkerhout, NL, June 1993"} @String{ lics92 = "Proc.\ 7th IEEE Symp.\ Logic in Computer Science (LICS'92), Santa Cruz, CA, USA, June 1992"} @String{ lics93 = "Proc.\ 8th IEEE Symp.\ Logic in Computer Science (LICS'93), Montreal, Canada, June 1993"} @String{ lnai1617 = tableaux99} @String{ daarc07 = "Proc.\ 6th {D}iscourse {A}naphora and {A}naphor {R}esolution colloquium ({D}{A}{A}{R}{C}'07)"} @String{ cav2003 = "Proc.\ 15th Int.\ Conf.\ Computer Aided Verification (CAV'2003), Boulder, CO, USA, July 2003"} @String{ cav2002 = "Proc.\ 14th Int.\ Conf.\ Computer Aided Verification (CAV'2002), Copenhagen, Denmark, July 2002"} @String{ cav2001 = "Proc.\ 13th Int.\ Conf.\ Computer Aided Verification (CAV'2001), Paris, France, July 2001"} @String{ cav2000 = "Proc.\ 12th Int.\ Conf.\ Computer Aided Verification (CAV'2000), Chicago, IL, USA, July 2000"} @String{ apal = "Annals of Pure and Applied Logic"} @String{ lncs1885 = "{SPIN} Model Checking and Software Verification, Proc.\ 7th Int.\ {SPIN} Workshop, Stanford, CA, USA, Aug.\ 2000"} @String{ studlog = "Studia Logica"} @String{ lncs969 = mfcs95} @String{ lncs964 = "Proc.\ 3rd Int.\ Conf.\ Parallel Computing Technologies (PaCT'95), St.-Petersburg, Russia, LNCS 964"} @String{ lncs965 = "Proc.\ 10th Int.\ Conf.\ Fundamentals of Computation Theory (FCT'95), Dresden, Germany, Aug.\ 1995"} @String{ icalp92 = "Proc.\ 19th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'92), Vienna, Austria, July 1992"} @String{ lncs1443 = icalp98} @String{ lncs962 = concur95} @String{ lncs2618 = esop2003} @String{ focs88 = "Proc.\ 29th IEEE Symp.\ Foundations of Computer Science (FOCS'88), White Plains, NY, USA, Oct.\ 1988"} @String{ rta85 = "Proc.\ Rewriting Techniques and Applications (RTA'85), Dijon, France, May 1985"} @String{ lncs335 = "Proc.\ Concurrency'88, LNCS 335"} @String{ lncs1855 = cav2000} @String{ renpar97 = "Proc.\ 9th Rencontres Francophones du Parall\'elisme (RenPar'97), Lausanne, Switzerland, May 1997"} @String{ renpar96 = "Proc.\ 8th Rencontres Francophones du Parall\'elisme (RenPar'96), Bordeaux, France, May 1996"} @String{ lncs443 = icalp90} @String{ lncs440 = "Proc.\ 3rd Workshop on Computer Science Logic, Kaiserslautern, LNCS 440"} @String{ lncs1548 = amast98} @String{ lncs2088 = ciaa2000} @String{ lncs616 = atpn92} @String{ tacas95 = "Proc.\ 1st Int.\ Workshop Tools and Algorithms for the Construction and Analysis of Systems (TACAS'95), Aarhus, DK, May 1995"} @String{ rairoita = "RAIRO Informatique Th\'{e}orique et Applications"} @String{ lncs528 = plilp91} @String{ lncs298 = "Proc.\ 3rd Workshop on Mathematical Foundations of Programming Language Semantics, LNCS 298"} @String{ lncs299 = "Proc.\ CAAP'88, Nancy, LNCS 299"} @String{ lncs524 = apn91} @String{ lncs294 = "Proc.\ STACS'88, Bordeaux, LNCS 294"} @String{ lncs527 = concur91} @String{ csfw2001 = "Proc.\ 14th IEEE Computer Security Foundations Workshop (CSFW'01), Cape Breton, Nova Scotia, Canada, June 2001"} @String{ irit = "{I}{R}{I}{T} {P}ress"} @String{ lncs2102 = cav2001} @String{ fmsd = "Formal Methods in System Design"} @String{ cai = "Computers and Artificial Intelligence"} @String{ lncs1066 = "Proc.\ Workshop Hybrid Systems {III}: Verification and Control, New Brunswick, NJ, USA, Oct.\ 1995"} @String{ mscs = "Math.\ Struct.\ in Comp.\ Science"} @String{ tlca95 = "Proc.\ 2nd Int.\ Conf.\ on Typed Lambda Calculi and Applications (TLCA'95), Edinburgh, Scotland, Apr.\ 1995"} @String{ jct = "Journal of Combinatorial Theory"} @String{ lics2001 = "Proc.\ 16th IEEE Symp.\ Logic in Computer Science (LICS'2001), Boston, MA, USA, June 2001"} @String{ lncs1710 = "Correct System Design. Recent Insights and Advances"} @String{ lncs2090 = "Lectures on Formal Methods and Performance Analysis"} @String{ lics2003 = "Proc.\ 18th IEEE Symp.\ Logic in Computer Science (LICS'2003), Ottawa, Canada, June 2003"} @String{ lics2002 = "Proc.\ 17th IEEE Symp.\ Logic in Computer Science (LICS'2002), Copenhagen, Denmark, July 2002"} @String{ spe = "Software - Practice and Experience"} @String{ lncs2360 = atpn2002} @String{ lncs300 = "Proc.\ ESOP'88, Nancy, LNCS 300"} @String{ lncs1782 = esop2000} @String{ lncs1784 = fossacs2000} @String{ lncs1785 = tacas2000} @String{ popl89 = "Proc.\ 16th ACM Symp.\ Principles of Programming Languages (POPL'89), Austin, TX, USA, Jan.\ 1989"} @String{ rtas98 = "Proc.\ 4th IEEE Real-Time Technology and Applications Symposium (RTAS'98), Denver, CO, USA, June.\ 1998"} @String{ ieeetpar = "IEEE Trans.\ Parallel and Distributed Systems"} @String{ popl88 = "Proc.\ 15th ACM Symp.\ Principles of Programming Languages (POPL'88), San Diego, CA, USA, Jan.\ 1988"} @String{ rta97 = "Proc.\ 8th Int.\ Conf.\ Rewriting Techniques and Applications (RTA'97), Sitges, Spain, June 1997"} @String{ arcs = "Ann.\ Rev.\ Comput.\ Sci."} @String{ stoc84 = "Proc.\ 16th ACM Symp.\ Theory of Computing (STOC'84), Washington, DC, USA, Apr.-May 1984"} @String{ wiley = "John Wiley \& Sons"} @String{ stoc81 = "Proc.\ 13th ACM Symp.\ Theory of Computing (STOC'81), Milwaukee, WI, USA, May 1981"} @String{ stoc82 = "Proc.\ 14th ACM Symp.\ Theory of Computing (STOC'82), San Francisco, CA, May 1982"} @String{ lncs308 = "Proc.\ 1st Int.\ Workshop on Conditional Term Rewriting Systems, Orsay, LNCS 308"} @String{ lncs2404 = cav2002} @String{ lncs1466 = concur98} @String{ disc2001 = "Proc.\ 15th Int.\ Conf.\ on Distributed Computing (DISC'2001), Lisbon, Portugal, Oct.\ 2001"} @String{ lncs2803 = csl2003} @String{ hart97 = "Proc.\ Int.\ Workshop Hybrid and Real-Time Systems (HART'97), Grenoble, France, Mar.\ 1997"} @String{ fsttcs98 = "Proc.\ 18th Conf.\ Found.\ of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS'98), Chennai, India, Dec.\ 1998"} @String{ csl99 = "Proc.\ 13th Int.\ Workshop Computer Science Logic (CSL'99), Madrid, Spain, Sep.\ 1999"} @String{ lncs2215 = tacs2001} @String{ fsttcs90 = "Proc.\ 10th Conf.\ Found.\ of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS'90), Bangalore, India, Dec.\ 1990"} @String{ csl91 = "Proc.\ 5th Workshop on Computer Science Logic (CSL'91), Berne, Switzerland, Oct.\ 1991"} @String{ fsttcs92 = "Proc.\ 12th Conf.\ Found.\ of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS'92), New Delhi, India, Dec.\ 1992"} @String{ csl93 = "7th Workshop Computer Science Logic (CSL'93), Swansea, UK, Sep.\ 1993: selected papers"} @String{ focs85 = "Proc.\ 26th IEEE Symp.\ Foundations of Computer Science (FOCS'85), Portland, OR, USA, Oct.\ 1985"} @String{ fsttcs95 = "Proc.\ 15th Conf.\ Found.\ of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS'95), Bangalore, India, Dec.\ 1995"} @String{ fsttcs96 = "Proc.\ 16th Conf.\ Found.\ of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS'96), Hyderabad, India, Dec.\ 1996"} @String{ ranlp07 = "Proc.\ {I}nt.\ {C}onf.\ {R}ecent {A}dvances in {N}atural {L}anguage {P}rocessing ({R}{A}{N}{L}{P}'07)"} @String{ lncs1295 = mfcs97} @String{ icomp = "Information and Computation"} @String{ thesecachan = "Th\`ese ENS de Cachan"} @String{ oup = "Oxford Univ.\ Press"} @String{ lsc = "Lisp and Symbolic Computation"} @String{ icalp79 = "Proc.\ 6th Coll.\ Automata, Languages and Programming (ICALP'79), Graz, Austria, Jul.\ 1979"} @String{ icalp78 = "Proc.\ 5th Coll.\ Automata, Languages, and Programming (ICALP'78), Udine, Italy, Jul.\ 1978"} @String{ icalp77 = "Proc.\ 4th Coll.\ Automata, Languages, and Programming (ICALP'77), Turku, Finland, July 1977"} @String{ tacs91 = "Proc.\ 1st Int.\ Conf.\ Theoretical Aspects of Computer Software (TACS'91), Sendai, Japan, Sep.\ 1991"} @String{ lncs86 = "Proc.\ Winter School on Abstract Software Specifications, Copenhagen, Denmark, Jan.\ 1979"} @String{ tacs97 = "Proc.\ 3rd Int.\ Symp.\ Theoretical Aspects of Computer Software (TACS'97), Sendai, Japan, Sep.\ 1997"} @String{ tacs94 = "Proc.\ 2nd Int.\ Symp.\ Theoretical Aspects of Computer Software (TACS'94), Sendai, Japan, Apr.\ 1994"} @String{ lncs85 = icalp80} @String{ lncs2719 = icalp2003} @String{ lncs104 = "Proc.\ 5th GI Conf.\ on Theor.\ Comp.\ Sci., Karlsruhe, FRG, Mar.\ 1981"} @String{ lncs2710 = dlt2003} @String{ stoc85 = "Proc.\ 17th ACM Symp.\ Theory of Computing (STOC'85), Providence, RI, USA, May 1985"} @String{ icalp91 = "Proc.\ 18th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'91), Madrid, Spain, July 1991"} @String{ lncs1249 = cade97} @String{ lncs1248 = atpn97} @String{ sicomp = "SIAM J.\ Computing"} @String{ lncs1672 = mfcs99} @String{ lncs71 = icalp79} @String{ lncs70 = "Proc.\ Int.\ Symp.\ Semantics of Concurrent Computation, Evian, France, July 1979"} @String{ lncs1243 = concur97} @String{ rta96 = "Proc.\ 7th Int.\ Conf.\ Rewriting Techniques and Applications (RTA'96), New Brunswick, NJ, USA, July 1996"} @String{ lp = "Lisp Pointers"} @String{ ijpp = "Int.\ Journal Parallel Programming"} @String{ lncs560 = fsttcs91} @String{ popl14 = "Proc.\ 14th ACM Symp.\ Principles of Programming Languages, Munich, Germany"} @String{ popl13 = "Proc.\ 13th ACM Symp.\ Principles of Programming Languages, St.\ Petersburg Beach, FL, USA"} @String{ lncs566 = "Proc.\ Deductive and Object-Oriented Data Bases, LNCS 566"} @String{ ijcai10 = "Proc.\ 10th IJCAI, Milano"} @String{ ijcai14 = "Proc.\ 14th Int.\ Joint Conf.\ Artificial Intelligence (IJCAI'95), Montreal, Canada, Aug.\ 1995"} @String{ ijcai15 = "Proc.\ 15th Int.\ Joint Conf.\ Artificial Intelligence (IJCAI'97), Nagoya, Japan, Aug.\ 1997"} @String{ jipc = "Journal Information Processing and Cybernetics"} @String{ lncs398 = "Proc.\ Workshop Temporal Logic in Specification, Altrincham, UK, Apr.\ 1987"} @String{ acta = "Acta Informatica"} @String{ ita = "Theoretical Informatics and Applications"} @String{ lncs1800 = "Proc.\ 15 IPDPS 2000 Workshops, Cancun, Mexico, May 2000"} @String{ lncs394 = "Algebraic Methods: Theory, Tools and Applications, LNCS 394"} @String{ lncs2142 = csl2001} @String{ lncs1180 = fsttcs96} @String{ lncs1026 = fsttcs95} @String{ lncs999 = "Proc.\ Hybrid Systems {II}, Ithaca, NY, USA, Oct.\ 1994"} @String{ lncs366 = "Proc.\ PARLE'89, vol.\ II: Parallel Languages, Eindhoven, LNCS 366"} @String{ smc98 = "Proc.\ IEEE Int.\ Conf.\ Systems, Man, and Cybernetics (SMC'98), San Diego, CA, USA, October 1998"} @String{ lncs365 = "Proc.\ PARLE'89, vol.\ I: Parallel Architectures, Eindhoven, LNCS 365"} @String{ lncs249 = caap87} @String{ lncs363 = "Logic at Botik'89: Symp.\ on Logical Foundations of Computer Science, Pereslavl-Zalessky, Russia, July 1989"} @String{ lncs247 = "Proc.\ STACS'87, Passau, LNCS 247"} @String{ security98 = "Proc.\ 7th {USENIX} Security Symposium (SECURITY'98), San Antonio, TX, USA, Jan.\ 1998"} @String{ lncs241 = fsttcs86} @String{ constraints = "Constraints"} @String{ lncs506 = "Proc.\ Parallel Architectures and Languages Europe (PARLE'91), Eindhoven, NL, June 1991, vol.\ II: Parallel Languages"} @String{ lncs1755 = "Proc.\ 3rd Int.\ Andrei Ershov Memorial Conf.\ Perspectives of System Informatics (PSI'99), Novosibirsk, Russia, Jul.\ 1999"} @String{ lncs788 = esop94} @String{ lncs789 = tacs94} @String{ lncs787 = caap94} @String{ forte98 = "Proc.\ {IFIP} Joint Int.\ Conf.\ Formal Description Techniques \& Protocol Specification, Testing, and Verification (FORTE-PSTV'98), Paris, France, Nov.\ 1998"} @String{ lncs2000 = "Informatics: 10 Years Back, 10 Years Ahead"} @String{ lfp = "Proc.\ ACM Conf.\ Lisp and Functional Programming"} @String{ lncs415 = "Proc.\ STACS 90, Rouen, LNCS 415"} @String{ lncs144 = "Proc.\ EUROCAM'82, Marseille, LNCS 144"} @String{ lncs145 = "Proc.\ 6th GI Conf.\ on Theor.\ Comp.\ Sci., Dortmund, FRG, Jan.\ 1983"} @String{ forte94 = "Proc.\ Formal Description Techniques (FORTE'94), Bern, Switzerland, Oct.\ 1994"} @String{ lncs140 = icalp82} @String{ forte97 = "Proc.\ Joint Int.\ Conf.\ Formal Description Techniques and Protocol Specification, Testing, and Verification (FORTE/PSTV'97), Osaka, Japan, Nov.\ 1997"} @String{ fossacs2001 = "Proc.\ 4th Int.\ Conf.\ Foundations of Software Science and Computation Structures (FOSSACS'2001), Genova, Italy, Apr.\ 2001"} @String{ rr = "Research Report"} @String{ lncs1059 = caap96} @String{ lncs1113 = mfcs96} @String{ jalc = "Journal of Automata, Languages and Combinatorics"} @String{ arts99 = "Proc.\ 5th Int.\ AMAST Workshop Formal Methods for Real-Time and Probabilistic Systems (ARTS'99), Bamberg, Germany, May 1999"} @String{ lfcs = "Lab.\ for Foundations of Computer Science"} @String{ thesealger = "Th\`ese d'Etat, USTHB, Alger"} @String{ podc84 = "Proc.\ 3rd ACM Symp.\ Principles of Distributed Computing, (PODC'84), Vancouver, B.C., Canada, Aug.\ 1984"} @String{ ieeesp97 = "Proc.\ IEEE Symp.\ Security and Privacy, Oakland, CA, USA, May 1997"} @String{ lics98 = "Proc.\ 13th IEEE Symp.\ Logic in Computer Science (LICS'98), Indianapolis, IN, USA, June 1998"} @String{ lics99 = "Proc.\ 14th IEEE Symp.\ Logic in Computer Science (LICS'99), Trento, Italy, July 1999"} @String{ lncs735 = "Proc.\ Int.\ Conf.\ Formal Methods in Programming and Their Applications, Novosobirsk, LNCS 735"} @String{ lncs736 = "Proc.\ Workshop Hybrid Systems, Lyngby, DK, Oct.\ 1992"} @String{ tapsoft95 = "Proc.\ 6th Int.\ Joint Conf.\ Theory and Practice of Software Development (TAPSOFT'95), Aarhus, Denmark, May 1995"} @String{ lncs1201 = hart97} @String{ tapsoft97 = "Proc.\ 7th Int.\ Joint Conf.\ Theory and Practice of Software Development (TAPSOFT'97), Lille, France, Apr.\ 1997"} @String{ lics91 = "Proc.\ 6th IEEE Symp.\ Logic in Computer Science (LICS'91), Amsterdam, The Netherlands, July 1991"} @String{ lics96 = "Proc.\ 11th IEEE Symp.\ Logic in Computer Science (LICS'96), New Brunswick, NJ, USA, July 1996"} @String{ lics97 = "Proc.\ 12th IEEE Symp.\ Logic in Computer Science (LICS'97), Warsaw, Poland, June--July 1997"} @String{ tapsoft93 = "Proc.\ 4th Int.\ Joint Conf.\ Theory and Practice of Software Development (TAPSOFT'93), Orsay, France, Apr.\ 1993"} @String{ lics95 = "Proc.\ 10th IEEE Symp.\ Logic in Computer Science (LICS'95), San Diego, CA, USA, June 1995"} @String{ concur95 = "Proc.\ 6th Int.\ Conf.\ Theory of Concurrency (CONCUR'95), Philadelphia, PA, USA, Aug.\ 1995"} @String{ concur94 = "Proc.\ 5th Int.\ Conf.\ Theory of Concurrency (CONCUR'94), Uppsala, Sweden, Aug.\ 1994"} @String{ concur97 = "Proc.\ 8th Int.\ Conf.\ Concurrency Theory (CONCUR'97), Warsaw, Poland, Jul.\ 1997"} @String{ concur96 = "Proc.\ 7th Int.\ Conf.\ Concurrency Theory (CONCUR'96), Pisa, Italy, Aug.\ 1996"} @String{ concur91 = "Proc.\ 2nd Int.\ Conf.\ Theory of Concurrency (CONCUR'91), Amsterdam, NL, Aug.\ 1991"} @String{ concur90 = "Proc.\ Theories of Concurrency (CONCUR'90), Amsterdam, NL, Aug.\ 1990"} @String{ concur93 = "Proc.\ 4th Int.\ Conf.\ Concurrency Theory (CONCUR'93), Hildesheim, Germany, Aug.\ 1993"} @String{ concur92 = "Proc.\ 3rd Int.\ Conf.\ Concurrency Theory (CONCUR'92), Stony Brook, NY, USA, Aug.\ 1992"} @String{ lncs254 = "Petri Nets: Central Models and Their Properties, Bad Honnef, LNCS 254"} @String{ concur99 = "Proc.\ 10th Int.\ Conf.\ Concurrency Theory (CONCUR'99), Eindhoven, The Netherlands, Aug.\ 1999"} @String{ concur98 = "Proc.\ 9th Int.\ Conf.\ Concurrency Theory (CONCUR'98), Nice, France, Sep.\ 1998"} @String{ focs80 = "Proc.\ 21st IEEE Symp.\ Foundations of Computer Science (FOCS'80), Syracuse, NY, USA, Oct.\ 1980"} @String{ mvl = "Multiple-Valued Logic"} @String{ stoc75 = "Proc.\ 7th ACM Symp.\ Theory of Computing (STOC'75), Albuquerque, NM, USA, May 1975"} @String{ stoc76 = "Proc.\ 8th ACM Symp.\ Theory of Computing (STOC'76), Hershey, PA, USA, May 1976"} @String{ stoc77 = "Proc.\ 9th ACM Symp.\ Theory of Computing (STOC'77), Boulder, CO, USA, May 1977"} @String{ stoc71 = "Proc.\ 3rd ACM Symp.\ Theory of Computing (STOC'71), Shaker Heights, Ohio, USA, May 1971"} @String{ stoc73 = "Proc.\ 5th ACM Symp.\ Theory of Computing (STOC'73), Austin, TX, USA, Apr.-May 1973"} @String{ lncs2401 = iclp2002} @String{ asian2000 = "Proc.\ 6th Asian Computing Science Conference (ASIAN'2000), Penang, Malaysia, Nov. 2000"} @String{ apn92 = "Advances in Petri Nets 1992"} @String{ lncs652 = fsttcs92} @String{ lncs665 = stacs93} @String{ bams = "Bull.\ Amer.\ Math.\ Soc."} @String{ lncs2895 = "Proc.\ 1st Asian Symp.\ on Programming Languages and Systems (APLAS'03), Beijing, China, Nov.\ 2003"} @String{ ciaa2000 = "Proc.\ 5th Int.\ Conf.\ Implementation and Application of Automata (CIAA'2000), London, ON, Canada, July 2000"} @String{ lncs1200 = stacs97} @String{ focs79 = "Proc.\ 20th IEEE Symp.\ Foundations of Computer Science (FOCS'79), San Juan, Puerto Rico, Oct.\ 1979"} @String{ lncs2380 = icalp2002} @String{ theseinpg = "Th\`ese de Doctorat, I.N.P.\ de Grenoble, France"} @String{ jlli = "Journal of Logic, Language, and Information"} @String{ lncs1384 = tacas98} @String{ focs89 = "Proc.\ 30th IEEE Symp.\ Foundations of Computer Science (FOCS'89), Research Triangle Park, NC, USA, Oct.\ 1989"} @String{ amast98 = "Proc.\ 7th Int.\ Conf.\ Algebraic Methodology and Software Technology (AMAST'98), Amazonia, Brazil, Jan.\ 1999"} @String{ lncs1380 = latin98} @String{ rtss96 = "Proc.\ 17th IEEE Real-Time Systems Symposium (RTSS'96), Washington, DC, USA, Dec.\ 1996"} @String{ fsttcs99 = "Proc.\ 19th Conf.\ Found.\ of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS'99), Chennai, India, Dec.\ 1999"} @String{ lncs605 = "Proc.\ PARLE'92, Paris, LNCS 605"} @String{ amast93 = "Proc.\ 3rd Int.\ Conf.\ Algebraic Methodology and Software Technology (AMAST'93), Twente, NL, June 1993"} @String{ lncs355 = "Proc.\ Rewriting Techniques and Applications 89, Chapel Hill, LNCS 355"} @String{ lnai1761 = "Proc.\ Automated Deduction in Classical and Non Classical Logics"} @String{ amast96 = "Proc.\ 5th Int.\ Conf.\ Algebraic Methodology and Software Technology (AMAST'96), Munich, Germany, July 1996"} @String{ lncs600 = "Real-Time: Theory in Practice, Proc.\ REX Workshop, Mook, NL, June 1991"} @String{ lncs351 = "Proc.\ Int.\ Joint Conf.\ Theory and Practice of Software Development (TAPSOFT'89), Barcelona, Spain, Mar.\ 1989, Vol.\ 1"} @String{ amast95 = "Proc.\ 4th Int.\ Conf.\ Algebraic Methodology and Software Technology (AMAST'95), Montreal, Canada, July 1995"} @String{ tacas99 = "Proc.\ 5th Int.\ Conf.\ Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), Amsterdam, The Netherlands, Mar.\ 1999"} @String{ lncs813 = "Proc.\ 3rd Int.\ Symp.\ Logical Foundations of Computer Science (LFCS'94), St.\ Petersburg, Russia, July 1994"} @String{ lncs814 = cade94} @String{ lncs815 = atpn94} @String{ vuibert = "Vuibert"} @String{ tams = "Trans.\ Amer.\ Math.\ Soc."} @String{ lncs818 = cav94} @String{ plilp90 = "Proc.\ 3rd Int.\ Symp.\ Programming Language Implementation and Logic Programming (PLILP'90), Link{\"o}ping, Sweden, Aug.\ 1990"} @String{ lncs2620 = fossacs2003} @String{ podc88 = "Proc.\ 7th ACM Symp.\ Principles of Distributed Computing (PODC'88), Toronto, ON, Canada, Aug.\ 1988"} @String{ lncs526 = tacs91} @String{ lncs1379 = rta98} @String{ lncs1378 = fossacs98} @String{ lncs1470 = "Proc.\ 4th Int.\ {Euro-Par} Conference (EUROPAR'98), Southampton, {UK}, Sept.\ 1998"} @String{ lncs2747 = mfcs2003} @String{ lncs389 = "Proc.\ Category Theory and Computer Science, LNCS 389"} @String{ lncs1373 = stacs98} @String{ lncs1479 = tphol98} @String{ focs81 = "Proc.\ 22nd IEEE Symp.\ Foundations of Computer Science (FOCS'81), Nashville, TN, USA, Oct.\ 1981"} @String{ r = "Report"} @String{ anmath = "Annals of Mathematics"} @String{ fsttcs91 = "Proc.\ 11th Conf.\ Found.\ of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS'91), New Delhi, India, Dec.\ 1991"} @String{ focs83 = "Proc.\ 24th IEEE Symp.\ Foundations of Computer Science (FOCS'83), Tucson, AZ, USA, Nov.\ 1983"} @String{ lncs324 = "Proc.\ Math.\ Found.\ Comp.\ Sci., LNCS 324"} @String{ mfcs80 = "Proc.\ 9th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'80), Rydzyna, Poland, Sep.\ 1980"} @String{ lncs452 = mfcs90} @String{ focs82 = "Proc.\ 23rd IEEE Symp.\ Foundations of Computer Science (FOCS'82), Chicago, IL, USA, Nov.\ 1982"} @String{ lncs107 = "Proc.\ Int.\ Coll.\ Formalization of Programming Concepts, Peniscola, Spain, Apr.\ 1981"} @String{ lncs456 = plilp90} @String{ lncs458 = concur90} @String{ lncs1491 = "Advances in Petri Nets 1998"} @String{ islp88 = "Proc.\ 5th Int.\ Conference and Symposium on Logic Programming (ISLP'88), Seattle, WA, USA, Aug.\ 1988"} @String{ disc99 = "Proc.\ 13th Int.\ Symp.\ on Distributed Computing (DISC'99), Bratislava, Slovak Republic, Sep.\ 1999"} @String{ sv = "Springer"} @String{ lncs691 = atpn93} @String{ lpar2003 = "Proc.\ 10th Int.\ Conf.\ Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'2003), Almaty, Kazakhstan, Sep.\ 2003"} @String{ lncs697 = cav93} @String{ iclp2002 = "Proc.\ 18th Int.\ Conf.\ Logic Programming (ICLP'2002), Copenhagen, Denmark, July-Aug.\ 2002"} @String{ lncs609 = apn92} @String{ csl97 = "Proc.\ 11th Int.\ Workshop Computer Science Logic (CSL'97), Aarhus, Denmark, Aug.\ 1997"} @String{ lncs1158 = "Proc.\ Int.\ Workshop Types for Proofs and Programs (TYPES'95), Torino, Italy, June 1995"} @String{ lncs2136 = mfcs2001} @String{ stacs91 = "Proc.\ 8th Ann.\ Symp.\ Theoretical Aspects of Computer Science (STACS'91), Hamburg, Germany, Feb.\ 1991"} @String{ lncs217 = "Programs as Data Objects, Copenhagen, DK, LNCS 217"} @String{ lncs214 = "Proc.\ CAAP'86, Nice, LNCS 214"} @String{ lncs213 = "Proc.\ ESOP'86, Saarbr{\"u}cken, LNCS 213"} @String{ lncs210 = "Proc.\ STACS'86, Orsay, LNCS 210"} @String{ lncs194 = icalp85} @String{ lncs197 = "Proc.\ Seminar on Concurrency, Pittsburgh, PA, USA, July 1984"} @String{ ndjfl = "Notre Dame Journal of Formal Logic"} @String{ mit = "MIT Press"} @String{ lncs193 = "Proc.\ Logics of Programs Workshop, Brooklyn College, NY, USA, June 1985"} @String{ lncs192 = "Automata on Infinite Words, Le Mont Dor\'{e}, LNCS 192"} @String{ lncs775 = stacs94} @String{ pstv87 = "Proc.\ 7th IFIP WG6.1 Int.\ Workshop on Protocol Specification, Testing, and Verification (PSTV'87), Zurich, Switzerland, May 1987"} @String{ lncs354 = "Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Proc.\ REX School/Workshop, Noordwijkerhout, NL, May-June 1988"} @String{ sigsoft98 = "Proc.\ 6th ACM SIGSOFT Int.\ Symp.\ Foundations of Software Engineering (FSE'98), Lake Buena Vista, FL, USA, Nov.\ 1998"} @String{ jsc = "Journal of Symbolic Computation"} @String{ sigsoft95 = "Proc.\ 3rd ACM SIGSOFT Symp.\ Foundations of Software Engineering (FSE'95), Washington, DC, USA, Oct.\ 1995"} @String{ sigsoft94 = "Proc.\ 2nd ACM SIGSOFT Symp.\ Foundations of Software Engineering (FSE'94), New Orleans, LA, USA, Dec.\ 1994"} @String{ lncs1725 = sofsem99} @String{ amai = "Annals of Mathematics and Artificial Intelligence"} @String{ lncs1723 = "The Unified Modeling Language - Beyond the Standard, Proc.\ 2nd Int.\ Conf., (UML'99) Fort Collins, CO, USA, Oct.\ 1999"} @String{ infinity2003 = "Proc.\ 5th Int.\ Workshop on Verification of Infinite State Systems (INFINITY'2003), Marseille, France, Sep.\ 2003"} @String{ bsl = "Bulletin of the Section of Logic"} @String{ lncs176 = mfcs84} @String{ lncs174 = "Proc.\ EUROSAM'84, Cambridge, LNCS 174"} @String{ lncs173 = "Semantics of Data Types, Sophia-Antipolis, LNCS 173"} @String{ lncs172 = icalp84} @String{ lncs170 = cade84} @String{ lncs2057 = "Model Checking Software, Proc.\ 8th Int.\ {SPIN} Workshop, Toronto, Canada, May 2001"} @String{ tlca2003 = "Proc.\ 6th Int.\ Conf.\ on Typed Lambda Calculi and Applications (TLCA'2003), Valencia, Spain, June 2003"} @String{ lics90 = "Proc.\ 5th IEEE Symp.\ Logic in Computer Science (LICS'90), Philadelphia, PA, USA, June 1990"} @String{ tableaux2000 = "Proc.\ Int.\ Conf.\ Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'2000), St Andrews, Scotland, GB, July 2000"} @String{ rta98 = "Proc.\ 9th Int.\ Conf.\ Rewriting Techniques and Applications (RTA'98), Tsukuba, Japan, Mar.--Apr.\ 1998"} @String{ lncs582 = esop92} @String{ lncs583 = "Proc.\ First Latin American Symposium on Theoretical Informatics, Sao Paulo, Brazil, LNCS 583"} @String{ lnai = "Lecture Notes in Artificial Intelligence"} @String{ lncs2180 = disc2001} @String{ lncs1657 = types98} @String{ pnl = "Petri Nets Newsletter"} @String{ caap96 = "Proc.\ 21st Int.\ Coll.\ on Trees in Algebra and Programming (CAAP'96), Link{\"o}ping, Sweden, Apr.\ 1996"} @String{ caap94 = "Proc.\ 19th Int.\ Coll.\ on Trees in Algebra and Programming (CAAP'94), Edinburgh, Scotland, Apr.\ 1994"} @String{ lncs88 = mfcs80} @String{ lncs1512 = types96} @String{ plilp91 = "Proc.\ 4th Int.\ Symp.\ Programming Language Implementation and Logic Programming (PLILP'91), Passau, Germany, Aug.\ 1991"} @String{ rts = "Real-Time Systems"} @String{ lncs1578 = fossacs99} @String{ lifac = "LIFAC, \'Ecole Normale Sup\'erieure de Cachan"} @String{ podc87 = "Proc.\ 6th ACM Symp.\ Principles of Distributed Computing (PODC'87), Vancouver, B.C., Canada, Aug.\ 1987"} @String{ chapmanhall = "Chapman \& Hall"} @String{ fsttcs87 = "Proc.\ 7th Conf.\ Found.\ of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS'87), Pune, India, Dec.\ 1987"} @String{ fsttcs86 = "Proc.\ 6th Conf.\ on Foundations of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS'86), New Delhi, India, Dec.\ 1986"} @String{ fsttcs84 = "Proc.\ 4th Conf.\ Found.\ of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS'84), Bangalore, India, Dec.\ 1984"} @String{ ijcai9 = "Proc.\ 9th IJCAI, Los Angeles"} @String{ lncs259 = "Proc.\ Parallel Architectures and Languages Europe (PARLE'87), Eindhoven, NL, June 1987, vol.\ II: Parallel Languages"} @String{ ijcai2 = "Proc.\ 2nd IJCAI, London"} @String{ ijcai6 = "Proc.\ 6th IJCAI, Tokyo"} @String{ lncs959 = "Proc.\ 1st Int.\ Conf.\ Computing and Combinatorics, (COCOON'95), Xi'an, China, Aug.\ 1995"} @String{ icalp74 = "Proc.\ 2nd Coll.\ Automata, Languages and Programming (ICALP'74), Saarbr{\"u}cken, FRG, July-Aug.\ 1974"} @String{ tocl = "ACM Trans.\ Computational Logic"} @String{ larecherche = "La Recherche"} @String{ podc89 = "Proc.\ 8th ACM Symp.\ Principles of Distributed Computing (PODC'89), Edmonton, Alberta, Canada, Aug.\ 1989"} @String{ lncs87 = cade80} @String{ lncs1877 = concur2000} @String{ lnai1489 = "Proc.\ European Workshop Logics in Artificial Intelligence (JELIA'98), Dagstuhl, Germany, Oct.\ 1998"} @String{ lncs84 = "Proc.\ Advanced Course Net Theory and Applications, Hamburg, FRG, Oct.\ 1979"} @String{ lncs915 = tapsoft95} @String{ lncs914 = rta95} @String{ lncs2706 = rta2003} @String{ lncs2701 = tlca2003} @String{ lncs910 = "Constraint Programming: Basics and Trends. Selected papers from the May 1994 Ch{\^a}tillon Spring School"} @String{ cade99 = "Proc.\ 16th Int.\ Conf.\ Automated Deduction (CADE'99), Trento, Italy, July 1999"} @String{ alp94 = "Proc.\ 4th Int.\ Conf.\ on Algebraic and Logic Programming (ALP'94), Madrid, Spain, Sep.\ 1994"} @String{ hermes = "Herm\`es"} @String{ sofsem96 = "Proc.\ 23rd Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM'96), Milovy, Czech Republic, Nov.\ 1996"} @String{ cav89 = "Proc.\ Int.\ Workshop Automatic Verification Methods for Finite State Systems (CAV'89), Grenoble, June 1989"} @String{ cade94 = "Proc.\ 12th Int.\ Conf.\ Automated Deduction (CADE'94), Nancy, France, June-July 1994"} @String{ lncs1231 = arts97} @String{ lncs1232 = rta97} @String{ cade97 = "Proc.\ 14th Int.\ Conf.\ Automated Deduction (CADE'97), Townsville, North Queensland, Australia, July 1997"} @String{ sciam = "Sci.\ Am."} @String{ latin98 = "Proc.\ 3rd Latin American Theoretical Informatics Symposium (LATIN'98), Campinas, Brazil, Apr.\ 1998"} @String{ lncs255 = "Petri Nets: Applications and Relationships to Other Models of Concurrency, Bad Honnef, LNCS 255"} @String{ apn91 = "Advances in Petri Nets 1991"} @String{ lncs655 = "Recent Trends in Data Type Specification (Selected Papers of the 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop)"} @String{ lncs379 = "Proc.\ Math.\ Found.\ Comp.\ Sci., Porabka-Kozubnik, LNCS 379"} @String{ lncs226 = icalp86} @String{ lncs225 = "Proc.\ ICLP-3, LNCS 225"} @String{ lncs224 = "Current Trends in Concurrency, LNCS 224"} @String{ lncs222 = apn85} @String{ mfcs2001 = "Proc.\ 26th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'2001), Marianske Lazne, Czech Republic, Aug.\ 2001"} @String{ mfcs2000 = "Proc.\ 25th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'2000), Bratislava, Slovakia, Aug.\ 2000"} @String{ mfcs2003 = "Proc.\ 28th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'2003), Bratislava, Slovakia, Aug.\ 2003"} @String{ mfcs2002 = "Proc.\ 27th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'2002), Warsaw, Poland, Aug.\ 2002"} @String{ stacs98 = "Proc.\ 15th Ann.\ Symp.\ Theoretical Aspects of Computer Science (STACS'98), Paris, France, Feb.\ 1998"} @String{ stacs99 = "Proc.\ 16th Ann.\ Symp.\ Theoretical Aspects of Computer Science (STACS'99), Trier, Germany, Mar.\ 1999"} @String{ stacs94 = "Proc.\ 11th Ann.\ Symp.\ Theoretical Aspects of Computer Science (STACS'94), Caen, France, Feb.\ 1994"} @String{ stacs95 = "Proc.\ 12th Ann.\ Symp.\ Theoretical Aspects of Computer Science (STACS'95), Munich, Germany, Mar.\ 1995"} @String{ stacs96 = "Proc.\ 13th Ann.\ Symp.\ Theoretical Aspects of Computer Science (STACS'96), Grenoble, France, Feb.\ 1996"} @String{ stacs97 = "Proc.\ 14th Ann.\ Symp.\ Theoretical Aspects of Computer Science (STACS'97), L{\"u}beck, Germany, Feb.-Mar.\ 1997"} @String{ lncs385 = "Proc.\ 2nd Workshop on Computer Science Logic, Duisburg, LNCS 385"} @String{ lncs386 = "Formal Properties of Finite Automata and Applications, Ramatuelle, LNCS 386"} @String{ stacs93 = "Proc.\ 10th Ann.\ Symp.\ Theoretical Aspects of Computer Science (STACS'93), W{\"u}rzburg, Germany, Feb.\ 1993"} @String{ lncs983 = sas95} @String{ icca = "ICCA Journal"} @String{ lncs2679 = atpn2003} @String{ lncs1420 = atpn98} @String{ lncs863 = ftrtft94} @String{ ecs07 = "Proc.\ 2nd {E}uropean {C}ognitive {S}cience conf. ({E}uro{C}og{S}ci'07)"} @String{ lncs1427 = cav98} @String{ pacif = "Pacific J.\ Math."} @String{ lncs258 = "Proc.\ Parallel Architectures and Languages Europe (PARLE'87), Eindhoven, NL, June 1987, vol.\ I: Parallel Architectures"} @String{ lncs310 = "Proc.\ 9th Conf.\ on Automated Deduction, Argonne, LNCS 310"} @String{ lncs317 = icalp88} @String{ podc83 = "Proc.\ 2nd ACM Symp.\ Principles of Distributed Computing (PODC'83), Montreal, Canada, Aug.\ 1983"} @String{ lncs1346 = fsttcs97} @String{ lncs314 = "Graph Theoretic Concepts in Comp.\ Sci., LNCS 314"} @String{ lncs1349 = amast97} @String{ lncs250 = "Proc.\ CFLP, Pisa, LNCS 250"} @String{ popl95 = "Proc.\ 22nd ACM Symp.\ Principles of Programming Languages (POPL'95), San Francisco, CA, USA, Jan.\ 1995"} @String{ popl92 = "Proc.\ 19th ACM Symp.\ Principles of Programming Languages, Albuquerque, NM, USA"} @String{ popl90 = "Proc.\ 17th ACM Symp.\ Principles of Programming Languages, San Francisco, CA, USA"} @String{ popl91 = "Proc.\ 18th ACM Symp.\ Principles of Programming Languages, Orlando"} @String{ lncs1601 = arts99} @String{ fme97 = "Proc.\ 4th Int.\ Symposium of Formal Methods Europe (FME'97), Graz, Austria, Sep.\ 1997"} @String{ csl2000 = "Proc.\ 14th Int.\ Workshop Computer Science Logic (CSL'2000), Fischbachau, Germany, Aug.\ 2000"} @String{ lncs1974 = fsttcs2000} @String{ csl2003 = "Proc.\ 17th Int.\ Workshop Computer Science Logic (CSL'2003) and 8th Kurt G{\"o}del Coll.\ (KGL'2003), Vienna, Austria, Aug.\ 2003"} @String{ csl2002 = "Proc.\ 16th Int.\ Workshop Computer Science Logic (CSL'2002), Edinburgh, Scotland, Sep.\ 2002"} @String{ csl2001 = "Proc.\ 15th Int.\ Workshop Computer Science Logic (CSL'2001), Paris, France, Sep.\ 2001"} @String{ lncs1277 = "Proc.\ 4th Int.\ Conf.\ Parallel Computing Technologies (PaCT'97), Yaroslavl, Russia, Sep.\ 1997"} @String{ csfw97 = "Proc.\ 10th IEEE Computer Security Foundations Workshop, Rockport, MA, USA, June 1997"} @String{ popl4 = "Proc.\ 4th ACM Symp.\ Principles of Programming Languages, Los Angeles, CA, USA"} @String{ popl5 = "Proc.\ 5th ACM Symp.\ Principles of Programming Languages, Tucson, AZ, USA"} @String{ popl6 = "Proc.\ 6th ACM Symp.\ Principles of Programming Languages, San Antonio, TX, USA"} @String{ lncs74 = mfcs79} @String{ ws = "World Scientific"} @String{ popl1 = "Proc.\ 1st ACM Symp.\ Principles of Programming Languages, Boston, MA, USA"} @String{ popl2 = "Proc.\ 2nd ACM Symp.\ Principles of Programming Languages, Palo Alto, CA, USA"} @String{ popl3 = "Proc.\ 3rd ACM Symp.\ Principles of Programming Languages, Atlanta, GA, USA"} @String{ cedric = "CEDRIC, Conservatoire National des Arts et M\'etiers"} @String{ lncs131 = "Proc.\ Logics of Programs Workshop, Yorktown Heights, New York, May 1981"} @String{ lncs137 = "Proc.\ 5th Int.\ Symp.\ on Programming, Turin, Italy, Apr.\ 1982"} @String{ lncs424 = "Advances in Petri Nets 1989, LNCS 424"} @String{ fossacs98 = "Proc.\ Int.\ Conf.\ Foundations of Software Science and Computation Structures (FOSSACS'98), Lisbon, Portugal, Mar.-Apr.\ 1999"} @String{ fossacs99 = "Proc.\ 2nd Int.\ Conf.\ Foundations of Software Science and Computation Structures (FOSSACS'99), Amsterdam, The Netherlands, Mar.\ 1999"} @String{ adpm2000 = "Proc.\ 4th Int.\ Conf.\ Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM'2000), Dortmund, Germany, Sept.\ 2000"} @String{ podc85 = "Proc.\ 4th ACM Symp.\ Principles of Distributed Computing (PODC'85), Minaki, ON, Canada, Aug.\ 1985"} @String{ tsi = "Technique et Science Informatiques"} @String{ iccd95 = "Proc.\ 1995 Int.\ Conf.\ on Computer Design (ICCD '95), VLSI in Computers and Processors, Austin, TX, USA, Oct.\ 1995"} @String{ symsac = "Proc.\ ACM Symp.\ Symbolic and Algebraic Computation"} @String{ tacas97 = "Proc.\ 3rd Int.\ Workshop Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97), Enschede, NL, Apr.\ 1997"} @String{ lncs1693 = disc99} @String{ lncs1043 = "Logics for Concurrency: Structure Versus Automata"} @String{ tableaux97 = "Proc.\ Int.\ Conf.\ Automated Reasoning with Analytical Tableaux and Related Methods (TABLEAUX'97), Pont-{\`a}-Mousson, France, May 1997"} @String{ tableaux96 = "Proc.\ 5th Int.\ Workshop on Theorem Proving with Analytical Tableaux and Related Methods (TABLEAUX'96), Terrasini, Palermo, Italy, May 1996"} @String{ tableaux95 = "Proc.\ 4th Int.\ Workshop on Theorem Proving with Analytical Tableaux and Related Methods (TABLEAUX'95), Schloss Rheinfels, St. Goar, Germany, May 1995"} @String{ lncs2010 = stacs2001} @String{ stoc2001 = "Proc.\ 33rd ACM Symp.\ Theory of Computing (STOC'2001), Heraklion, Crete, Greece, July 2001"} @String{ pods97 = "Proc.\ 16th ACM Symp.\ Principles of Database Systems (PODS'97), Tucson, AZ, USA, May 1997"} @String{ cl07 = "Proc.\ {C}orpus {L}inguistics 2007"} @String{ lics89 = "Proc.\ 4th IEEE Symp.\ Logic in Computer Science (LICS'89), Asilomar, CA, USA, June 1989"} @String{ lncs2263 = "Advances in Object Modelling with the {OCL}"} @String{ lncs2267 = wadt2001} @String{ sicont = "SIAM J.\ Control and Optimization"} @String{ lncs2300 = "Formal and Natural Computing. Essays Dedicated to Grzegorz Rozenberg"} @String{ lncs2303 = fossacs2002} @String{ tapsoft85 = "Proc.\ Int.\ Joint Conf.\ Theory and Practice of Software Development (TAPSOFT'85), Berlin, FRG, Mar.\ 1985"} @String{ lics87 = "Proc.\ 2nd IEEE Symp.\ Logic in Computer Science (LICS'87), Ithaca, NY, USA, June 1987"} @String{ lics86 = "Proc.\ 1st IEEE Symp.\ Logic in Computer Science (LICS'86), Cambridge, MA, USA, June 1986"} @String{ pp = "Pergamon Press"} @String{ lnai918 = tableaux95} @String{ mfcs91 = "Proc.\ 16th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'91), Kazimierz Dolny, Poland, Sep.\ 1991"} @String{ ai = "Artificial Intelligence"} @String{ lnai1227 = tableaux97} @String{ ph = "Prentice Hall Int."} @String{ atpn98 = "Proc.\ 19th Int.\ Conf.\ Application and Theory of Petri Nets (ICATPN'98), Lisbon, Portugal, June 1998"} @String{ atpn99 = "Proc.\ 20th Int.\ Conf.\ Application and Theory of Petri Nets (ICATPN'99), Williamsburg, VA, USA, June 1999"} @String{ rta2002 = "Proc.\ 13th Int.\ Conf.\ Rewriting Techniques and Applications (RTA'2002), Copenhagen, Denmark, July 2002"} @String{ rta2003 = "Proc.\ 14th Int.\ Conf.\ Rewriting Techniques and Applications (RTA'2003), Valencia, Spain, June 2003"} @String{ atpn92 = "Proc.\ 13th Int.\ Conf.\ Application and Theory of Petri Nets (ICATPN'92), Sheffield, UK, June 1992"} @String{ atpn93 = "Proc.\ 14th Int.\ Conf.\ Application and Theory of Petri Nets (ICATPN'93), Chicago, IL, USA, June 1993"} @String{ atpn94 = "Proc.\ 15th Int.\ Conf.\ Application and Theory of Petri Nets (ICATPN'94), Zaragoza, Spain, June 1994"} @String{ atpn95 = "Proc.\ 16th Int.\ Conf.\ Application and Theory of Petri Nets (ICATPN'95), Turin, Italy, June 1995"} @String{ lnai1071 = tableaux96} @String{ lncs2420 = mfcs2002} @String{ lncs2421 = concur2002} @String{ lncs2422 = amast2002} @String{ lncs1961 = asian2000} @String{ lncs1217 = tacas97} @String{ amast97 = "Proc.\ 6th Int.\ Conf.\ Algebraic Methodology and Software Technology (AMAST'97), Sydney, Australia, Dec.\ 1997"} @String{ eup = "Edinburgh Univ.\ Press"} @String{ usenix = "Usenix Association"} @String{ ftrtft96 = "Proc.\ 4th Int.\ Symp.\ Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFTS'96), Uppsala, Sweden, Sep.\ 1996"} @String{ icalp95 = "Proc.\ 22nd Int.\ Coll.\ Automata, Languages, and Programming (ICALP'95), Szeged, Hungary, July 1995"} @String{ icalp94 = "Proc.\ 21st Int.\ Coll.\ Automata, Languages, and Programming (ICALP'94), Jerusalem, Israel, July 1994"} @String{ icalp97 = "Proc.\ 24th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'97), Bologna, Italy, July 1997"} @String{ icalp96 = "Proc.\ 23rd Int.\ Coll.\ Automata, Languages, and Programming (ICALP'96), Paderborn, Germany, July 1996"} @String{ icalp2002 = "Proc.\ 29th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'2002), Malaga, Spain, July 2002"} @String{ icalp2003 = "Proc.\ 30th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'2003), Eindhoven, NL, July 2003"} @String{ icalp2000 = "Proc.\ 27th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'2000), Geneva, Switzerland, July 2000"} @String{ icalp2001 = "Proc.\ 28th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'2001), Crete, Greece, July 2001"} @String{ lncs340 = apn88} @String{ icalp98 = "Proc.\ 25th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'98), Aalborg, Denmark, July 1998"} @String{ lncs343 = alp88} @String{ lncs944 = icalp95} @String{ lncs1099 = icalp96} @String{ fsttcs97 = "Proc.\ 17th Conf.\ Found.\ of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS'97), Kharagpur, India, Dec.\ 1997"} @String{ lncs820 = icalp94} @String{ atpn2003 = "Proc.\ 24th Int.\ Conf.\ Application and Theory of Petri Nets (ICATPN'2003), Eindhoven, The Netherlands, June 2003"} @String{ atpn2002 = "Proc.\ 23rd Int.\ Conf.\ Application and Theory of Petri Nets (ICATPN'2002), Adelaide, Australia, June 2002"} @String{ atpn2001 = "Proc.\ 22nd Int.\ Conf.\ Application and Theory of Petri Nets (ICATPN'2001), Newcastle upon Tyne, UK, June 2001"} @String{ atpn2000 = "Proc.\ 21st Int.\ Conf.\ Application and Theory of Petri Nets (ICATPN'2000), Aarhus, Denmark, June 2000"} @String{ rtss95 = "Proc.\ 16th IEEE Real-Time Systems Symposium (RTSS'95), Pisa, Italy, Dec.\ 1995"} @String{ rtss94 = "Proc.\ 15th IEEE Real-Time Systems Symposium (RTSS'94), San Juan, Puerto Rico, Dec.\ 1994"} @String{ rtss97 = "Proc.\ 18th IEEE Real-Time Systems Symposium (RTSS'97), San Francisco, CA, USA, Dec.\ 1997"} @String{ atpn2004 = "Proc.\ 25th Int.\ Conf.\ Application and Theory of Petri Nets (ICATPN'2004), Bologna, Italy, June 2004"} @String{ rtss98 = "Proc.\ 19th IEEE Real-Time Systems Symposium (RTSS'98), Madrid, Spain, Dec.\ 1998"} @String{ lncs1300 = "Proc.\ 3rd Int.\ {Euro-Par} Conference on Parallel Processing (EURO-PAR'97), Passau, Germany, Aug.\ 1997"} @String{ tableaux99 = "Proc.\ Int.\ Conf.\ Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'99), Saratoga Springs, NY, USA, June 1999"} @String{ lncs2289 = "Proc.\ 5th Int.\ Workshop Hybrid Systems: Computation and Control (HSCC'2002), Stanford, CA, USA, Mar.\ 2002"} @String{ riao07 = "Proc.\ Recherche d'Information Assist{\'e}e par Ordinateur ({R}{I}{A}{O} 2007) - {L}arge-{S}cale {S}emantic {A}ccess to {C}ontent ({T}ext, {I}mage, {V}ideo and {S}ound)"} @String{ lncs256 = "Proc.\ Rewriting Techniques and Applications 87, Bordeaux, LNCS 256"} @String{ sofsem2001 = "Proc.\ 28th Conf.\ Current Trends in Theory and Practice of Informatics (SOFSEM'2001), Piestany, Slovak Republic, Nov.\ 2001"} @String{ lncs2280 = tacas2002} @String{ lncs2285 = stacs2002} @String{ lncs2286 = latin2002} @String{ lncs52 = icalp77} @String{ islp91 = "Proc.\ 1991 International Symposium on Logic Programming (ISLP'91), San Diego, CA, USA, Oct.\ 1991"} @String{ islp90 = "Proc.\ 7th Int.\ Conference on Logic Programming, Jerusalem (ISLP'90), Israel, June 1990"} @String{ lncs505 = "Proc.\ Parallel Architectures and Languages Europe (PARLE'91), Eindhoven, NL, June 1991, vol.\ I: Parallel Architectures and Algorithms"} @String{ lncs469 = "Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science, La Roche Posay, France, Apr.\ 1990"} @String{ concur2003 = "Proc.\ 14th Int.\ Conf.\ Concurrency Theory (CONCUR'2003), Marseille, France, Sep.\ 2003"} @String{ concur2000 = "Proc.\ 11th Int.\ Conf.\ Concurrency Theory (CONCUR'2000), University Park, PA, USA, Aug.\ 2000"} @String{ concur2001 = "Proc.\ 12th Int.\ Conf.\ Concurrency Theory (CONCUR'2001), Aalborg, Denmark, Aug.\ 2001"} @String{ lncs464 = "Aspects and Prospects of Theor.\ Comp.\ Sci., Smolenice, CZ, LNCS 464"} @String{ theseupmc = "Th\`ese de Doctorat, Univ.\ Pierre et Marie Curie-Paris VI, France"} @String{ jcta = "Journal of Combinatorial Theory, Series A"} @String{ lfp90 = "Proc.\ 1990 ACM Conf.\ Lisp and Functional Programming, Nice, France"} @String{ lncs372 = icalp89} @String{ tacas2003 = "Proc.\ 9th Int.\ Conf.\ Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2003) Warsaw, Poland, Apr.\ 2003"} @String{ tacas2002 = "Proc.\ 8th Int.\ Conf.\ Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2002), Grenoble, France, Apr.\ 2002"} @String{ tacas2001 = "Proc.\ 7th Int.\ Conf.\ Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2001), Genova, Italy, Apr.\ 2001"} @String{ tacas2000 = "Proc.\ 6th Int.\ Conf.\ Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2000), Berlin, Germany, Mar.-Apr.\ 2000"} @String{ lncs668 = tapsoft93} @String{ signot = "SIGPLAN Notices"} @String{ lncs666 = "Semantics: Foundations and Applications, Proc.\ REX Workshop, Beekbergen, NL, June 1992"} @String{ theseujf = "Th\`ese de Doctorat, Univ.\ Joseph Fourier-Grenoble I, France"} @String{ lncs663 = cav92} @String{ mfcs96 = "Proc.\ 21st Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'96), Cracow, Poland, Sep.\ 1996"} @String{ lnai2850 = lpar2003} @String{ lncs1165 = "Formal methods for industrial applications: specifying and programming the steam boiler control"} @String{ dlt2003 = "Proc.\ 7th Int.\ Conf.\ Developments in Language Theory (DLT'2003), Szeged, Hungary, July 2003"} @String{ lncs1046 = stacs96} @String{ lncs1414 = csl97} @String{ lncs266 = "Advances in Petri Nets 1987, LNCS 266"} @String{ lncs1000 = "Computer Science Today. Recent Trends and Developments"} @String{ latin2000 = "Proc.\ 4th Latin American Symposium on Theoretical Informatics (LATIN'2000), Punta del Este, Uruguay, Apr.\ 2000"} @String{ lncs181 = fsttcs84} @String{ lncs186 = tapsoft85} @String{ lncs185 = caap85} @String{ lncs1639 = atpn99} @String{ mfcs90 = "Proc.\ 15th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'90), Bansk{\'a} Bystrica, CZ, Aug.\ 1990"} @String{ lncs1738 = fsttcs99} @String{ lncs1632 = cade99} @String{ lncs1633 = cav99} @String{ tcs = "Theoretical Computer Science"} @String{ tphol2000 = "Proc.\ 13th Int.\ Conf.\ Theorem Proving in Higher Order Logics (TPHOLs'2000), Portland, OR, USA, Aug.\ 2000"} @String{ jar = "Journal of Automated Reasoning"} @String{ lncs164 = "Proc.\ Workshop Logics of Programs, Pittsburgh, PA, USA, June 1983"} @String{ lncs166 = stacs84} @String{ ijcai83 = "Proc.\ 7th Int.\ Joint Conf.\ Artificial Intelligence (IJCAI'83), Karlsruhe, FRG, Aug.\ 1983"} @String{ amast89 = "Proc.\ Int.\ Conf.\ Algebraic Methodology and Software Technology (AMAST'89), Iowa City, Iowa, USA, May 1989"} @String{ esop92 = "Proc.\ 4th European Symposium on Programming (ESOP'92), Rennes, France, Feb.\ 1992"} @String{ beatcs = "EATCS Bull."} @String{ stacs84 = "Proc.\ STACS'84, Paris, LNCS 166"} @String{ kluwer = "Kluwer Academic"} @String{ cup = "Cambridge Univ.\ Press"} @String{ mfcs78 = "Proc.\ 7th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'78), Zakopane, Poland, Sep.\ 1978"} @String{ mfcs79 = "Proc.\ 8th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'79), Olomouc, CZ, Sep.\ 1979"} @String{ types96 = "Proc.\ Int.\ Workshop on Types for Proofs and Programs (TYPES'96), Aussois, France, Dec.\ 1996. Selected papers"} @String{ tphol2001 = "Proc.\ 14th Int.\ Conf.\ Theorem Proving in Higher Order Logics (TPHOLs'01), Edinburgh, Scotland, Sep.\ 2001"} @String{ lncs1644 = icalp99} @String{ lncs1130 = "Recent Trends in Data Type Specification (Selected papers of the 11th Workshop on Specification of Abstract Data Types joint with the 8th COMPASS Workshop, Oslo, Norway, Sep.\ 1995)"} @String{ focs2001 = "Proc.\ 42nd Symp.\ Foundations of Computer Science (FOCS'2001), Las Vegas, NV, USA, Oct.\ 2001"} @String{ lncs203 = "Proc.\ EUROCAL'85, Linz, LNCS 203"} @String{ lncs1135 = ftrtft96} @String{ rta95 = "Proc.\ 6th Int.\ Conf.\ Rewriting Techniques and Applications (RTA'95), Kaiserslautern, Germany, Apr.\ 1995"} @String{ cade2002 = "Proc.\ 18th Int.\ Conf.\ Automated Deduction (CADE'2002), Copenhagen, Denmark, July 2002"} @String{ amm = "Amer.\ Math.\ Monthly"} @String{ lncs2469 = ftrtft2002} @String{ caap85 = "Proc.\ 10th Int.\ Coll.\ on Trees in Algebra and Programming (CAAP'85), Berlin, FRG, Mar.\ 1985"} @String{ caap87 = "Proc.\ 12th Int.\ Coll.\ on Trees in Algebra and Programming (CAAP'87), Pisa, Italy, Mar.\ 1987"} @String{ caap81 = "Proc.\ 6th Coll.\ on Trees in Algebra and Programming (CAAP'81), Genoa, Italy, Mar.\ 1981"} @String{ discomp = "Distributed Computing"} @String{ sigsoft = "Software Engineering Notes"} @String{ mfcs97 = "Proc.\ 22nd Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'97), Bratislava, Slovakia, Aug.\ 1997"} @String{ lncs715 = concur93} @String{ mfcs95 = "Proc.\ 20th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'95), Prague, Czech Republic, Aug.-Sep.\ 1995"} @String{ mfcs92 = "Proc.\ 17th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'92), Prague, Czechoslovakia, Aug.\ 1992"} @String{ mfcs93 = "Proc.\ 18th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'93), Gda{\'n}sk, Poland, Aug.-Sep.\ 1993"} @String{ lncs711 = mfcs93} @String{ lncs710 = "Proc.\ 9th Int.\ Conf.\ Fundamentals of Computation Theory, Szeged, Hungary, LNCS 710"} @String{ ams = "American Mathematical Society"} @String{ esop94 = "Proc.\ 5th European Symposium on Programming (ESOP'94), Edinburgh, Scotland, Apr.\ 1994"} @String{ lncs2234 = sofsem2001} @String{ lncs2237 = iclp2001} @String{ mfcs99 = "Proc.\ 24th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'99), Szklarska Poreba, Poland, Sep.\ 1999"} @String{ latin2002 = "Proc.\ 5th Latin American Symposium on Theoretical Informatics (LATIN'2002), Canc{\'u}n, M{\'e}xico, Apr.\ 2002"} @String{ lncs483 = "Advances in Petri Nets 1990, LNCS 483"} @String{ infinity98 = "Proc.\ 3rd Int.\ Workshop on Verification of Infinite State Systems (INFINITY'98), Aalborg, Denmark, July 1998"} @String{ lncs480 = stacs91} @String{ fossacs2003 = "Proc.\ 6th Int.\ Conf.\ Foundations of Software Science and Computation Structures (FOSSACS'2003), Warsaw, Poland, Apr.\ 2003"} @String{ fossacs2002 = "Proc.\ 5th Int.\ Conf.\ Foundations of Software Science and Computation Structures (FOSSACS'2002), Grenoble, France, Apr.\ 2002"} @String{ lnai827 = "Proc.\ 1st Int.\ Conf.\ Temporal Logic, Bonn, Germany, July 1993"} @String{ infinity96 = "Proc.\ 1st Int.\ Workshop on Verification of Infinite State Systems (INFINITY'96), Pisa, Italy, Aug.\ 1996"} @String{ lncs190 = "Distributed systems: methods and tools for specification: an advanced course"} @String{ infinity97 = "Proc.\ 2nd Int.\ Workshop on Verification of Infinite State Systems (INFINITY'97), Bologna, Italy, July 1997"} @String{ lncs1869 = tphol2000} @String{ reidel = "D.\ Reidel Publishing"} @String{ fossacs2000 = "Proc.\ 3rd Int.\ Conf.\ Foundations of Software Science and Computation Structures (FOSSACS'2000), Berlin, Germany, Mar.-Apr.\ 2000"} @String{ jlp = "Journal of Logic Programming"} @String{ lncs378 = "Proc.\ EUROCAL'87, Leipzig, LNCS 378"} @String{ lncs850 = alp94} @String{ lncs1862 = csl2000} @String{ cade84 = "Proc.\ 7th Int.\ Conf.\ on Automated Deduction (CADE'84), Napa, CA, USA, May 1984"} @String{ jlc = "Journal of Logic and Computation"} @String{ cade80 = "Proc.\ 5th Conf.\ on Automated Deduction (CADE'80), Les Arcs, France, July 1980"} @String{ lncs902 = tlca95} @String{ lncs900 = stacs95} @String{ lncs488 = "Proc.\ Rewriting Techniques and Applications 91, Como, LNCS 488"} @String{ lncs906 = "Recent Trends in Data Type Specification (Selected Papers of the 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, Santa Margherita, Italy, June 1994)"} @String{ focs72 = "Proc.\ 13th IEEE Symp.\ on Switching and Automata Theory, The University of Maryland, MD, USA, Oct.\ 1972"} @String{ ijfcs = "Int.\ J.\ of Foundations Computer Science"} @String{ cav98 = "Proc.\ 10th Int.\ Conf.\ Computer Aided Verification (CAV'98), Vancouver, BC, Canada, June-July 1998"} @String{ lncs14 = icalp74} @String{ cifa2000 = "Actes 1\`ere Conf.\ Int.\ Francophone d'Automatique (CIFA'2000), Lille, France, July 2000"} @String{ cav94 = "Proc.\ 6th Int.\ Conf.\ Computer Aided Verification (CAV'94), Stanford, CA, USA, June 1994"} @String{ cav95 = "Proc.\ 7th Int.\ Conf.\ Computer Aided Verification (CAV'95), Li\`ege, Belgium, July 1995"} @String{ cav96 = "Proc.\ 8th Int.\ Conf.\ Computer Aided Verification (CAV'96), New Brunswick, NJ, USA, July-Aug.\ 1996"} @String{ cav97 = "Proc.\ 9th Int.\ Conf.\ Computer Aided Verification (CAV'97), Haifa, Israel, June 1997"} @String{ cav90 = "Proc.\ 2nd Int.\ Workshop Computer-Aided Verification (CAV'90), New Brunswick, NJ, USA, June 1990"} @String{ cav91 = "Proc.\ 3rd Int.\ Workshop Computer Aided Verification (CAV'91), Aalborg, Denmark, July 1991"} @String{ cav92 = "Proc.\ 4th Int.\ Workshop Computer Aided Verification (CAV'92), Montreal, Canada, June--July 1992"} @String{ cav93 = "Proc.\ 5th Int.\ Conf.\ Computer Aided Verification (CAV'93), Elounda, Greece, June 1993"} @String{ jsl = "The Journal of Symbolic Logic"} @String{ mgh = "McGraw-Hill"} @String{ focs76 = "Proc.\ 17th IEEE Symp.\ Foundations of Computer Science (FOCS'76), Houston, TX, USA, Oct.\ 1976"} @String{ focs77 = "Proc.\ 18th IEEE Symp.\ Foundations of Computer Science (FOCS'77), Providence, RI, USA, Oct.-Nov.\ 1977"} @String{ lncs623 = icalp92} @String{ lncs620 = "Proc.\ Logical Found.\ Comp.\ Sci., Tver, Russia, LNCS 620"} @String{ lncs626 = csl91} @String{ apn85 = "Advances in Petri Nets 1985"} @String{ icalp90 = "Proc.\ 17th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'90), Warwick University, England, July 1990"} @String{ lncs629 = mfcs92} @String{ lncs230 = "Proc.\ 8th Conf.\ on Automated Deduction, Oxford, LNCS 230"} @String{ lncs232 = "Fundamentals of Artificial Intelligence, LNCS 232"} @String{ lncs233 = "Proc.\ Math.\ Found.\ Comp.\ Sci., Bratislava, LNCS 233"} @String{ lncs2165 = "Proc.\ Joint Int.\ Workshop Process Algebra and Probabilistic Methods (PAPM-PROBMIV'2001), Aachen, Germany, Sep.\ 2001"} @String{ lfp86 = "Proc.\ 1986 ACM Conf.\ Lisp and Functional Programming, Cambridge, MA, USA"} @String{ lfp84 = "Proc.\ 1984 ACM Conf.\ Lisp and Functional Programming, Austin, TX, USA"} @String{ lncs2607 = stacs2003} @String{ icalp93 = "Proc.\ 20th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'93), Lund, Sweden, July 1993"} @String{ lncs1893 = mfcs2000} @String{ apn88 = "Advances in Petri Nets 1988"} @String{ lncs2761 = concur2003} @String{ lncs1450 = mfcs98} @String{ lics2000 = "Proc.\ 15th IEEE Symp.\ Logic in Computer Science (LICS'2000), Santa Barbara, CA, USA, June 2000"} @String{ acm = "ACM Press"} @String{ pstv95 = "Proc.\ 15th Int.\ Conf.\ Protocol Specification, Testing and Verification (PSTV'95), Warsaw, Poland, June 1995"} @String{ alp88 = "Proc.\ 1st Int.\ Workshop on Algebraic and Logic Programming (ALP'88), Gaussig, DDR, Nov.\ 1988"} @String{ lncs1853 = icalp2000} @String{ podc91 = "Proc.\ 10th ACM Symp.\ Principles of Distributed Computing (PODC'91), Montreal, Canada, Aug.\ 1991"} @String{ podc90 = "Proc.\ 9th ACM Symp.\ Principles of Distributed Computing (PODC'90), Quebec City, Canada, Aug.\ 1990"} @String{ lncs306 = "Proc.\ Workshop on Found.\ of Logic and Functional Programming, Trento, LNCS 306"} @String{ podc92 = "Proc.\ 11th ACM Symp.\ Principles of Distributed Computing (PODC'92), Vancouver, BC, Canada, Aug.\ 1992"} @String{ popl85 = "Proc.\ 12th ACM Symp.\ Principles of Programming Languages (POPL'85), New Orleans, LA, USA, Jan.\ 1985"} @String{ popl84 = "Proc.\ 11th ACM Symp.\ Principles of Programming Languages (POPL'84), Salt Lake City, USA, Jan.\ 1984"} @String{ popl81 = "Proc.\ 8th ACM Symp.\ Principles of Programming Languages (POPL'81), Williamsburg, VA, USA, Jan.\ 1981"} @String{ popl80 = "Proc.\ 7th ACM Symp.\ Principles of Programming Languages (POPL'80), Las Vegas, NV, USA, Jan.\ 1980"} @String{ popl83 = "Proc.\ 10th ACM Symp.\ Principles of Programming Languages (POPL'83), Austin, TX, USA, Jan.\ 1983"} @String{ popl82 = "Proc.\ 9th ACM Symp.\ Principles of Programming Languages, (POPL'82), Albuquerque, NM, USA, Jan.\ 1982"} @String{ njc = "Nordic Journal of Computing"} @String{ lncs1579 = tacas99} @String{ mst = "Mathematical Systems Theory"} @String{ lncs432 = "Proc.\ 3rd European Symp.\ on Programming (ESOP'90), Copenhagen, Denmark, May 1990"} @String{ lncs935 = atpn95} @String{ lncs430 = "Stepwise Refinement of Distributed Systems. Models, Formalisms, Correctness, Mook, LNCS 430"} @String{ lncs431 = "Proc.\ CAAP'90, Copenhagen, Denmark, May 1990"} @String{ popl2000 = "Proc.\ 27th ACM Symp.\ Principles of Programming Languages (POPL'2000), Boston, MA, USA, Jan.\ 2000"} @String{ jss = "Journal of Systems and Software"} @String{ arts97 = "Proc.\ 4th Int.\ AMAST Workshop Real-Time Systems and Concurrent and Distributed Software (ARTS'97), Palma de Mallorca, Spain, May 1997"} @String{ lncs283 = "Proc.\ Category Theory and Computer Science, LNCS 283"} @String{ lncs2619 = tacas2003} @String{ lncs287 = fsttcs87} @String{ lncs125 = "Proc.\ Logic of Programs Workshop, Zurich, LNCS 125"} @String{ lncs531 = cav90} @String{ lnai1847 = tableaux2000} @String{ lncs1683 = csl99} @String{ lncs1175 = sofsem96} @String{ lncs883 = "Logic Program Synthesis and Transformation --- Meta-Programming in Logic: Proc.\ 4th Int.\ Workshops, Pisa, Italy, June 1994"} @String{ rairoit = "RAIRO Informatique Th\'{e}orique"} @String{ popl2003 = "Proc.\ 30th ACM Symp.\ Principles of Programming Languages (POPL'2003), New Orleans, LA, USA, Jan.\ 2003"} @String{ popl2002 = "Proc.\ 29th ACM Symp.\ Principles of Programming Languages (POPL'2002), Portland, OR, USA, Jan.\ 2002"} @String{ lncs1708 = "Proc.\ World Congress on Formal Methods in the Development of Computing Systems (FM'99), Toulouse, France, Sep.\ 1999, vol.\ I"} @String{ lncs1709 = "Proc.\ World Congress on Formal Methods in the Development of Computing Systems (FM'99), Toulouse, France, Sep.\ 1999, vol.\ II"} @String{ fundi = "Fundamenta Informaticae"} @String{ lncs2378 = rta2002} @String{ lsvaddr = "Lab. Specification and Verification, ENS de Cachan, 61 av. Pdt. Wilson, 94235 Cachan Cedex, France"} @String{ fundm = "Fundamenta Mathematicae"} @String{ lncs115 = icalp81} @String{ lncs = "Lecture Notes in Computer Science"} @String{ lncs2002 = "Constraints in Computational Logics: Theory and Applications"} @String{ tum = "Institut f{\"u}r Informatik, TUM"} @String{ entcs = "Electronic Notes in Theor.\ Comp.\ Sci."} @String{ lncs2076 = icalp2001} @String{ lncs2075 = atpn2001} @String{ lncs331 = "Proc.\ Symp.\ Formal Techniques in Real-Time and Fault-Tolerant Systems, Warwick, UK, Sep.\ 1988"} @String{ lncs909 = "Term rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, May 1993"} @String{ lncs1563 = stacs99} @String{ lncs1776 = latin2000} @String{ lncs1770 = stacs2000} @String{ lncs1825 = atpn2000} @String{ lncs1824 = sas2000} @String{ smc2000 = "Proc.\ IEEE Int.\ Conf.\ Systems, Man and Cybernetics (SMC'2000), Nashville, TN, USA, Oct.\ 2000"} @String{ lncs1281 = tacs97} @String{ lncs349 = "Proc.\ STACS'89, Paderborn, LNCS 349"} @String{ stoc94 = "Proc.\ 26th ACM Symp.\ Theory of Computing (STOC'94), Montreal, Canada, May 1994"} @String{ stoc95 = "Proc.\ 27th ACM Symp.\ Theory of Computing (STOC'95), Las Vegas, NV, May-June 1995"} @String{ stoc92 = "Proc.\ 24th ACM Symp.\ Theory of Computing (STOC'92), Victoria, B.\ C., Canada, May 1992"} @String{ stoc91 = "Proc.\ 23rd ACM Symp.\ Theory of Computing (STOC'91), New Orleans, LA, May 1991"} @String{ ap = "Academic Press"} @String{ lncs1664 = concur99} @String{ aw = "Addison-Wesley"} @String{ jigpl = "Logic Journal of the IGPL"} @String{ icalp99 = "Proc.\ 26th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'99), Prague, Czech Republic, July 1999"} @String{ nh = "North-Holland"} @String{ lncs417 = "Proc.\ International Conference on Computer Logic COLOG-88, LNCS 417"} @String{ mfcs98 = "Proc.\ 23rd Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'98), Brno, Czech Republic, Aug.\ 1998"} @String{ focs93 = "Proc.\ 34th IEEE Symp.\ Foundations of Computer Science (FOCS'93), Palo Alto, CA, USA, Nov.\ 1993"} @String{ lncs112 = caap81} @String{ ftrtft2002 = "Proc.\ 7th Int.\ Symp.\ Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'2002), Oldenburg, Germany, Sep.\ 2002"} @String{ focs97 = "Proc.\ 38th IEEE Symp.\ Foundations of Computer Science (FOCS'97), Miami Beach, FL, USA, Oct.\ 1997"} @String{ stacs92 = "Proc.\ 9th Ann.\ Symp.\ Theoretical Aspects of Computer Science (STACS'92), Cachan, France, Feb.\ 1992"} @String{ focs95 = "Proc.\ 36th IEEE Symp.\ Foundations of Computer Science (FOCS'95), ??, 1995"} @String{ esop2003 = "Proc.\ 12th European Symposium on Programming (ESOP'2003), Warsaw, Poland, Apr.\ 2003"} @String{ atpn90 = "Proc.\ 11th Int.\ Conf.\ Application and Theory of Petri Nets (ICATPN'90), Paris, France, June 1990"} @String{ amast91 = "Proc.\ 2nd Int.\ Conf.\ Algebraic Methodology and Software Technology (AMAST'91), Iowa City, USA, May 1991"} @String{ esop2000 = "Proc.\ 9th European Symposium on Programming (ESOP'2000), Berlin, Germany, Mar.-Apr.\ 2000"} @String{ ijcis = "Int.\ Journal Computer and Information Sciences"} @String{ icalp82 = "Proc.\ 9th Coll.\ Automata, Languages and Programming (ICALP'82), Aarhus, Denmark, Jul.\ 1982"} @String{ icalp83 = "Proc.\ 10th Coll.\ Automata, Languages and Programming (ICALP'83), Barcelona, Jul.\ 1983"} @String{ icalp80 = "Proc.\ 7th Coll.\ Automata, Languages and Programming (ICALP'80), Noordwijkerhout, NL, Jul.\ 1980"} @String{ icalp81 = "Proc.\ 8th Coll.\ Automata, Languages and Programming (ICALP'81), Acre, Israel, Jul.\ 1981"} @String{ icalp86 = "Proc.\ 13th Int.\ Coll.\ Automata, Languages and Programming (ICALP'86), Rennes, France, Jul.\ 1986"} @String{ icalp87 = "Proc.\ 14th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'87), Karlsruhe, FRG, July 1987"} @String{ icalp84 = "Proc.\ 11th Coll.\ Automata, Languages and Programming (ICALP'84), Antwerp, Belgium, Jul.\ 1984"} @String{ icalp85 = "Proc.\ 12th Coll.\ Automata, Languages and Programming (ICALP'85), Nafplion, Greece, Jul.\ 1985"} @String{ icalp88 = "Proc.\ 15th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'88), Tampere, Finland, Jul.\ 1988"} @String{ icalp89 = "Proc.\ 16th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'89), Stresa, Italy, July 1989"} @String{ iclp2001 = "Proc.\ 17th Int.\ Conf.\ Logic Programming (ICLP'2001), Paphos, Cyprus, Nov.\ 2001"} @String{ lt07 = "Proc.\ 3rd {L}anguage \& {T}echnology {C}onference: {H}uman {L}anguage {T}echnologies as a {C}hallenge for {C}omputer {S}cience and {L}inguistics"} @String{ lncs936 = amast95} @String{ taln07 = "Actes de la 14{\`e}me conf{\'e}rence sur le {T}raitement {A}utomatique des {L}angues {N}aturelles ({T}{A}{L}{N}'07)"} @String{ lncs832 = csl93} @String{ lncs939 = cav95} @String{ atpn97 = "Proc.\ 18th Int.\ Conf.\ Application and Theory of Petri Nets (ICATPN'97), Toulouse, France, June 1997"} @String{ lncs836 = concur94} @String{ cav99 = "Proc.\ 11th Int.\ Conf.\ Computer Aided Verification (CAV'99), Trento, Italy, July 1999"} @String{ lncs2725 = cav2003} @String{ amast2002 = "Proc.\ 9th Int.\ Conf.\ Algebraic Methodology and Software Technology (AMAST'2002), Saint-Gilles-les-Bains, Reunion Island, France, Sep.\ 2002"} @String{ lncs1313 = fme97} @String{ lncs1256 = icalp97} @String{ jlap = "Journal of Logic and Algebraic Programming"} @String{ lncs1254 = cav97} @String{ atpn82 = "Proc.\ 3rd European Workshop Applications and Theory of Petri Nets, Varenna, Italy, Sep.\ 1982"} @String{ lncs62 = icalp78} @String{ lncs64 = mfcs78} @Article{Aseervatham:2006a, Author = {{\underline{\underline{Aseervatham}}}, Sujeevan and {\underline{Viennet}}, Emmanuel}, Title = {M{\'e}thodes {\`a} noyaux appliqu{\'e}es aux textes structur{\'e}s}, Journal = {Revue des Nouvelles Technologies de l'Information}, Pages = {185-205}, crossref = {viennet2007d}, lipn-category = {autj}, lipn-status = {apar}, year = 2007 } @InProceedings{DERIVIERE:2006:HAL-00098063:1, Author = {Derivi\`ere, Julien and {\underline{Hamon}}, Thierry and {\underline{Nazarenko}}, Adeline and {\underline{Poibeau}}, Thierry and {\underline{\underline{Weissenbacher}}}, Davy}, Title = {{A} robust linguistic infrastructure for efficient web content analysis: the {A}{L}{V}{I}{S} project}, BookTitle = {{S}ymposium on {D}igital {S}emantic {C}ontent across {C}ultures }, Address = {{P}aris, {F}rance}, Note = {15 pages}, affiliation = {{L}aboratoire d'informatique de {P}aris-nord [{L}{I}{P}{N}] }, collaboration = {{A}{L}{V}{I}{S}}, keywords = {{N}atural language processing ; robust text analysis ; information retrieval ; semantic indexing}, language = {{A}nglais}, lipn-category = {intc}, url = {http:// www.seco.tkk.fi / events / 2006 / 2006-05-04-websemantique / presentations / articles / alvisllncs2.pdf}, year = 2006 } @InProceedings{BadriBoufaresDucateauHamdoun06f, Author = {Badri, M. and {\underline{Boufar\`es}}, F. and Ducateau, C.F. and {\underline{\underline{Hamdoun}}}, S.}, Title = {Maintenance des entrepôts de données hétérogènes}, BookTitle = {Proceedings of the 9th Maghrebian Conference on Software Engineering and Artificial Intelligence}, Pages = {152--158}, lipn-category = "autc", year = 2006 } @Misc{MARCOS06:TH, Author = {Nicolas Marcos}, Title = {Modélisation et intégration de la gestion tactique des ressources traction}, Note = {Doctorat}, lipn-category = {thes}, school = {LIPN - Laboratoire d'informatique de Paris-nord}, year = 2006 } @InProceedings{NAZARENKO:2006:CCSD-00080472:1, Author = {{\underline{Nazarenko}}, Adeline and {\underline{Alphonse}}, Erick and Derivi\`ere, Julien and {\underline{Hamon}}, Thierry and Vauvert, Guillaume and {\underline{\underline{Weissenbacher}}}, Davy}, Title = {The {ALVIS} Format for Linguistically Annotated Documents }, BookTitle = {Proceedings of the 5th international conference on Language Resources and Evaluation, LREC 2006 }, Pages = {1782--1786 }, Publisher = {ELDA }, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] }, keywords = {Natural language processing ; semantic annotation ; document annotation ;XML format }, language = {Anglais }, lipn-category = {intc}, optcollaboration = {Projet STREP {ALVIS}}, optprojet = {{ALVIS} IST-1-002068 STREP project}, opturl = {http://hal.ccsd.cnrs.fr/ccsd-00080472/en/}, year = 2006 } @InProceedings{maghri:2005, Author = {Maghri, Dorra and {\underline{\underline{Amara-Hachmi}}}, Nejla}, Title = {Int{\'e}gration d'un agent mobile dans un syst{\`e}me multi-agents hierarchique}, BookTitle = {Manifestation des Jeunes Chercheurs francophones dans les domaines des STIC MajecSTIC}, Address = {Rennes}, date-added = {2006-09-26 21:21:23 +0200}, date-modified = {2006-09-26 21:23:16 +0200}, lipn-category = {autc}, month = nov, year = 2005 } @TechReport{ocad:ACDJ07, Author = {Abbes, Heithem and {\underline{C\'erin}}, Christophe and {\underline{Dubacq}}, Jean-Christophe and {\underline{\underline{Jemni}}}, Mohamed}, Title = {Performance Analysis of Publish/Subscribe Systems}, Institution = {LIPN - CNRS UMR 7030 - Universit\'e Paris Nord}, Type = "RR", Number = {2007-XX}, lipn-category = {rapl}, year = 2007 } @Article{AITELMEKKI:2004:CCSD-00098041:1, Author = {{\underline{\underline{A\"{\i}t El Mekki}}}, Touria and {\underline{Nazarenko}}, Adeline}, Title = {L'index de fin de livre, une forme de r\'{e}sum\'{e} indicatif~? }, Journal = {Traitement Automatique des Langues }, Volume = {45(1) }, Pages = {121--150 }, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] }, keywords = {Indexation ; automatic summarizing ; term extraction ; terminology structuration ; relevance measure }, language = {Fran\c{c}ais }, lipn-category = {autj}, url = {http://hal.ccsd.cnrs.fr/ccsd-00098041/en/}, year = 2004 } @InProceedings{HamdounBoufares05c, Author = {{\underline{\underline{Hamdoun}}}, S. and {\underline{Boufar\`es}}, F.}, Title = "Building a data warehouse using heterogeneous data sources", BookTitle = {Proceedings of the International Conference on Sciences of Electronic, Technologies of Information and Telecommunications}, lipn-category = "intc", year = 2005 } @InProceedings{DERIVIERE:2005:CCSD-00084847:1, Author = {Derivi\`ere, Julien and {\underline{Hamon}}, Thierry and {\underline{Nazarenko}}, Adeline and Vauvert, Guillaume}, Title = {D\'{e}veloppement d'une plate-forme d'enrichissement des documents textuels~: l'exp\'{e}rience du projet {ALVIS} }, BookTitle = {Journ\'{e}e ATALA "Articuler les traitements sur corpus" }, Address = {Paris, France}, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] }, language = {Fran\c{c}ais }, lipn-category = {autc}, url = {http://hal.ccsd.cnrs.fr/ccsd-00084847/en/}, year = 2005 } @InProceedings{Benabdeslem:2006a, Author = {{\underline{\underline{Benabdeslem}}}, Khalid and {\underline{Bennani}}, Youn\`es}, Title = {Dendogram based {SVM} for multi-class classification}, BookTitle = {28th International Conference Information Technology Interfaces}, Pages = {173--178}, Address = {Cavtat / Dubrovnik, Croatia.}, date-added = {2006-09-08 15:49:23 +0200}, date-modified = {2007-08-22 13:36:16 +0200}, lipn-category = {intc}, month = jun, year = 2006 } @InProceedings{LoddoSaiu:2007, Author = {{\underline{Loddo}}, Jean-Vincent and {\underline{\underline{Saiu}}}, Luca}, Title = {{M}arionnet -- {H}ow to {I}mplement a {V}irtual {N}etwork {L}aboratory in {S}ix {M}onths and be {H}appy}, BookTitle = {ACM SIGPLAN Workshop on ML}, Publisher = {ACM Press}, lipn-category = "autc", lipn-status = {apar}, location = {Freiburg, Germany}, year = 2007 } @TechReport{Armen:2005gb, Author = {Aghasaryan, Armen and Cochet, Yves and {\underline{Krief}}, Francine and Moreau, Eric and {\underline{\underline{Moungla}}}, Hassine and Piekarec, Sophie}, Title = {State of the art on service contract expression languages, policy and network resource models}, Institution = lipn_institution, Note = {Rapport 3.1.1- Self Aware management project (SWAN- RNRT project)}, lipn-category = {cont}, month = jan, year = 2005 } @Article{ocad:CCFJ05, Author = {{\underline{C\'erin}}, Christophe and Cozette, Olivier and Utard, Gil and {\underline{\underline{Fkaier}}}, Hazem and {\underline{\underline{Jemni}}}, Mohamed}, Title = {Parallel Out-of-core Sorting and Fast Accesses to Disks }, Journal = {International Journal on High Performance Computing and Networking }, Volume = {3 }, Pages = {188-202}, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] }, language = {Anglais }, lipn-category = "jour", url = {http://hal.ccsd.cnrs.fr/ccsd-00096725/en/}, year = 2005 } @InProceedings{karoui06d, Author = {{\underline{\underline{Karoui}}}, Hager and {\underline{Kanawati}}, Rushed and {\underline{Petrucci}}, Laure}, Title = {Cooperative {CBR} System for Peer Agent Committee Formation}, BookTitle = {Proc.\ 5th Workshop on Agents and Peer-to-Peer Computing (AP2PC'06)}, Pages = {76-90}, Address = {Hakodate, Japan}, date-added = {2006-09-22 20:21:54 +0200}, date-modified = {2006-10-13 22:35:59 +0200}, futurepublisher = sv, futureseries = lncs, lipn-category = {autc}, month = may, year = 2006 } @InProceedings{HK-RK-LP-CBR-04, Author = {{\underline{\underline{Karoui}}}, H. and {\underline{Kanawati}}, R. and {\underline{Petrucci}}, L.}, Title = "An intelligent peer-to-peer multi-agent system for collaborative management of bibliographic databases", BookTitle = "Proc.\ Workshop on Case Based Reasoning, Cambridge, England", lipn-category = "autc", missingnote = "Proceedings published as Report DAIMI-PB 570, Aarhus, DK", missingpages = "39--56", month = dec, year = 2004 } @Article{ocad:ALMP06, Author = {Andrade, Rafael Castro De and Lisser, Abdel and Maculan, Nelson and {\underline{Plateau}}, G\'erard}, Title = "Enhancing a branch-and-bound algorithm for two-stages stochastic integer problems", Journal = "Management Science", Volume = 52, Number = 9, Pages = "1450-1455", lipn-category = "jour", year = 2006 } @TechReport{Philippe-DAGUE:2004le, Author = {Elmrabet, Yamina and {\underline{\underline{Aseervatham}}}, Sujeevan and {\underline{Dague}}, Philippe and {\underline{Osmani}}, Aomar}, Title = {R{\'e}alisation du Syst{\`e}me de Diagnostic pour le Syst{\`e}me {EMB} du V{\'e}hicule}, Institution = lipn_institution, booktitle = {R{\'e}alisation d'un Environnement Syst{\`e}me {\'E}volutif pour le Diagnostic Automobile, projet RNTL}, lipn-category = {cont}, year = 2004 } @Article{Benabdeslem:2007, Author = {{\underline{\underline{Benabdeslem}}}, Khalid and {\underline{Bennani}}, Youn\`es}, Title = {Approche connexionniste pour l'analyse des donn{\'e}es issues d'usage d'Internet : Classification et Visualisation}, Journal = {Revue des Nouvelles Technologies de l'Information}, date-added = {2007-08-22 13:31:32 +0200}, date-modified = {2007-08-22 13:45:26 +0200}, lipn-category = {autj}, year = 2007 } @TechReport{GuErif:2005oa, Author = {{\underline{Gu\'erif}}, S\'ebastien and {\underline{Bennani}}, Youn\`es}, Title = {Apprentissage num{\'e}rique non supervis{\'e} partir de donn{\'e}es {\'e}volutives}, Institution = lipn_institution, Address = {Villetaneuse, France}, Note = {Deuxi{\`e}me rapport de recherche ANRT (CIFRE 654-2002)}, date-added = {2006-09-04 15:33:30 +0200}, date-modified = {2006-10-12 22:15:36 +0200}, lipn-category = {cont}, month = jun, year = 2005 } @Misc{PAILLARD05:TH, Author = {{\underline{\underline{Paillard}}}, Gabriel}, Title = {Quelques contributions à l'algorithmique distribuée. Réseaux de capteurs et génération de nombres premiers}, Note = {Doctorat}, lipn-category = {thes}, school = {LIPN - Laboratoire d'informatique de Paris-nord}, year = 2005 } @InProceedings{Jrad:2004sh, Author = {{\underline{\underline{Jrad}}}, Zeina and {\underline{Krief}}, Francine}, Title = {An Intelligent Interface for the Dynamic Negotiation of {QoS}}, BookTitle = {ARCADE. ACS/IEEE International Conference on Pervasive Services. ICPS'2004}, date-modified = {2006-09-17 16:24:04 +0200}, lipn-category = {intc}, location = {Beirut, Liban}, month = jul, year = 2004 } @TechReport{Jrad:2004lp, Author = {{\underline{\underline{Jrad}}}, Zeina and {\underline{\underline{Benmammar}}}, Badr and {\underline{Krief}}, Francine and Mbarek, Nader}, Title = {Dynamique de l'environnement}, Institution = lipn_institution, Note = {Rapport de projet RNRT : IP-SIG (IP-Signaling)}, date-modified = {2006-09-17 16:24:24 +0200}, lipn-category = {cont}, month = jul, year = 2004 } @InProceedings{ZARGAYOUNA:2006:CCSD-00094475:1, Author = {Zargayouna, Haifa and {\underline{\underline{Amara}}}, Nejla}, Title = {{LiteMap}: An Ontology Mapping Approach for {M}obile {A}gents' Context-Awareness }, BookTitle = {OTM Workshops 2006 International Workshop on Context-Aware Mobile Systems }, Pages = {1934--1943 }, Address = {Montpellier, France}, Publisher = {LNCS 4278 }, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] }, language = {Anglais }, lipn-category = {autc}, url = {http://hal.ccsd.cnrs.fr/ccsd-00094475/en/}, year = 2006 } @Misc{viennet2007g, Author = {{\underline{\underline{Rogovschi}}}, Nicoleta and {\underline{Viennet}}, Emmanuel}, Title = {Finding community structure in large social networks}, HowPublished = {Poster at {NATO} {A}dvanced {S}tudy {I}nstitute on {M}ining {M}assive {D}ata {S}ets for {S}ecurity}, date-modified = {2007-09-27 19:19:40 +0200}, lipn-category = {autc}, month = sep, url = {http://mmdss.jrc.it/}, year = 2007 } @InProceedings{Kadri-Dahmani:2005pt, Author = {Dahmani, Hakima Kadri and Bertelle, Cyril and {\underline{Duchamp}}, G\'erard and {\underline{Osmani}}, Aomar}, Title = {Evolutive Complex Scheduling in Interaction Networks for Quality Improvement in Geographical Data Base Updating}, BookTitle = {MCS 2005 - Modeling, Computation and Systems - in IEEE-ICECS}, date-modified = {2006-09-12 20:49:31 +0200}, lipn-category = {intc}, location = {Tunisie}, year = 2005 } @Article{KAYSER:2005:CCSD-00091643:1, Author = {{\underline{Kayser}}, Daniel and {\underline{\underline{Nouioua}}}, Farid}, Title = {About Norms and Causes }, Journal = {International Journal on Artificial Intelligence Tools }, Volume = {14 }, Pages = {7--23 }, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] }, keywords = {Causal reasoning; Non-monotonic Logic; Norms; Natural Language Understanding; Natural Language Semantics }, language = {Anglais }, lipn-category = {jour}, url = {http://hal.ccsd.cnrs.fr/ccsd-00091643/en/}, year = 2005 } @InProceedings{WEISSENBACHER:2007:HAL-00162003:1, Author = {{\underline{\underline{Weissenbacher}}}, Davy and {\underline{Nazarenko}}, Adeline}, Title = {{A} bayesian classifier for the recognition of the impersonal occurrences of the 'it' pronoun}, BookTitle = daarc07, Pages = {pp.145--150 }, Address = {{L}agos, {P}ortugal }, affiliation = {{L}aboratoire d'informatique de {P}aris-nord [{L}{I}{P}{N}] }, language = {{A}nglais}, lipn-category = {autc}, month = {May}, url = {http://hal.archives-ouvertes.fr/hal-00162003/en/}, year = 2007 } @InProceedings{karoui:2007, Author = {{\underline{\underline{Karoui}}}, Hager}, Title = {Syst{\`e}mes de recommandation de r{\'e}f{\'e}rences bibliographiques et de formation de comit{\'e}s}, BookTitle = {Actes des 3{\`e}mes Rencontre Inter-Associations (RIAs 07) : Recherche et Extraction d'Information}, Address = {Toulouse - IRIT}, date-added = {2007-09-27 19:13:48 +0200}, date-modified = {2007-09-27 19:18:30 +0200}, lipn-category = {autc}, year = 2007 } @Misc{AMARA06:TH, Author = {{\underline{\underline{Amara-Hachmi}}}, Nejla}, Title = {GAMA: une architecture générique pour le développement d'agents mobiles sensibles au contexte et auto-adaptatifs}, Note = {Doctorat}, lipn-category = {thes}, school = {LIPN - Laboratoire d'informatique de Paris-nord}, year = 2006 } @InProceedings{Moungla:2005bf, Author = {{\underline{\underline{Moungla}}}, Hassine and {\underline{Krief}}, Francine}, Title = {A probabilistic heuristic for conflict detection in policy based management of {Diffserv} networks}, BookTitle = {Proceedings of IEEE/IFIP MATA 2005 : 2nd International Workshop on Mobility Aware Technologies and Applications}, date-modified = {2006-10-13 22:39:45 +0200}, lipn-category = {autc}, location = {Montr{\'e}al , Canada}, month = oct, year = 2005 } @InProceedings{Dehni:2005bs, Author = {{\underline{\underline{Dehni}}}, Lahc\`ene and {\underline{Krief}}, Francine and {\underline{Bennani}}, Youn\`es}, Title = {Power Control and Clustering in Wireless Sensor Networks}, BookTitle = {IFIP Med-Hoc-Net 2005 : Mediterranean Ad Hoc Networking Conference}, Pages = {31-40}, Publisher = sv, date-added = {2006-09-04 15:29:58 +0200}, date-modified = {2006-09-12 20:49:31 +0200}, isbn = {0-387-31171-8}, lipn-category = {intc}, location = {Ile de Porquerolles , France}, month = jun, year = 2005 } @Proceedings{rk2004a, Title = {12{\`e}me Atelier de Raisonnement {\`a} partir de cas (R{\`a}PC 2004)}, Editor = {Rushed Kanawati and Sylvie Salotti and Farida Zehraoui}, Address = {Villetaneuse}, Organization = {LIPN}, date-added = {2006-09-22 20:23:51 +0200}, date-modified = {2007-09-27 18:21:58 +0200}, lipn-category = {edit}, month = mar, owner = {rk}, timestamp = {2006.09.22}, year = 2004 } @InProceedings{Jrad:2005ta, Author = {{\underline{\underline{Jrad}}}, Zeina}, Title = {Sp{\'e}cification d'une interface intelligente pour la prochaine g{\'e}n{\'e}ration de r{\'e}seaux {IP}}, BookTitle = {Journ{\'e}es Scientifiques DNAC 2005. Les r{\'e}seaux {IP} : synth{\`e}se et perspective, controle, gestion, mobilit{\'e} et s{\'e}curit{\'e}.}, date-modified = {2006-09-12 20:49:31 +0200}, lipn-category = {autc}, location = {Beyrouth, Liban}, month = apr, year = 2005 } @InProceedings{BOSSARD:2007:HAL-00159077:1, Author = {{\underline{\underline{Bossard}}}, Aur\'elien}, Title = {{V}ers une ressource pr{\'e}dicative pour l'extraction d'information}, BookTitle = taln07, Editor = taln07ed, Pages = {154 }, Address = {{T}oulouse, {F}rance}, Publisher = irit, affiliation = {{L}aboratoire d'informatique de {P}aris-nord [{L}{I}{P}{N}] }, keywords = {ressource pr{\'e}dicative;extraction d'information;patrons lexico-syntaxiques}, language = {{F}ran{\c{c}}ais}, lipn-category = {autc}, month = {Juin}, url = {http://hal.archives-ouvertes.fr/hal-00159077/en/}, year = 2007 } @TechReport{Moungla:2005km, Author = {{\underline{\underline{Moungla}}}, Hassine}, Title = {Specification of conflict resolution module}, Institution = lipn_institution, Note = {Rapport 3.4.2- Self Aware management project (SWAN- RNRT project)}, date-modified = {2006-09-12 20:49:31 +0200}, lipn-category = {cont}, month = mar, year = 2005 } @InProceedings{Amara:2005cq, Author = {{\underline{\underline{Amara-Hachmi}}}, Nejla}, Title = {A Framework for Building Adaptive Mobile Agents}, BookTitle = {Doctoral Mentoring Program at the 4th International Joint Conference on Autonomous agents and Multi-Agent Systems AAMAS 2005}, Pages = {1369}, Publisher = {ACM Press}, date-modified = {2006-09-12 20:49:31 +0200}, lipn-category = {autc}, month = jul, year = 2005 } @InProceedings{ocad:KPB06a, Author = {{\underline{\underline{Khemmoudj}}}, M. I. and Porcheron, M. and {\underline{Bennaceur}}, H.}, Title = {When Constraint Programming and Local Search Solve the Scheduling Problem of {\'E}lectricit\'e de {F}rance Nuclear Power Plant Outages}, BookTitle = {12th International Conference on Principles and Practice of Constraint Programming (Nantes, 2006)}, Pages = {271-283}, Publisher = {Springer- Berlin Heidelberg}, lipn-category = "intc", year = 2006 } @Misc{HAMDOUN06:TH, Author = {{\underline{\underline{Hamdoun}}}, Sana}, Title = {Modélisation, maintenance et integration des données hétérogènes}, Note = {Doctorat}, lipn-category = {thes}, school = {LIPN - Laboratoire d'informatique de Paris-nord}, year = 2006 } @InProceedings{AITELMEKKI:2005:CCSD-00098065:1, Author = {{\underline{\underline{A\"{\i}t El Mekki}}}, Touria and {\underline{Nazarenko}}, Adeline}, Title = {Histoire et avenir des index de fin de livre }, BookTitle = {Colloque international Indice, Index, Indexation }, Address = {Lille, France}, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] }, keywords = {indexation }, language = {Fran\c{c}ais }, lipn-category = {autc}, url = {http://hal.ccsd.cnrs.fr/ccsd-00098065/en/}, year = 2005 } @InProceedings{Dehni:2005sh, Author = {{\underline{\underline{Dehni}}}, Lahc\`ene and {\underline{Bennani}}, Youn\`es and {\underline{Krief}}, Francine}, Title = {Low Energy Adaptive Connectionist Clustering for Wireless Sensor Networks}, BookTitle = {IEEE/IFIP MATA 2005 : 2nd International Workshop on Mobility Aware Technologies and Applications}, Volume = {3744}, Series = lncs, Pages = {405-415}, Publisher = sv, date-added = {2006-09-04 15:29:58 +0200}, date-modified = {2006-10-13 22:30:28 +0200}, isbn = {3-540-29410-4}, lipn-category = {autc}, location = {Montr{\'e}al , Canada}, month = oct, year = 2005 } @TechReport{ocad:TLN07a, Author = {{\underline{\underline{Touati}}}, Nora and {\underline{L\'etocart}}, Lucas and {\underline{Nagih}}, Anass}, Title = "M\'ethodes de d\'ecomposition pour l'optimisation discr\`ete", Institution = "LIPN - CNRS UMR 7030 - Universit\'e Paris Nord", Type = {RR}, Number = "", lipn-category = "rapl", year = 2007 } @Misc{VAUVERT04:TH, Author = {Guillaume Vauvert}, Title = {Atteinte de consensus basé sur l'échange de préférences entre agents rationnels et autonomes : application à la formation d'alliances}, Note = {Doctorat}, lipn-category = {thes}, school = {LIPN - Laboratoire d'informatique de Paris-nord}, year = 2004 } @InCollection{Zehraoui2006, Author = {{\underline{\underline{Zehraoui}}}, Farida and {\underline{Kanawati}}, Rushed and {\underline{Salotti}}, Sylvie}, Title = {Raisonnement {\`a} Partir de Cas : principes, m{\'e}thodes et applications industrielles}, BookTitle = {Raisonnement {\`a} Partir de Cas : principes, m{\'e}thodes et applications industrielles}, Publisher = hermes, Editor = {Jean Renaud and B{\'e}atrice Fuchs and Jean Lieber}, Chapter = {{CASEP2} : Syst{\`e}me hybride pour le traitement des s{\'e}quences}, date-added = {2006-10-12 22:31:47 +0200}, date-modified = {2006-10-12 22:32:33 +0200}, lipn-category = {chap}, year = 2006 } @InProceedings{ocad:HaBu06d, Author = {{\underline{\underline{Hakem}}}, Mourad and {\underline{Butelle}}, Franck}, Title = {A Bi-objective Algorithm for Scheduling Parallel Applications on Heterogeneous Systems Subject to Failures}, BookTitle = {Proc. Rencontres Francophones du Parall\'elisme (RenPar)}, Pages = {25-35}, lipn-category = "autc", year = 2006 } @InProceedings{ocad:KB06b, Author = {{\underline{\underline{Khemmoudj}}}, M. I. and {\underline{Bennaceur}}, H.}, Title = {Clique Inference Process for Solving {Max-CSP}}, BookTitle = {12th International Conference on Principles and Practice of Constraint Programming (Nantes, 2006)}, Pages = {246-250}, Publisher = {Springer- Berlin Heidelberg}, lipn-category = "intc", year = 2006 } @InProceedings{Elati:2007Cap, Author = {{\underline{\underline{Elati}}}, M. and Neuvial, P. and {\underline{Rouveirol}}, C. and Radvanyi, F. and Barillot, E.}, Title = {A methodology for discovering cooperative regulatory pattern from ternary gene expression data}, BookTitle = {Cap'2007 : conf\'erence francophone sur l'apprentissage automatique, Plate-forme AFIA}, date-modified = {2007-06-21}, lipn-category = {autc}, year = 2007 } @InProceedings{NOUIOUA:2005:CCSD-00085160:1, Author = {{\underline{\underline{Nouioua}}}, Farid}, Title = {Why did the accident happen? {A} norm-based reasoning approach }, BookTitle = {Logical Aspects of Computational Linguistics, student session }, Pages = {31--34 }, Publisher = {Universit\'{e} de Bordeaux }, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] }, language = {Anglais }, lipn-category = {autc}, url = {http://hal.ccsd.cnrs.fr/ccsd-00085160/en/}, year = 2005 } @TechReport{Aseervatham:2006dw, Author = {{\underline{\underline{Aseervatham}}}, Sujeevan and {\underline{Viennet}}, Emmanuel}, Title = {M\'ethodes \`a {N}oyau appliqu\'ees aux textes structur\'es ({R}apport d'avancement 1, {ST}3.12, {P}rojet {I}nfom@gic, {P}\^ole {C}ap {D}igital)}, Institution = lipn_institution, date-modified = {2006-09-12 20:49:31 +0200}, lipn-category = {cont}, month = jul, year = 2006 } @TechReport{ocad:TLN06, Author = {{\underline{\underline{Touati}}}, Nora and {\underline{L\'etocart}}, Lucas and {\underline{Nagih}}, Anass}, Title = "Sur l'acc\'el\'eration de la convergence de la g\'en\'eration de colonnes", Institution = "LIPN - CNRS UMR 7030 - Universit\'e Paris Nord", Type = {RR}, Number = {2006-4}, lipn-category = "rapl", year = 2006 } @Unpublished{ALPHONSE:2006:CCSD-00101549:1, Author = {{\underline{Alphonse}}, Erick and Aubin, Sophie and Derivi\`ere, Julien and {\underline{Hamon}}, Thierry and Mladenic, Dunja and {\underline{Nazarenko}}, Adeline and N\'edellec, Claire and {\underline{Poibeau}}, Thierry and {\underline{\underline{Weissenbacher}}}, Davy and Zhou, Qiang}, Title = {Deliverable {D}5.1: Report on method and language for the production of the augmented document representations }, Note = { {ALVIS} }, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] - Unit\'{e} Math\'{e}matique Informatique et G\'{e}nome [MIG] - Department of Knowledge Technology [KT] - Department of Computer Science and Technology [CST] }, collaboration = {{ALVIS} STREP/IST}, keywords = {Natural Language processing, linguistic annotations, stand-off annotations, XML }, language = {Anglais }, lipn-category = {cont}, url = {http://hal.ccsd.cnrs.fr/ccsd-00101549/en/}, year = 2006 } @InProceedings{HamdounBoufares05b, Author = {{\underline{\underline{Hamdoun}}}, S. and {\underline{Boufar\`es}}, F.}, Title = "Relationships between attributes to integrate heterogeneous data sources : an {SQL} methodology", BookTitle = {Proceedings of the IASTED International Conference on Databases and Applications (IASTED : International Association of Science and Technology for Development)}, Pages = {23--28}, lipn-category = "intc", year = 2005 } @InProceedings{ocad:HaBu05a, Author = {{\underline{\underline{Hakem}}}, Mourad and {\underline{Butelle}}, Franck}, Title = {Efficient Critical Task Scheduling Parallel Programs on a Bounded Number of Processors }, BookTitle = {Proc. of the 17th International Conference on Parallel and Distributed Computing and Systems }, Series = {ActaPress }, Pages = {139-144 }, Publisher = {ActaPress }, keywords = {scheduling, clustering, distributed computing, precedence task graphs, directed acyclic graphs DAGs, parallel scheduling. }, lipn-category = "intc", year = 2005 } @InProceedings{karoui06c, Author = {{\underline{\underline{Karoui}}}, Hager and {\underline{Kanawati}}, Rushed and {\underline{Petrucci}}, Laure}, Title = {Une approche R{\`a}PC pour la formation de comit{\'e} d'agents dans un syst{\`e}me de recommandation {\'e}gal {\`a} {\'e}gal}, BookTitle = {14{\`e}me Atelier de Raisonnement {\`a} Partir de Cas}, Pages = {63-74}, Address = {Besan{\c c}on, France}, date-added = {2007-09-22 22:49:24 +0200}, date-modified = {2007-09-22 22:49:24 +0200}, lipn-category = {autc}, month = {Mars}, owner = {rk}, timestamp = {2007.09.22}, year = 2006 } @InProceedings{AUBIN:2006:CCSD-00094963:1, Author = {Aubin, Sophie and Derivi\`ere, Julien and {\underline{Hamon}}, Thierry and {\underline{Nazarenko}}, Adeline and {\underline{Poibeau}}, Thierry and {\underline{\underline{Weissenbacher}}}, Davy}, Title = {{ALVIS}: A Robust Linguistic Infrastructure for Efficient Semantic Content Analysis }, BookTitle = {Symposium on Digital Semantic Content across Cultures }, Address = {Paris, France}, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] }, language = {Anglais }, lipn-category = {autc}, url = {http://hal.ccsd.cnrs.fr/ccsd-00094963/en/}, year = 2006 } @Article{Zehraoui:2005wy, Author = {{\underline{\underline{Zehraoui}}}, Farida and {\underline{Bennani}}, Youn\`es}, Title = {New self-organising maps for multivariate sequences processing}, Journal = {International Journal of Computational Intelligence and Applications}, Volume = {5}, Number = {4}, Pages = {439--456}, date-modified = {2006-09-12 20:49:31 +0200}, lipn-category = {jour}, publisher = {World Scientific Publishing Company}, year = 2005 } @InProceedings{BOUFFIER:2006:CCSD-00085170:1, Author = {{\underline{\underline{Bouffier}}}, Amanda and {\underline{Poibeau}}, Thierry}, Title = {Segmentation et structuration de textes proc\'{e}duraux pour l'aide \`{a} la mod\'{e}lisation de connaissances : le r\^{o}le de la structure visuelle }, BookTitle = {Semaine de la Connaissance }, Pages = {195--205 }, Address = {Nantes, France}, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] }, keywords = {Aide \`{a} la mod\'{e}lisation ; Traitement Automatique des Langues, linguistique textuelle ; textes proc\'{e}duraux ; Guides de Bonnes Pratiques }, language = {Fran\c{c}ais }, lipn-category = {autc}, url = {http://hal.ccsd.cnrs.fr/ccsd-00085170/en/}, year = 2006 } @Misc{MOUNGLA06:TH, Author = {{\underline{\underline{Moungla}}}, Hassine}, Title = {Supervision distribuée de la QoS dans les réseaux \textsc{IP} contrôlés par politique des opérateurs de telecommunications}, Note = {Doctorat}, lipn-category = {thes}, school = {LIPN - Laboratoire d'informatique de Paris-nord}, year = 2006 } @InProceedings{Lebbah072, Author = {{\underline{\underline{Lebbah}}}, Mustapha and {\underline{\underline{Rogovschi}}}, Nicoleta and {\underline{Bennani}}, Youn\'es}, Title = {Be{SOM} : Bernoulli on Self Organizing Map}, BookTitle = {Cap'2007 : conf\'erence francophone sur l'apprentissage automatique, Plate-forme AFIA}, date-modified = {2007-09-27 18:12:25 +0200}, lipn-category = {intc}, year = 2007 } @InProceedings{Guerif:2005ya, Author = {{\underline{Gu\'erif}}, S\'ebastien and {\underline{Bennani}}, Youn\`es and Janvier, Eric}, Title = {{$\mu$-SOM} : Weighting features during clustering}, BookTitle = {Proceedings of the 5th Workshop On Self-Organizing Maps (WSOM'05)}, Pages = {397--404}, Address = {Paris, France}, date-added = {2006-09-04 15:33:30 +0200}, date-modified = {2006-10-13 22:32:04 +0200}, keywords = {data-mining, market segmentation, redundant features, self-organizing maps, weighting}, lipn-category = {autc}, month = sep, size = {567 kB}, url = {http://www-lipn.univ-paris13.fr/~guerif/papers/guerif2005wsom.pdf}, year = 2005 } @InProceedings{Amara:2005pt, Author = {{\underline{\underline{Amara-Hachmi}}}, Nejla and ElFallah-Seghrouchni, Amal}, Title = {A Framework for Context-aware Mobile Agents}, BookTitle = {4th Workshop on Ambient Intelligence - Agents for Ubiquitous Environments AmbiAgents05}, date-modified = {2006-10-13 22:20:38 +0200}, lipn-category = {autc}, location = {Utrecht University, The Netherlands}, month = jul, year = 2005 } @InProceedings{BCC-RJCIA07, Author = {{\underline{\underline{Bertrand}}}, O. and Carle, P. and {\underline{Choppy}}, C.}, Title = "{Vers une exploitation des simulations distribu\'ees par les chroniques}", BookTitle = {8e Rencontres nationales des Jeunes Chercheurs en Intelligence Artificielle (RJCIA 07)}, Pages = "15--30", lipn-category = "autc", year = 2007 } @InProceedings{WEISSENBACHER:2007:HAL-00162093:1, Author = {{\underline{\underline{Weissenbacher}}}, Davy and {\underline{Nazarenko}}, Adeline}, Title = {{I}dentifier les pronoms anaphoriques et trouver leurs ant{\'e}c{\'e}dents : l'int{\'e}r{\^e}t de la classification bay{\'e}sienne}, BookTitle = taln07, Pages = {145--155 }, Address = {{T}oulouse, {F}rance}, Publisher = irit, affiliation = {{L}aboratoire d'informatique de {P}aris-nord [{L}{I}{P}{N}] }, language = {{F}ran{\c{c}}ais}, lipn-category = {autc}, month = {Juin}, url = {http://hal.archives-ouvertes.fr/hal-00162093/en/}, year = 2007 } @Article{Kadri-Dahmani:07, Author = {{\underline{\underline{Kadri-Dahmani}}}, Hakima and Bertelle, Cyrille and {\underline{Duchamp}}, G\'erard and {\underline{Osmani}}, Aomar}, Title = {Consistent Updating of Geographical DataBase as Emergent Property over Influence System}, Journal = {International Journal of Modelling Identification and Control, special Issue Modelling Complex Systems}, date-modified = {2007-08-24 12:13:08 +0200}, lipn-category = {jour}, lipn-status = {apar}, year = 2007 } @InProceedings{Amara:2004xq, Author = {{\underline{\underline{Amara-Hachmi}}}, Nejla and Klein, Gilles and Fallah-Seghrouchni, Amal El}, Title = {Towards {MAS}'s design regarding communications and mobility}, BookTitle = {Turkish Symposium on Artificial Intelligence and Neural Networks TAINN'04}, date-modified = {2006-09-12 20:49:31 +0200}, lipn-category = {intc}, location = {Izmir, Turkey}, month = jun, year = 2004 } @Article{HK-RK-LP-SGAI-06, Author = {{\underline{\underline{Karoui}}}, H. and {\underline{Kanawati}}, R. and {\underline{Petrucci}}, L.}, Title = "An intelligent peer-to-peer multi-agent system for collaborative management of bibliographic databases", Journal = "SGAI's expert update magazine", Volume = 8, Number = 3, Pages = "22--31", lipn-category = "autj", month = spring, year = 2006 } @InProceedings{Amara:2005hq, Author = {{\underline{\underline{Amara-Hachmi}}}, Nejla and ElFallah-Seghrouchni, Amal}, Title = {Towards a Generic Architecture for Self-Adaptive Mobile Agents}, BookTitle = {5th European Workshop on Adaptive Agents and MultiAgent Systems}, date-modified = {2006-10-13 22:23:32 +0200}, lipn-category = {autc}, location = {Paris, France}, month = mar, year = 2005 } @InProceedings{ocad:CBKJF06, Author = {{\underline{C\'erin}}, Christophe and Bernardi, Dominique and Koskas, Michel and {\underline{\underline{Jemni}}}, Mohamed and {\underline{\underline{Fkaier}}}, Hazem}, Title = {Geometrical Interpretation for Data Partitioning on a Grid Architecture}, BookTitle = {15th International Symposium on High Performance Distributed Computing (HPDC 2006) }, Pages = {355-356}, Address = {France Paris }, Publisher = {IEEE Computer Society}, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] }, language = {Anglais }, lipn-category = "intc", url = {http://hal.ccsd.cnrs.fr/ccsd-00096731/en/}, year = 2006 } @InProceedings{MONDARY:2007:HAL-00153435:1, Author = {{\underline{\underline{Mondary}}}, Thibault and {\underline{\underline{Bouffier}}}, Amanda and {\underline{Nazarenko}}, Adeline}, Title = {{B}etween browsing and search, a new model for navigating through large documents}, BookTitle = ecs07, Editor = ecs07ed, Pages = {634--639 }, Address = {{D}elphi, {G}r{\`e}ce }, Publisher = {{L}awrence {E}rlbaum {A}ssociates }, affiliation = {{L}aboratoire d'informatique de {P}aris-nord [{L}{I}{P}{N}] }, language = {{A}nglais}, lipn-category = {intc}, month = {May }, url = {http://hal.archives-ouvertes.fr/hal-00153435/en/}, year = 2007 } @TechReport{Jrad:2005bu, Author = {{\underline{\underline{Jrad}}}, Zeina and {\underline{\underline{Benmammar}}}, Badr and {\underline{Krief}}, Francine and Mbarek, Nader}, Title = {Dynamique de l'environnement : Sc{\'e}narios, simulations et maquette}, Institution = lipn_institution, Note = {Livrable de projet RNRT : IP-SIG (IP-Signaling)}, date-modified = {2006-09-12 20:49:31 +0200}, lipn-category = {cont}, month = jul, year = 2005 } @InProceedings{HamdounBoufares04c, Author = {{\underline{\underline{Hamdoun}}}, S. and {\underline{Boufar\`es}}, F.}, Title = "Relationships between attributes to integrate heterogeneous data sources", BookTitle = {Proceedings of the 2004 International Arab Conference on Information Technology}, Volume = 2, Pages = {602--607}, lipn-category = "intc", year = 2004 } @InProceedings{ocad:KDB05, Author = {{\underline{\underline{Khemmoudj}}}, M. I. and {\underline{\underline{Djerourou}}}, F. and {\underline{Bennaceur}}, H.}, Title = {R\'esolution de {Max-CSP} par Recherche Locale Guid\'ee par la Relaxation Lagrangienne}, BookTitle = {1th Journ\'ees Francophones de Programmation par Contraintes}, Pages = {305--314}, Address = {Lens, France}, lipn-category = "autc", year = 2005 } @InCollection{NAZARENKO:2007:HAL-00161926:1, Author = {{\underline{Nazarenko}}, Adeline and {\underline{\underline{A\"{\i}t El Mekki}}}, Touria}, Title = {{B}uilding back-of-the-book indexes}, BookTitle = {{A}pplication-{D}riven {T}erminology {E}ngineering }, Publisher = {{J}ohn {B}enjamins }, Editor = {{I}bekwe-{S}an{J}uan, {F}idelia and {C}ondamines, {A}nne and {T}eresa {C}abr{\'e}, {M}aria}, Series = {{C}urrent {T}opics 2 }, Pages = {179-201 }, affiliation = {{L}aboratoire d'informatique de {P}aris-nord [{L}{I}{P}{N}] - {L}aboratoire d'{E}tude et de {R}echerche en {I}nformatique d'{A}ngers [{L}{E}{R}{I}{A}] }, language = {{A}nglais}, lipn-category = {chap}, url = {http://hal.archives-ouvertes.fr/hal-00161926/en/}, year = 2007 } @InProceedings{cabanes:2007, Author = {{\underline{\underline{Cabanes}}}, Gu\'ena\"el and {\underline{Bennani}}, Youn\`es}, Title = {A Simultaneous Two-Level Clustering Algorithm for Automatic Model Selection}, BookTitle = {(ICMLA'07), International Conference on Machine Learning and Applications}, Address = {Cincinnati, Ohio, USA}, lipn-category = {intc}, month = dec, year = 2007 } @Article{Weissenbacher2006a, Author = {{\underline{\underline{Weissenbacher}}}, Davy}, Title = {Les r\'{e}seaux bay\'{e}siens: un formalisme adapt\'{e} au Traitement automatique des langues~?}, Journal = {Revue d'Intelligence Artificielle, Num\'{e}ro sp\'{e}cial: "Mod\`{e}les Graphiques Probabilistes"}, Note = {\`{A} para\^{i}tre}, lipn-category = {autj}, lipn-status = "apar", optpages = {??}, year = 2006 } @InProceedings{CB1, Author = {{\underline{\underline{Kadri-Dahmani}}}, H. and Bertelle, C. and {\underline{Duchamp}}, G.H.E. and {\underline{Osmani}}, A.}, Title = {The evolution process of geographical data base within self-organized topological propagation area}, BookTitle = {Complex Systems and Self-organization Modelling, CoSSOM'06 (Toulouse)}, Pages = {}, annote = {}, lipn-category = "autc", month = {}, optkey = {}, year = 2006 } @InProceedings{Jrad:2005zh, Author = {{\underline{\underline{Jrad}}}, Zeina and {\underline{\underline{Benmammar}}}, Badr and Correa, Joeseph and {\underline{Krief}}, Francine and Mbarek, Nadek}, Title = {A user assistant for {QoS} negotiation in a dynamic environment using agent technology}, BookTitle = {Second IFIP International Conference on Wireless and Optical Communications Networks WOCN}, date-modified = {2006-09-12 20:49:31 +0200}, lipn-category = {intc}, location = {Dubai, United Arab Emirates UA}, month = mar, year = 2005 } @Article{ocad:LPF, Author = {{\underline{Lavault}}, Christian and {\underline{\underline{Paillard}}}, Gabriel and Franca, Felipe}, Title = "A Distributed Prime Sieving Algorithm Based on SMER", Journal = "Scalable Computing Practice and Experience", Volume = "special issue of ISPDC'2005", Note = "to appear", lipn-category = "jour", year = 2006 } @InProceedings{Grozavu:2007, Author = {{\underline{\underline{Grozavu}}}, Nistor and {\underline{Bennani}}, Youn\`es and {\underline{Gu\'erif}}, S\'ebastien}, Title = {Towards a dimensionality reduction through unsupervised learning and local variable weighting}, BookTitle = {ICMCS'07}, Address = {Chisinau, Moldavie.}, date-added = {2007-08-22 13:19:48 +0200}, date-modified = {2007-08-22 13:43:28 +0200}, lipn-category = {intc}, month = {September 19-21, 2007}, year = 2007 } @InProceedings{KAYSER:2004:CCSD-00091633:1, Author = {{\underline{Kayser}}, Daniel and {\underline{\underline{Nouioua}}}, Farid}, Title = {Representing Knowledge about Norms}, BookTitle = {Proc. 16th European Conference on Artificial Intelligence }, Series = {Valencia, Spain }, Pages = {363--367 }, Publisher = {IOS Press }, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] }, keywords = {Causal reasoning; Natural Language Understanding; Norms; Non-monotonic Logic }, language = {Anglais }, lipn-category = {intc}, url = {http://hal.ccsd.cnrs.fr/ccsd-00091633/en/}, year = 2004 } @InProceedings{Moungla:2004ec, Author = {{\underline{\underline{Moungla}}}, Hassine and {\underline{Krief}}, Francine}, Title = {Service Differentiation over {GMPLS}}, BookTitle = {IEEE conference/ ICT'2004. Lecture Notes on Computer Science}, Publisher = sv, date-modified = {2006-09-12 20:49:31 +0200}, lipn-category = {intc}, location = {Fortaleza, Brazil}, month = aug, year = 2004 } @InProceedings{ocad:LANP06, Author = {{\underline{\underline{Lemalade}}}, Jean Luc and {\underline{Alfandari}}, Laurent and {\underline{Nagih}}, Anass and {\underline{Plateau}}, G\'erard}, Title = "Un mod\`ele de planification des rotations culturales dans un contexte de lutte contre la d\'eforestation \`a Madagascar", BookTitle = "7e congr\`es de la Soci\'et\'e Fran\c caise de Recherche Op\'erationnelle et d'Aide \`a la D\'ecision", Address = "Lille", lipn-category = "autc", year = 2006 } @InProceedings{ocad:LPF05, Author = {{\underline{Lavault}}, Christian and {\underline{\underline{Paillard}}}, Gabriel and Franca, Felipe}, Title = "A Distributed Prime Sieving Algorithm Based on SMER", BookTitle = "4th International Symposium on Parallel and Distributed Computing ", Pages = "139-146", Address = "ISPDC'2005", lipn-category = "intc", year = 2005 } @InProceedings{CHARLET:2004:CCSD-00098052:1, Author = {Charlet, Jean and {\underline{\underline{A\"{\i}t El Mekki}}}, Touria and Bourigault, Didier and {\underline{Nazarenko}}, Adeline and Teulier, R\'egine and Toledano, Baruk}, Title = {{CEDERILIC} : constitution d'un livre et d'un index num\'{e}riques}, BookTitle = {Actes de 7\`{e}me conf\'{e}rence Internationale sur le Document num\'{e}rique (CIDE'04) }, Pages = {187--204 }, Publisher = {Semaine du document num\'{e}rique }, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] - Mission de recherche STIM, DPA/DSI/AP-HP - Equipe de Recherche en Syntaxe et S\'{e}mantique [ERSS] - Centre de recherche en gestion [CRG] }, collaboration = {CEDERILIC}, keywords = {livre num\'{e}rique, indexation, ing\'{e}nierie des connaissances, acquisition de connaissances \`{a} partir de textes ; structuration de terminologie ; condensation de l'information ; XML ; DTD DocBook }, language = {Fran\c{c}ais }, lipn-category = {autc}, url = {http://hal.ccsd.cnrs.fr/ccsd-00098052/en/}, year = 2004 } @Article{Benabdeslem:2006c, Author = {{\underline{\underline{Benabdeslem}}}, Khalid and {\underline{Bennani}}, Youn\`es}, Title = {Dendogram-Based SVM for Multi-Class Classification}, Journal = {International Journal of Computing and Information Technology}, Volume = {14}, Number = {4}, Pages = {288-291}, date-added = {2007-08-22 13:12:41 +0200}, date-modified = {2007-08-24 12:13:54 +0200}, lipn-category = {jour}, year = 2006 } @TechReport{Bennani:2006b, Author = {{\underline{Bennani}}, Youn\`es and {\underline{\underline{Dehni}}}, Lahc\`ene}, Title = {Apprentissage non-supervis\'e pour la visualisation et la classification de donn\'ees spatio-temporelles ({R}apport d'avancement 1, {ST}3.21, {P}rojet {ANR} {SILLAGES} {S}uivi {I}ndividuel par {L}abel \'e{L}ectronique {A}u sein de {G}roupes complex{ES})}, Institution = lipn_institution, date-modified = {2007-08-22 13:38:38 +0200}, lipn-category = {cont}, month = jul, year = 2006 } @TechReport{Moungla:2004yj, Author = {{\underline{\underline{Moungla}}}, Hassine and {\underline{Krief}}, Francine}, Title = {Sp{\'e}cification d'un mod{\`e}le {GMPLS} d{\'e}riv{\'e} du mod{\`e}le g{\'e}n{\'e}rique}, Institution = lipn_institution, Note = {Mod{\'e}lisation et Apprentissage pour une Gestion Distribu{\'e}e des Alarmes De bout En boUt (projet RNRT-MAGDA2)}, date-modified = {2006-09-26 21:05:37 +0200}, lipn-category = {cont}, month = feb, year = 2004 } @InProceedings{Aseervatham:2006ay, Author = {{\underline{\underline{Aseervatham}}}, Sujeevan and {\underline{Osmani}}, Aomar and {\underline{Viennet}}, Emmanuel}, Title = {{B}it{SPADE}: A Lattice-Based Sequential Pattern Mining Algorithm Using Bitmap Representation}, BookTitle = {Proceedings of the 2006 {IEEE} International Conference on Data Mining.}, Pages = {792-797}, lipn-category = {intc}, location = {Hong Kong}, month = dec, year = 2006 } @InProceedings{guerif:2007:cap, Author = {{\underline{Gu\'erif}}, S\'ebastien and {\underline{Bennani}}, Youn\`es}, Title = {{S}{\'e}lection de {V}ariables en {A}pprentissage {N}um{\'e}rique {N}on {S}upervis{\'e}}, BookTitle = {{C}onf{\'e}rence francophone sur l'{A}pprentissage automatique ({CA}p'2007)}, Pages = {221--236}, Address = {Grenoble, France}, keywords = {S{\'e}lection de variables, Classification, Cartes auto-organis{\'e}e, Pond{\'e}ration, Extraction de connaissances}, lipn-category = {autc}, month = {July}, size = {299 kB}, url = {http://www-lipn.univ-paris13.fr/~guerif/papers/guerif2007cap.pdf}, year = 2007 } @Misc{AIT_EL_MEKKI04:TH, Author = {Touria Ait El Mekki}, Title = {Construction semi-automatique d'index de fin de livre}, Note = {Doctorat}, lipn-category = {thes}, school = {LIPN - Laboratoire d'informatique de Paris-nord}, year = 2004 } @InProceedings{ocad:HaBu05b, Author = {{\underline{\underline{Hakem}}}, Mourad and {\underline{Butelle}}, Franck}, Title = {Dynamic Critical Path Scheduling Parallel Programs onto Multiprocessors }, BookTitle = {Proc. of the 19th ACM/IEEE International Parallel \& Distributed Processing Symposium -- Advances in Parallel and Distributed Computational Models}, Pages = {203b}, Publisher = {IEEE Computer Society Press }, Note = {(10 pages sur CDROM)}, lipn-category = "autc", year = 2005 } @InProceedings{WEISSENBACHER:2004:CCSD-00095212:1, Author = {{\underline{\underline{Weissenbacher}}}, Davy}, Title = {La relation de synonymie en g\'{e}nomique }, BookTitle = {Actes des Rencontres des \'{E}tudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RECITAL) }, Pages = {298--303 }, Publisher = {ATALA }, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] }, collaboration = {CADERIGE}, language = {Fran\c{c}ais }, lipn-category = {autc}, url = {http://hal.ccsd.cnrs.fr/ccsd-00095212/en/}, year = 2004 } @InProceedings{BCC-DX07, Author = {{\underline{\underline{Bertrand}}}, O. and Carle, P. and {\underline{Choppy}}, C.}, Title = "{Chronicle modelling using automata and colored Petri nets}", BookTitle = {The 18th International Workshop on Principles of Diagnosis (DX-07)}, Pages = "229--234", lipn-category = "autc", year = 2007 } @Article{HamdounBoufaresBadri07c, Author = {{\underline{\underline{Hamdoun}}}, S. and {\underline{Boufar\`es}}, F. and Badri, M.}, Title = {Construction et Maintenance des entrepôts de données hétérogènes}, Journal = {eTI journal : Electronic Journal of Information Technologies}, Note = "À paraître", lipn-category = "jour", lipn-status = "apar", year = 2007 } @Misc{BOURGOIS07:TH, Author = {{\underline{\underline{Bourgois}}}, Laure}, Title = {Exploitation d'ontologies pour la combinaison automatique de composants logiciels}, Note = {Doctorat}, lipn-category = {thes}, school = {LIPN - Laboratoire d'informatique de Paris-nord}, year = 2007 } @Misc{JRAD06:TH, Author = {{\underline{\underline{Jrad}}}, Zeina El Ferkh -}, Title = {Apport des techniques de l'Intelligence Artificielle dans la négociation dynamique des niveaux de service: proposition d'une interface utilisateur pour l'Internet de nouvelle génération}, Note = {Doctorat}, lipn-category = {thes}, school = {LIPN - Laboratoire d'informatique de Paris-nord}, year = 2006 } @Misc{KADRI05:TH, Author = {{\underline{\underline{Kadri-Dahmani}}}, Hakima}, Title = {Méthodes de modélisation pour la gestion de la notion de cycle de vie dans les systèmes d'information géographique}, Note = {Doctorat}, lipn-category = {thes}, school = {LIPN - Laboratoire d'informatique de Paris-nord}, year = 2005 } @InProceedings{karoui06b, Author = {{\underline{\underline{Karoui}}}, Hager and {\underline{Kanawati}}, Rushed and {\underline{Petrucci}}, Laure}, Title = {{COBRAS}: {C}ooperative {CBR} {S}ystem for {B}ibliographical {R}eference {R}ecommendation}, BookTitle = {8th European Conference on Case-Based Reasonning (ECCBR'06)}, Volume = {4106}, Series = {LNCS}, Pages = {76-90}, Address = {Fethiye, Turkey}, Publisher = {springer}, date-added = {2007-09-22 22:49:24 +0200}, date-modified = {2007-09-22 22:49:24 +0200}, lipn-category = {intc}, owner = {rk}, timestamp = {2007.09.22}, year = 2006 } @InProceedings{ocad:ALNP06, Author = {{\underline{Alfandari}}, Laurent and {\underline{\underline{Lemalade}}}, Jean-Luc and {\underline{Nagih}}, Anass and {\underline{Plateau}}, G\'erard}, Title = "A MIP flow model for crop-rotation planning in a sustainable development context", BookTitle = "EURO Congress", Address = "Reykjavik, Iceland", lipn-category = "autc", year = 2006 } @InProceedings{Bourgois, Author = {{\underline{\underline{Bourgois}}}, Laure and Delteil, Alexandre and Levy, Fran\c{c}ois}, Title = {R\'{e}paration de {W}eb services composites }, BookTitle = {Atelier Conception des syst\`{e}mes d'information et services Web, INFORSID'06}, Note = {12 pages, \url{//sisw06.loria.fr/SISW$\_$files/articles/BourgoisArticle.pdf}}, lipn-category = {autc}, year = 2006 } @InProceedings{karoui05, Author = {{\underline{\underline{Karoui}}}, Hager}, Title = {Agents {R{\`a}PC} pour la gestion coop{\'e}rative de bases bibliographiques Personelles}, BookTitle = {Atelier raisonnement {\`a} partir de cas, plate-forme AFIA}, Pages = {86-97}, Address = {Nice}, date-added = {2007-09-27 18:00:20 +0200}, date-modified = {2007-09-27 18:00:20 +0200}, lipn-category = {autc}, month = may, year = 2005 } @TechReport{ocad:BuFiHa06, Author = {{\underline{Butelle}}, Franck and {\underline{Finta}}, Lucian and {\underline{\underline{Hakem}}}, Mourad}, Title = {Real-Time Distributed Scheduling of Precedence Graphs on Arbitrary Wide Networks}, Institution = {LIPN - CNRS UMR 7030 - Universit\'e Paris Nord}, Type = {RR}, Number = {2006.01}, lipn-category = "rapl", year = 2006 } @Misc{KADHI05:TH, Author = {Nahla El Zant - Kadhi}, Title = {Apprentissage de motifs relationnels dans des objets partiellement ordonnés et application à la caractérisation de motifs dans l'ADN}, Note = {Doctorat}, lipn-category = {thes}, school = {LIPN - Laboratoire d'informatique de Paris-nord}, year = 2005 } @Article{AUBIN:2007:HAL-00160245:1, Author = {Aubin, Sophie and Derivi\`ere, Julien and {\underline{Hamon}}, Thierry and {\underline{Nazarenko}}, Adeline and {\underline{Poibeau}}, Thierry and {\underline{\underline{Weissenbacher}}}, Davy}, Title = {{U}ne infrastructure pour l'annotation linguistique de documents issus du web : le projet {A}{L}{V}{I}{S}}, Journal = {{R}evue des {N}ouvelles {T}echnologies de l'{I}nformation }, affiliation = {{L}aboratoire d'informatique de {P}aris-nord [{L}{I}{P}{N}] }, collaboration = {{A}{L}{V}{I}{S}}, language = {{F}ran{\c{c}}ais}, lipn-category = {autj}, lipn-status = "apar", url = {http://hal.archives-ouvertes.fr/hal-00160245/en/}, year = 2007 } @InProceedings{Dehni:2005pr, Author = {{\underline{\underline{Dehni}}}, Lahc\`ene and {\underline{Bennani}}, Youn\`es and {\underline{Krief}}, Francine}, Title = {Une approche neuronale adaptative de routage minimisant la consommation d'{\'e}nergie dans les r{\'e}seaux de capteurs}, BookTitle = {colloque GRES 2005 : Gestion de REseaux et de Services}, Pages = {115--127}, date-added = {2006-09-04 15:29:58 +0200}, date-modified = {2006-10-13 22:30:59 +0200}, lipn-category = {autc}, location = {Luchon, France}, month = feb, year = 2005 } @InProceedings{Guerif:2006xz, Author = {{\underline{Gu\'erif}}, S\'ebastien and {\underline{Bennani}}, Youn\`es}, Title = {Selection of clusters number and features subset during a two-levels clustering task}, BookTitle = {Proceeding of the 10th International Conference Artificial intelligence and Soft Computing 2006}, Pages = {28--33}, Address = {Palma de Mallorca, Spain}, date-added = {2006-09-04 15:33:30 +0200}, date-modified = {2006-09-12 20:58:31 +0200}, keywords = {clustering, feature selection, self-organizing map, model selection}, lipn-category = {intc}, month = aug, size = {829 kB}, url = {http://www-lipn.univ-paris13.fr/~guerif/papers/guerif2006asc.pdf}, year = 2006 } @InProceedings{RECANATI:2007:HAL-00153327:2, Author = {{\underline{Recanati}}, Catherine and {\underline{\underline{Rogovschi}}}, Nicoleta}, Title = {{E}ncha{\^i}nements verbaux - {\'e}tude sur le temps et l'aspect utilisant des techniques d'apprentissage non supervis{\'e}}, BookTitle = taln07, Editor = taln07ed, Pages = {379--388 }, Address = {{T}oulouse, {F}rance}, Publisher = irit, affiliation = {{L}aboratoire d'informatique de {P}aris-nord [{L}{I}{P}{N}] }, keywords = {discours; temps et aspect; cat{\'e}gorie verbale aspectuelle; s{\'e}mantique; fouille de donn{\'e}es}, language = {{F}ran{\c{c}}ais}, lipn-category = {autc}, month = {Juin}, url = {http://hal.archives-ouvertes.fr/hal-00153327/en/}, year = 2007 } @InCollection{ocad:KB05, Author = {{\underline{\underline{Khemmoudj}}}, M. I. and {\underline{Bennaceur}}, H.}, Title = "Using Constraint Programming for Scheduling of {EDF} Nuclear Power Plant Outages", BookTitle = {1st International Workshop on Optimization Frameworks for Industrial Applications}, Address = {Paris, France}, Note = {(Poster)}, lipn-category = {autc}, year = 2005 } @InProceedings{Amara:2005kh, Author = {{\underline{\underline{Amara-Hachmi}}}, Nejla and ElFallah-Seghrouchni, Amal}, Title = {{GAMA}: Architecture g{\'e}n{\'e}rique d'agents mobiles adaptables}, BookTitle = {Plate-forme de l'Association Fran{\c c}aise pour l'Intelligence Artificielle - AFIA05, Conf{\'e}rence: Rencontres Jeunes Chercheurs en Intelligence Artificielle RJCIA'05}, date-modified = {2006-10-12 15:58:24 +0200}, lipn-category = {autc}, location = {Nice, France}, month = jun, year = 2005 } @InProceedings{ocad:KBN05, Author = {{\underline{\underline{Khemmoudj}}}, M. I. and {\underline{Bennaceur}}, H. and {\underline{Nagih}}, Anass}, Title = {Combining Arc-Consistency and Dual Lagrangean Relaxation for Filtering {CSPs}}, BookTitle = {2th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Praha, 2005)}, Pages = {258-272}, Publisher = {Springer - Berlin Heidelberg}, lipn-category = "intc", year = 2005 } @InProceedings{HamdounBoufaresBadri06g, Author = {{\underline{\underline{Hamdoun}}}, S. and {\underline{Boufar\`es}}, F. and Badri, M.}, Title = {Construction et Maintenance des entrepôts de données hétérogènes}, BookTitle = {Proceedings of the 9th Maghrebian Conference on Software Engineering and Artificial Intelligence}, Pages = {160--168}, lipn-category = "autc", year = 2006 } @InProceedings{ocad:DB06b, Author = {{\underline{\underline{Djerourou}}}, Fay\c{c}al and {\underline{Bennaceur}}, Hachemi}, Title = "Infering inconsistencies to enhance branch and bound for {Max-CSP}", BookTitle = "Soft 2006 Workshop-Constraint Programming CP'06", Pages = "47-62", Address = "Nantes, France", lipn-category = "autc", year = 2006 } @InProceedings{Aseervatham:2005fc, Author = {{\underline{\underline{Aseervatham}}}, Sujeevan and {\underline{Osmani}}, Aomar}, Title = {Mining short sequential patterns for hepatitis type detection}, BookTitle = {Discovery Challenge (ECML/PKDD)}, date-modified = {2006-10-13 22:24:08 +0200}, lipn-category = {autc}, location = {Porto, Portugal}, year = 2005 } @InProceedings{AITELMEKKI:2005:CCSD-00098036:1, Author = {{\underline{\underline{A\"{\i}t El Mekki}}}, Touria and {\underline{Nazarenko}}, Adeline}, Title = {Using {NLP} to build the hypertextuel network of a back-of-the-book index }, BookTitle = {Proceedings of the International Conference on Recent Advances in Natural Language Processing (RANLP) }, Pages = {316--320 }, Publisher = {Institute for Parallel Processing, Bulgarian Academy of Sciences }, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] - Laboratoire d'Etude et de Recherche en Informatique d'Angers [LERIA] }, keywords = {Natural Language Processing ; indexing }, language = {Anglais }, lipn-category = {intc}, url = {http://hal.ccsd.cnrs.fr/ccsd-00098036/en/}, year = 2005 } @InProceedings{Amara:2006, Author = {{\underline{\underline{Amara-Hachmi}}}, Nejla and Fallah-Seghrouchni, Amal El}, Title = {Mod{\'e}lisation d'information contextuelle pour des agents mobiles sensibles au contexte}, BookTitle = {Nouvelles technologies de la r{\'e}partition (NOTERE'06)}, Address = {Toulouse}, date-added = {2006-09-26 21:17:47 +0200}, date-modified = {2006-09-26 21:21:09 +0200}, lipn-category = {autc}, month = jun, year = 2006 } @InProceedings{BOUFFIER:2007:HAL-00153292:1, Author = {{\underline{\underline{Bouffier}}}, Amanda and {\underline{Poibeau}}, Thierry}, Title = {{A}utomatically {R}estructuring {P}ractice {G}uidelines using the {G}{E}{M} {D}{T}{D}}, BookTitle = {{P}roceedings of {B}iomedical {N}atural {L}anguage {P}rocessing ({B}io{N}{L}{P}'07) }, Editor = {{B}retonnel {C}ohen, {K}evin and {D}emner-{F}ushman, {D}ina and {F}riedman, {C}arol and {H}irschman, {L}ynette and {P}estian, {J}ohn }, Address = {{P}rague, {R}{\'e}publique {T}ch{\`e}que}, Publisher = {{A}{C}{L} }, affiliation = {{L}aboratoire d'informatique de {P}aris-nord [{L}{I}{P}{N}] }, language = {{A}nglais}, lipn-category = {intc}, lipn-status = "apar", url = {http://hal.archives-ouvertes.fr/hal-00153292/en/}, year = 2007 } @InProceedings{Elati:2007BDI, Author = {{\underline{\underline{Elati}}}, M. and {\underline{Rouveirol}}, C.}, Title = {G{\'e}n{\'e}ration d'associations candidates sous contrainte de support adaptative}, BookTitle = {BDI'2007 : atelier bases de donn{\'e}es inductives, Plate-forme AFIA}, date-modified = {2007-06-21}, lipn-category = {auti}, year = 2007 } @InProceedings{etienne07, Author = {Birml\'e, Etienne and {\underline{\underline{Elati}}}, Mohamed and {\underline{Rouveirol}}, C\'eline and Ambroise, Christophe}, Title = {Identification of functional modules based on transcriptional regulation structure}, BookTitle = {International Workshop on Machine Learning in Systems Biology (MLSB 2007)}, lipn-category = {intc}, location = {Evry, France}, year = 2007 } @InProceedings{AITELMEKKI:2005:CCSD-00098064:1, Author = {{\underline{\underline{A\"{\i}t El Mekki}}}, Touria and {\underline{Nazarenko}}, Adeline}, Title = {�valuer le r\'{e}seau terminologique d'un index de document }, BookTitle = {Rencontres Terminologie et Intelligence Artificielle; Atelier Evaluation des outils terminologiques }, Address = {Rouen, France}, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] }, keywords = {Acquisition de terminologie ; evaluation }, language = {Fran\c{c}ais }, lipn-category = {autc}, url = {http://hal.ccsd.cnrs.fr/ccsd-00098064/en/}, year = 2005 } @InProceedings{ABT05, Author = {{\underline{\underline{Atassi}}}, V. and {\underline{Baillot}}, P. and Terui, K.}, Title = {Verification of {P}time reducibility for system {F} terms via {D}ual {L}ight {A}ffine {L}ogic}, BookTitle = {Proceedings of Computer Science Logic (CSL'06)}, Volume = {4207}, Series = lncs, Pages = {150-166}, Publisher = sv, lipn-category = "intc", optaddress = {}, optannote = {}, optcrossref = {}, opteditor = {}, optkey = {}, optmonth = {}, optnote = {}, optnumber = {}, optorganization = {}, year = 2006 } @Misc{NOUIOUA07:TH, Author = {{\underline{\underline{Nouioua}}}, Farid}, Title = {Extraction et utilisation de normes pour le raisonnement causal sur un corpus textuel}, Note = {Doctorat}, lipn-category = {thes}, school = {LIPN - Laboratoire d'informatique de Paris-nord}, year = 2007 } @InProceedings{viennet2007f, Author = {{\underline{\underline{Rogovschi}}}, Nicoleta and {\underline{Viennet}}, Emmanuel}, Title = {Finding community structure in social networks using statistical approaches}, BookTitle = {V International Conference on Microelectronics and Computer Science}, lipn-category = {intc}, month = sep, url = {http://www.icmcs.utm.md}, year = 2007 } @InProceedings{ocad:DLPR04, Author = {{\underline{\underline{Djerourou}}}, F. and {\underline{Lavault}}, C. and {\underline{\underline{Paillard}}}, G. and {\underline{Ravelomanana}}, V.}, Title = "Assigning Codes in a random Wireless Network", BookTitle = "International Conference on Telecommunications", Number = {3124}, Series = {Lecture Notes in Computer Science}, Pages = "348-353", Address = "Fortaleza, Brasil", lipn-category = "intc", year = 2004 } @InProceedings{ocad:KB07, Author = {{\underline{\underline{Khemmoudj}}}, Mohand-Ou-Idir and {\underline{Bennaceur}}, Hachemi}, Title = "Valid Inequality Based Lower Boubnds for {WCSP}", BookTitle = "CP07", Address = "Providence, USA", lipn-category = "autc", year = 2007 } @InProceedings{Moungla:2004wq, Author = {{\underline{\underline{Moungla}}}, Hassine}, Title = {La diff{\'e}rentiation de service dans les r{\'e}seaux {MPLS/GMPLS}}, BookTitle = {DNAC 2004}, date-modified = {2006-09-12 20:49:31 +0200}, lipn-category = {autc}, location = {Fortaleza, Br{\'e}sil}, month = feb, year = 2004 } @InProceedings{ocad:DB06c, Author = {{\underline{\underline{Djerourou}}}, Fay\c{c}al and {\underline{Bennaceur}}, Hachemi}, Title = "Inf\'erence d'inconsistances pour la r\'esolution du {Max-CSP}", BookTitle = "Journ\'ees Francophones de Programmation par Contraintes", Pages = "129-138", Address = "Al\`es, France", lipn-category = "autc", year = 2006 } @InProceedings{WEISSENBACHER:2006:CCSD-00095189:1, Author = {{\underline{\underline{Weissenbacher}}}, Davy}, Title = {Bayesian {N}etwork, a model for {NLP}~? }, BookTitle = {European Conference of the Association for Computational Linguistics (EACL 2006) }, Pages = {195--198 }, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] }, collaboration = {{ALVIS}}, language = {Anglais }, lipn-category = {intc}, url = {http://hal.ccsd.cnrs.fr/ccsd-00095189/en/}, year = 2006 } @InProceedings{ALPHONSE:2004:CCSD-00098040:1, Author = {{\underline{Alphonse}}, Erick and Aubin, Sophie and Bessi\`eres, Philippe and Bisson, Gilles and {\underline{Hamon}}, Thierry and Lagarrigue, Sandrine and {\underline{Nazarenko}}, Adeline and Manine, Alain-Pierre and N\'edellec, Claire and Ould Abdel Vetah, Mohamed and {\underline{Poibeau}}, Thierry and {\underline{\underline{Weissenbacher}}}, Davy}, Title = {Event-based Information Extraction for the biomedical domain: the {Caderige} project }, BookTitle = {Proceedings of the International Joint Workshop on Natural Language Processing in Biomedicine and Its Applications (COLING'04) }, Editor = {Collier, Nigel and Ruch, Patrick and Nazarenko, Adeline }, Pages = {43--49 }, Address = {Geneva, Suisse }, affiliation = {Unit\'{e} Math\'{e}matique Informatique et G\'{e}nome [MIG] - Laboratoire Leibniz [Leibniz - IMAG] - Laboratoire d'informatique de Paris-nord [LIPN] - Laboratoire de g\'{e}n\'{e}tique animale [INRA-ENSAR] }, collaboration = {Caderige}, keywords = {Information extraction ; bio text mining }, language = {Anglais }, lipn-category = {autc}, opturl = {http://hal.ccsd.cnrs.fr/ccsd-00098040/en/}, year = 2004 } @InProceedings{CAILLIAU:2006:CCSD-00098149:1, Author = {{\underline{\underline{Cailliau}}}, Frederik}, Title = {Unifier la gestion de ressources linguistiques en contexte multilingue }, BookTitle = {{A}ctes de la 13{\`e}me conf{\'e}rence sur le {T}raitement {A}utomatique des {L}angues {N}aturelles {T}{A}{L}{N}'2006 }, Pages = {455--461}, Publisher = {Presses universitaires de Louvain }, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] }, keywords = {Lexicon Management, Linguistic Database, Linguistic Resources, Multilinguism, Linguistic Architecture }, language = {Fran\c{c}ais }, lipn-category = {autc}, url = {http://hal.ccsd.cnrs.fr/ccsd-00098149/en/}, year = 2006 } @InProceedings{POIBEAU:2007:HAL-00153311:1, Author = {{\underline{Poibeau}}, Thierry and {\underline{\underline{Bossard}}}, Aur\'elien}, Title = {{A}daptation d'une ressource pr{\'e}dicative pour l'extraction d'information}, BookTitle = {{A}ctes du {C}olloque {L}exique et {G}rammaire 2007 {C}olloque {L}exique et {G}rammaire 2007 }, Address = {{B}onifacio, {F}rance}, Publisher = {{L}{A}{D}{L} }, affiliation = {{L}aboratoire d'informatique de {P}aris-nord [{L}{I}{P}{N}] }, language = {{F}ran{\c{c}}ais}, lipn-category = {autc}, lipn-status = "apar", url = {http://hal.archives-ouvertes.fr/hal-00153311/en/}, year = 2007 } @InProceedings{Lebbah071, Author = {{\underline{\underline{Lebbah}}}, Mustapha and {\underline{\underline{Rogovschi}}}, Nicoleta and {\underline{Bennani}}, Youn\'es}, Title = {Be{SOM} : Bernoulli on Self Organizing Map}, BookTitle = {International Joint Conferences on Neural Networks. IJCNN 2007, Orlando, Florida, August 12-17}, date-modified = {2007-09-27 18:11:59 +0200}, lipn-category = {intc}, year = 2007 } @InProceedings{Zehraoui:2004kk, Author = {{\underline{\underline{Zehraoui}}}, Farida and {\underline{Bennani}}, Youn\`es}, Title = {{M-SOM}: Matricial Self Organizing Map for sequences clustering and classification}, BookTitle = {IJCNN'04, International Joint Conference on Neural Networks}, date-modified = {2006-10-12 22:36:43 +0200}, lipn-category = {intc}, location = {Budapest, Hungary}, month = jul, year = 2004 } @InProceedings{Pauchet:2005fd, Author = {{\underline{\underline{Pauchet}}}, Alexandre and Chaignaud, Nathalie and Fallah-Segrouchni, Amal El}, Title = {Un Mod{\`e}le Cognitif de l'Interaction pour Agents Logiciels}, BookTitle = {3{\`e}mes Journ{\'e}es Francophones des Mod{\`e}les Formels de l'Interaction (MFI'05)}, date-modified = {2006-09-12 20:49:31 +0200}, lipn-category = {autc}, location = {Caen, France}, month = may, year = 2005 } @InProceedings{ocad:HaBu04a, Author = {{\underline{\underline{Hakem}}}, Mourad and {\underline{Butelle}}, Franck}, Title = {A New On-Line Scheduling Algorithm for Distributed Real-Time System }, BookTitle = {Proc. of the 3rd Int. Symp. and School on Advanced Distributed Systems (ISSADS)}, Series = lncs, Pages = {241-251}, Publisher = {Springer}, lipn-category = "intc", year = 2004 } @Article{WEISSENBACHER:2007:HAL-00162106:1, Author = {{\underline{\underline{Weissenbacher}}}, Davy}, Title = {{L}es r{\'e}seaux bay{\'e}siens: un formalisme adapt{\'e} au traitement automatique des langues ?}, Journal = {{I}ntelligence {A}rtificielle }, Volume = {21 }, Number = {3 }, Pages = {371--389 }, affiliation = {{L}aboratoire d'informatique de {P}aris-nord [{L}{I}{P}{N}] }, day = {01}, language = {Fran{\c{c}}ais}, lipn-category = {autj}, month = {Juin}, url = {http://hal.archives-ouvertes.fr/hal-00162106/en/}, year = 2007 } @TechReport{Moungla:2005jf, Author = {{\underline{\underline{Moungla}}}, Hassine and {\underline{Krief}}, Francine}, Title = {Policy based management specification}, Institution = lipn_institution, Note = {Rapport 3.4.1- Self Aware management project (SWAN- RNRT project)}, date-modified = {2006-09-12 20:49:31 +0200}, lipn-category = {cont}, month = mar, year = 2005 } @Unpublished{ALPHONSE:2004:CCSD-00101613:1, Author = {{\underline{Alphonse}}, Erick and Bessi\`eres, Philippe and Deral, Ga\"el and Lehman, Ga\"etan and Manine, Alain-Pierre and N\'edellec, Claire and Aubin, Sophie and Derivi\`ere, Julien and {\underline{Hamon}}, Thierry and {\underline{Nazarenko}}, Adeline and {\underline{Poibeau}}, Thierry and {\underline{\underline{Weissenbacher}}}, Davy}, Title = {Deliverable {D}6.2: Requirements for integration of {WP6} results into {WP5} normalization and representation tasks and into {WP9} }, Note = {{ALVIS} deliverable report {ALVIS} }, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] - Unit\'{e} Math\'{e}matique Informatique et G\'{e}nome [MIG] }, collaboration = {{ALVIS} STREP/IST}, keywords = {requirements; normalization }, language = {Anglais }, lipn-category = {cont}, url = {http://hal.ccsd.cnrs.fr/ccsd-00101613/en/}, year = 2004 } @Misc{KHEMOUDJ07:TH, Author = {Mohand Ou Idir Khemoudj}, Title = {Contribution de la programmation par contraintes à la résolution du problème de placement des arrêts des réacteurs nucléaires d'EDF}, Note = {Doctorat}, lipn-category = {thes}, school = {LIPN - Laboratoire d'informatique de Paris-nord}, year = 2007 } @InProceedings{AITELMEKKI:2006:CCSD-00098033:1, Author = {{\underline{\underline{A\"{\i}t El Mekki}}}, Touria and {\underline{Nazarenko}}, Adeline}, Title = {An application-oriented terminology evaluation: the case of back-of-the book indexes }, BookTitle = {Workshop on Terminology design: quality criteria and evaluation methods (TermEval) }, Editor = {Costa, Rute and Ibekwe-SanJuan, Fid\'{e}lia and Lervad, Susanne and L'Homme, Marie-Claude and Nazarenko, Adeline and Nilsson, Henrik}, Pages = {18--21 }, Address = {Genoa, Italie}, affiliation = {Laboratoire d'Etude et de Recherche en Informatique d'Angers [LERIA] - Laboratoire d'informatique de Paris-nord [LIPN] }, keywords = {Evaluation ; terminology ; back-of-the-book index }, language = {Anglais }, lipn-category = {autc}, url = {http://hal.ccsd.cnrs.fr/ccsd-00098033/en/}, year = 2006 } @InProceedings{zehraoui04, Author = {{\underline{\underline{Zehraoui}}}, Farida and {\underline{Kanawati}}, Rushed and {\underline{Salotti}}, Sylvie}, Title = {{CASEP2}: {H}ybrid {C}ase-based {R}easoning {S}ystem for {S}equence {P}rocessing}, BookTitle = {Advances in Case-Based Reasoning, 7th European Conference (ECCBR 2004)}, Pages = {449-463}, date-added = {2007-09-22 22:49:24 +0200}, date-modified = {2007-09-22 22:49:24 +0200}, lipn-category = {intc}, owner = {rk}, timestamp = {2007.09.22}, year = 2004 } @Article{ocad:HaBu06a, Author = {{\underline{\underline{Hakem}}}, Mourad and {\underline{Butelle}}, Franck}, Title = {Critical Path Scheduling Parallel Programs on an Unbounded Number of Processors }, Journal = ijfcs, Volume = {17}, Number = 2, Pages = {287--301}, lipn-category = "jour", year = 2006 } @TechReport{Elmrabet:2004fi, Author = {Gaudr\'e, Thierry and Joloboff, Vania and Elmrabet, Yamina and {\underline{\underline{Aseervatham}}}, Sujeevan and Robin, Philippe and {\underline{Dague}}, Philippe and {\underline{Osmani}}, Aomar}, Title = {R{\'e}alisation d'un Environnement Syst{\`e}me {\'E}volutif pour le Diagnostic Automobile,}, Institution = lipn_institution, booktitle = {projet RNTL-2001-2004}, date-modified = {2006-09-21 22:32:59 +0200}, lipn-category = {cont}, year = 2004 } @Misc{GUERIF06:TH, Author = {{\underline{Gu\'erif}}, S\'ebastien}, Title = {Approches connexionnistes pour l'exploration et l'extraction de connaissances à partir de données spatio-temporelles}, Note = {Doctorat}, lipn-category = {thes}, school = {LIPN - Laboratoire d'informatique de Paris-nord}, year = 2006 } @Unpublished{Recanati2006, Author = {{\underline{Recanati}}, Catherine and {\underline{Bennani}}, Youn\`es and {\underline{\underline{Rogovschi}}}, Nicoleta}, Title = {Analyse de s\'{e}quences verbales - une segmentation num\'{e}rique des temps et cat\'{e}gories aspectuelles dans des r\'{e}cits d'accidents}, Note = {19 pages}, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] }, keywords = {temps, verbes, aspect, causalit \'{e}, apprentissage num\'{e}rique, apprentissage connexioniste et stochastique}, language = {Fran\c{c}ais}, lipn-category = {rapl}, year = 2006 } @InProceedings{WEISSENBACHER:2007:HAL-00162114:1, Author = {{\underline{\underline{Weissenbacher}}}, Davy and {\underline{Nazarenko}}, Adeline}, Title = {{A} {B}ayesian approach combining surface clues and linguistic knowledge: {A}pplication to the anaphora resolution problem}, BookTitle = ranlp07, Address = {Borovets, Bulgary}, Publisher = {{I}nstitute for {P}arallel {P}rocessing, {B}ulgarian {A}cademy of {S}ciences }, affiliation = {{L}aboratoire d'informatique de {P}aris-nord [{L}{I}{P}{N}] }, language = {{A}nglais}, lipn-category = {intc}, lipn-status = "apar", month = {Sep.}, url = {http://hal.archives-ouvertes.fr/hal-00162114/en/}, year = 2007 } @Misc{HAKEM06:TH, Author = {{\underline{\underline{Hakem}}}, Mourad}, Title = {Algorithmes d'ordonnancement distribué temps réel}, Note = {Doctorat}, lipn-category = {thes}, school = {LIPN - Laboratoire d'informatique de Paris-nord}, year = 2006 } @Article{BoufaresHamdoun05f, Author = {{\underline{Boufar\`es}}, F. and {\underline{\underline{Hamdoun}}}, S.}, Title = {Integration techniques to build a data warehouse using heterogeneous data sources}, Journal = {Journal of Computer Sciences}, Pages = {48--55}, lipn-category = "jour", year = 2005 } @InProceedings{NOUIOUA:2005:CCSD-00085163:1, Author = {{\underline{\underline{Nouioua}}}, Farid}, Title = {Raisonnement stratifi\'{e} \`{a} base de normes pour inf\'{e}rer les causes dans un corpus textuel }, BookTitle = {The Seventh International Symposium On Programming and Systems }, Pages = {81--92 }, Publisher = {USTHB d'Alger }, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] }, language = {Fran\c{c}ais }, lipn-category = {autc}, url = {http://hal.ccsd.cnrs.fr/ccsd-00085163/en/}, year = 2005 } @InProceedings{NOUIOUA:2005:CCSD-00085161:1, Author = {{\underline{\underline{Nouioua}}}, Farid}, Title = {Norm Based Causal Reasoning in Textual Corpus }, BookTitle = {Proceedings of the Sixth International Workshop on Computational Semantics IWCS-6 }, Pages = {396--400 }, Address = {Tilburg, France }, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] }, language = {Anglais }, lipn-category = {autc}, url = {http://hal.ccsd.cnrs.fr/ccsd-00085161/en/}, year = 2005 } @InProceedings{BOURGOIS:2006:CCSD-00097757:1, Author = {{\underline{\underline{Bourgois}}}, Laure}, Title = {Finding Alternative {W}eb Services to {P}arry {B}reakdowns }, BookTitle = {Proceedings of the Third Starting AI Researchers' Symposium }, Pages = {232--243 }, Publisher = {IOS Press }, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] }, keywords = {Web services; software components; breakdown; dynamic logic; subsumption; reconfiguration }, language = {Anglais }, lipn-category = {intc}, url = {http://hal.ccsd.cnrs.fr/ccsd-00097757/en/}, year = 2006 } @InProceedings{KAYSER:2006:CCSD-00091650:1, Author = {{\underline{Kayser}}, Daniel and {\underline{\underline{Nouioua}}}, Farid}, Title = {Une exp\'{e}rience de s\'{e}mantique inf\'{e}rentielle }, BookTitle = {{A}ctes de la 13{\`e}me conf{\'e}rence sur le {T}raitement {A}utomatique des {L}angues {N}aturelles {T}{A}{L}{N}'2006 }, Pages = {246--255 }, Publisher = {Presses Universitaires de Louvain }, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] }, keywords = {s\'{e}mantique inf\'{e}rentielle; raisonnement non monotone; causalit\'{e} }, language = {Fran\c{c}ais }, lipn-category = {autc}, url = {http://hal.ccsd.cnrs.fr/ccsd-00091650/en/}, year = 2006 } @InProceedings{BOURGOIS:2006:CCSD-00097754:1, Author = {{\underline{\underline{Bourgois}}}, Laure and Delteil, Alexandre and {\underline{L\'evy}}, Fran\c{c}ois}, Title = {Web {S}ervices Subsumption with a Specific {PDL} }, BookTitle = {Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ ICIW) }, Pages = {158}, Publisher = {IEEE Computer Society }, affiliation = {Laboratoire d'Informatique de l'universit\'{e} Paris-Nord [LIPN] }, keywords = {web services, dynamic logic, plan subsumption }, language = {Anglais }, lipn-category = {intc}, url = {http://hal.ccsd.cnrs.fr/ccsd-00097754/en/}, year = 2006 } @InProceedings{WEISSENBACHER:2005:CCSD-00095205:1, Author = {{\underline{\underline{Weissenbacher}}}, Davy}, Title = {A {B}ayesian {N}etwork for the resolution of non-anaphoric pronoun {I}t }, BookTitle = {Bayesian Methods for Natural Language Processing Workshop at NIPS }, Address = {Canada }, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] }, collaboration = {{ALVIS}}, language = {Anglais }, lipn-category = {autc}, url = {http://hal.ccsd.cnrs.fr/ccsd-00095205/en/}, year = 2005 } @InProceedings{ocad:KBP05, Author = {{\underline{\underline{Khemmoudj}}}, M. I. and {\underline{Bennaceur}}, H. and Porcheron, Marc}, Title = "Application de la Programmation Logique par Contraintes au Probl\`eme du Placement des Arr\^ets des R\'eacteurs Nucl\'eaires d'{EDF}", BookTitle = {7th International Symposium on Programming an Systems}, Pages = {177-186}, Address = {Alger}, lipn-category = "autc", year = 2005 } @InProceedings{BOUFFIER:2007:HAL-00174871:1, Author = {{\underline{\underline{Bouffier}}}, Amanda and {\underline{Poibeau}}, Thierry}, Title = { {E}xploiter la structure des documents: un enjeu pour la fouille de textes }, BookTitle = {Actes du colloque Veille Strat\'egique Scientifique \& Technologique ({VSST'07})}, Address = {Maroc}, affiliation = {{L}aboratoire d'informatique de {P}aris-nord [{LIPN}] }, language = {{F}ran\c{c}ais}, lipn-category = {autc}, lipn-status = "apar", month = {Oct.}, year = 2007 } @Article{El-Zant:2004sj, Author = {{\underline{\underline{El-Zant}}}, Nahla and {\underline{Soldano}}, Henry}, Title = {Finding Repeated Flexible Relational Words in Sequences}, Journal = {Journal of Systemics, Cybernetics and Informatics}, Volume = {2}, Number = {4}, date-added = {2006-03-21 12:04:24 +0100}, date-modified = {2006-09-12 20:49:31 +0200}, lipn-category = {jour}, year = 2004 } @InProceedings{ocad:KB06e, Author = {{\underline{\underline{Khemmoudj}}}, M. I. and {\underline{Bennaceur}}, H.}, Title = {Inference de Cliques pour la R\'esolution de {Max-CSP}}, BookTitle = {2e Journ\'ees Francophones de Programmation par Contraintes}, Pages = {229-238}, Address = {N\^{\i}mes, France}, lipn-category = "autc", year = 2006 } @InProceedings{BOUFFIER:2007:HAL-00174891:1, Author = {{\underline{\underline{Bouffier}}}, Amanda and {\underline{Poibeau}}, Thierry}, Title = {{R}estructuring documents: {A} discourse based approach}, BookTitle = ranlp07, Address = {{B}ulgarie }, affiliation = {{L}aboratoire d'informatique de {P}aris-nord [{LIPN}] }, language = {{A}nglais}, lipn-category = {intc}, lipn-status = "apar", month = {Oct.}, url = {http://hal.archives-ouvertes.fr/hal-00174891/en/}, year = 2007 } @InProceedings{BOURGOIS:2007:HAL-00153745:1, Author = {{\underline{\underline{Bourgois}}}, Laure and Delteil, Alexandre and {\underline{L\'evy}}, Fran\c{c}ois}, Title = {{A} {F}ormalism for {W}eb {S}ervices {P}roperties}, BookTitle = {Proceedinfgs of the {I}nternational {C}onference on {I}nternet and {W}eb {A}pplications and {S}ervices (ICIW'07)}, Pages = {28}, affiliation = {{L}aboratoire d'informatique de {P}aris-nord [{L}{I}{P}{N}] }, day = {13}, language = {{A}nglais}, lipn-category = {intc}, month = {05}, url = {http://hal.archives-ouvertes.fr/hal-00153745/en/}, year = 2007 } @InProceedings{Amara:2004mb, Author = {{\underline{\underline{Amara-Hachmi}}}, Nejla}, Title = {A Generic Component-based Methodology for Extensible Mobile Agents Design}, BookTitle = {IEEE International Conference on Advances in Intelligent Systems: Theory and Applications AISTA'04}, date-modified = {2006-09-12 20:49:31 +0200}, lipn-category = {intc}, location = {Luxembourg}, month = nov, year = 2004 } @InProceedings{ocad:CAJ06, Author = {{\underline{C\'erin}}, Christophe and Abbes, Heithem and Abdennadher, Nabil and {\underline{\underline{Jemni}}}, Mohamed}, Title = {Architecture d'une grille de calcul Tunisienne }, BookTitle = {JTEA }, Address = {Tunisie Hammamet}, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] }, language = {Anglais }, lipn-category = "autc", url = {http://hal.ccsd.cnrs.fr/ccsd-00096738/en/}, year = 2006 } @InProceedings{RECANATI:2007:HAL-00157801:1, Author = {{\underline{Recanati}}, Catherine and {\underline{\underline{Rogovschi}}}, Nicoleta and {\underline{Bennani}}, Youn\`es}, Title = {{S}equencing of verbs - a study on tense and aspect using unsupervised learning}, BookTitle = ranlp07, Address = {Borovets, Bulgary}, Publisher = {{I}nstitute for {P}arallel {P}rocessing, {B}ulgarian {A}cademy of {S}ciences }, affiliation = {{L}aboratoire d'informatique de {P}aris-nord [{L}{I}{P}{N}] }, keywords = {{N}atural {L}anguage {P}rocessing; {D}ata {M}ining; {T}ime and {A}spect;}, language = {{A}nglais}, lipn-category = {intc}, lipn-status = "apar", month = {Sep.}, url = {http://hal.archives-ouvertes.fr/hal-00157801/en/}, year = 2007 } @Misc{PAUCHET06:TH, Author = {{\underline{\underline{Pauchet}}}, Alexandre}, Title = {Modélisation cognitive d'interactions humaines dans un cadre de planification multi-agents}, Note = {Doctorat}, lipn-category = {thes}, school = {LIPN - Laboratoire d'informatique de Paris-nord}, year = 2006 } @InProceedings{AmaraHach:2006, Author = {Nejla Amara Hachmi}, Title = {An Ontology-based Model for Mobile Agents Adaptation in Pervasive Environments}, BookTitle = {4th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'06)}, Pages = {1106--1109}, date-added = {2006-09-26 21:10:02 +0200}, date-modified = {2006-09-26 21:17:37 +0200}, lipn-category = {intc}, month = mar, year = 2006 } @InProceedings{ocad:HaBu07, Author = {{\underline{\underline{Hakem}}}, Mourad and {\underline{Butelle}}, Franck}, Title = {Reliability and Scheduling on Systems Subject to Failures}, BookTitle = {Proc. of the 36th IEEE Intenational Conference on parallel Processing (ICPP)}, lipn-category = "intc", lipn-status = {apar}, year = 2007 } @Article{Aseervatham:2007b, Author = {{\underline{\underline{Aseervatham}}}, Sujeevan and {\underline{Viennet}}, Emmanuel and {\underline{Bennani}}, Youn\`es}, Title = {Semi-Structured Document Categorization with a Semantic Kernel}, Journal = {{I}nternational {J}ournal of {C}omputational {I}ntelligence and {A}pplications}, Note = {Soumis en ao{\^u}t 2007}, lipn-category = {soum}, publisher = {World Scientific Publishing Company}, year = 2007 } @InProceedings{zehraoui04a, Author = {{\underline{\underline{Zehraoui}}}, Farida and {\underline{Kanawati}}, Rushed and {\underline{Salotti}}, Sylvie}, Title = {Case {R}epresentation, {R}etrieval and {R}euse in the {H}ybrid {S}ystem for {S}equence {P}rocessing {CASEP2}}, BookTitle = {Second International workshop on applying case-base reasoning on time series prediction}, Editor = {Rushed Kanawati and Sylvie Salotti}, Pages = {339-350}, addresse = {Madrid, Spain}, date-added = {2007-09-22 22:49:24 +0200}, date-modified = {2007-09-22 22:49:24 +0200}, lipn-category = {autc}, month = {September}, owner = {rk}, timestamp = {2007.09.22}, year = 2004 } @TechReport{ocad:DB06a, Author = {{\underline{\underline{Djerourou}}}, Fay\c{c}al and {\underline{Bennaceur}}, Hachemi}, Title = "For more pruning values when solving {Max-CSP}", Institution = "LIPN", Type = "RR", lipn-category = "rapl", year = 2006 } @InProceedings{Moungla:2005jy, Author = {{\underline{\underline{Moungla}}}, Hassine and {\underline{Krief}}, Francine}, Title = {Conflict resolution in policy based management}, BookTitle = {The 16th Annual IEEE International Symposium on Personal Indoor and Mobile Radio Communications (PIMRC)}, date-modified = {2006-09-12 20:49:31 +0200}, lipn-category = {intc}, month = sep, year = 2005 } @Misc{DJEROUROU07:TH, Author = {{\underline{\underline{Djerourou}}}, Fay\c{c}al}, Title = {Etude des méthodes de recherche locale pour la satisfaction de contraintes}, Note = {Doctorat}, lipn-category = {thes}, school = {LIPN - Laboratoire d'informatique de Paris-nord}, year = 2007 } @Article{Bennani:2007c, Author = {{\underline{Bennani}}, Youn\`es and {\underline{Gu\'erif}}, S\'ebastien and {\underline{Viennet}}, Emmanuel}, Title = {R{\'e}duction des dimensions de l'espace de description}, Journal = {Revue des Nouvelles Technologies de l'Information}, date-added = {2007-09-27 17:53:39 +0200}, date-modified = {2007-09-27 17:53:39 +0200}, lipn-category = {autj}, lipn-status = {apar}, year = 2007 } @Article{ABT07, Author = {{\underline{\underline{Atassi}}}, V. and {\underline{Baillot}}, P. and Terui, K.}, Title = {Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic}, Journal = {Logical Methods in Computer Science}, Note = {\`a para\^itre. 32 pages.}, lipn-category = "jour", optannote = {}, optmonth = {}, year = 2007 } @InProceedings{Aseervatham:2007a, Author = {{\underline{\underline{Aseervatham}}}, Sujeevan and {\underline{Viennet}}, Emmanuel and {\underline{Bennani}}, Youn\`es}, Title = {A Semantic Kernel for Semi-Structured Documents}, BookTitle = {{ICDM} 2007}, Note = {International Conference on Data Mining ({ICDM'07})}, lipn-category = {intc}, month = oct, year = 2007 } @InBook{zehraoui07, Author = {{\underline{\underline{Zehraoui}}}, Farida and {\underline{Kanawati}}, Rushed and {\underline{Salotti}}, Sylvie}, Editor = {Jean Renaud and Brigitte Cheble-Morello and B{\'e}tarice Fuchs and Jean Lieber}, Title = {CASEP2 : Syst{\`e}me Hybride pour le traitement de s{\'e}quences de navigation sur le Web}, Pages = {151-176}, Publisher = {Herm{\`e}s}, Volume = {2}, Series = {Informatique et syst\`eme d'information}, booktitle = {Raisonnement {\`a} Partir de Cas 2: surveillance, diagnostic et maintenance}, chap = {5}, date-added = {2007-09-22 22:49:24 +0200}, date-modified = {2007-09-22 22:49:24 +0200}, lipn-category = {chap}, owner = {rk}, timestamp = {2007.09.22}, year = 2007 } @InProceedings{NAZARENKO:2004:CCSD-00098057:1, Author = {{\underline{Nazarenko}}, Adeline and {\underline{\underline{A\"{\i}t El Mekki}}}, Touria}, Title = {Une mesure de pertinence pour le tri de l'information dans un index de fin de livre }, BookTitle = {{A}ctes de la 11{\`e}me conf{\'e}rence sur le {T}raitement {A}utomatique des {L}angues {N}aturelles {T}{A}{L}{N}'2004 }, Pages = {1--10 }, Publisher = {ATALA }, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] }, keywords = {Extraction de termes ; segmentation th\'{e}matique de texte ; extraction d'information }, language = {Fran\c{c}ais }, lipn-category = {autc}, url = {http://hal.ccsd.cnrs.fr/ccsd-00098057/en/}, year = 2004 } @InProceedings{Kadri-Dahmani:2006dl, Author = {Dahmani, Hakima Kadri and {\underline{Duchamp}}, G\'erard and Ghnemat, Rawan and Kacem, Hatem Hadj and Bertelle, Cyril}, Title = {Emerging Decision Support Systems for Geographical Informations Systems}, BookTitle = {ICELM2}, date-modified = {2006-09-12 20:49:31 +0200}, lipn-category = {intc}, location = {Romania}, year = 2006 } @InProceedings{ROGOVSCHI:2007:HAL-00155373:1, Author = {{\underline{\underline{Rogovschi}}}, Nicoleta and {\underline{Bennani}}, Youn\`es and {\underline{Recanati}}, Catherine}, Title = {{A}pprentissage neuro-markovien pour la classification non supervis{\'e}e de donn{\'e}es structur{\'e}es en s{\'e}quences}, BookTitle = {{A}ctes de {E}xtraction et {G}estion des {C}onnaissances ({E}{G}{C}'07)}, Series = {{A}telier <<~{F}ouille de donn{\'e}es et algorithmes biomim{\'e}tiques~>> }, Pages = {49--60 }, Address = {{N}amur, {B}elgique }, Publisher = {{C}{\'e}padu{\`e}s {E}ditions }, affiliation = {{L}aboratoire d'informatique de {P}aris-nord [{L}{I}{P}{N}] }, keywords = {fouille de donn{\'e}es; algorithmes bio-mim{\'e}tiques;}, language = {{F}ran{\c{c}}ais}, lipn-category = {autc}, month = {Jan.}, url = {http://hal.archives-ouvertes.fr/hal-00155373/en/}, year = 2007 } @InBook{moungla2006, Author = {{\underline{\underline{Moungla}}}, Hassine}, Title = {L'Auto-configuration dans la gestion autonome}, Publisher = hermes, booktitle = {l'Autonomic communication}, date-added = {2006-09-25 21:58:42 +0200}, date-modified = {2006-09-25 22:20:16 +0200}, lipn-category = {chap}, location = {Paris, France}, year = 2006 } @InProceedings{Jrad06, Author = {{\underline{\underline{Jrad}}}, Zeina and {\underline{Krief}}, Francine and Hammi, Rim}, Title = {Video applications quality improvement in wireless systems : {QoS} negotiation and rate control}, BookTitle = {International Conference on Digital Telecommunications ICDT'06}, Address = {France}, date-added = {2006-09-18 19:53:48 +0200}, date-modified = {2006-10-13 22:33:44 +0200}, lipn-category = {intc}, month = sep, year = 2006 } @InProceedings{Zehraoui:2004xc, Author = {{\underline{\underline{Zehraoui}}}, Farida and {\underline{Bennani}}, Youn\`es}, Title = {{SOM-ART} : Incorporation des propri{\'e}t{\'e}s de plasticit{\'e} et de stabilit{\'e} dans une carte auto-organisatrice}, BookTitle = {Atelier FDC : Fouille de Donn{\'e}es Complexes dans un processus d'extraction de connaissances (EGC 2004)}, Pages = {169--180}, date-modified = {2006-09-12 20:49:31 +0200}, lipn-category = {autc}, location = {Clermont-Ferrand, France}, month = jan, year = 2004 } @InProceedings{Jrad:2005mq, Author = {{\underline{\underline{Jrad}}}, Zeina and {\underline{Krief}}, Francine and {\underline{Gu\'erif}}, S\'ebastien}, Title = {Une Interface Utilisateur pour Faciliter l'Acc{\`e}s {\`a} l'Internet Nouvelle G{\'e}n{\'e}ration}, BookTitle = {Journ{\'e}es doctorales Informatique et R{\'e}seau (JDIR 2005)}, Address = {Troyes, France}, date-modified = {2006-09-12 20:49:31 +0200}, keywords = {assistance {\`a} l'utilisateur, interface intelligente, qualit{\'e} de service, apprentissage num{\'e}rique, syst{\`e}me multi-agent}, lipn-category = {autc}, month = dec, year = 2005 } @TechReport{ocad:KB06f, Author = {{\underline{\underline{Khemmoudj}}}, M. I. and {\underline{Bennaceur}}, H.}, Title = {Clique Based Lower Bounds for {Max-CSP}}, Institution = {Laboratoire d'informatique de Paris-Nord}, Type = {RR}, Number = {2006-02}, lipn-category = "rapl", year = 2006 } @InProceedings{Kadri-Dahmani:2004wa, Author = {Dahmani, Hakima Kadri and {\underline{Osmani}}, Aomar}, Title = {How to Update Databases in a Consistent Way ?}, BookTitle = {UDMS 2004 : 24th Urban Data Management Symposium}, date-modified = {2006-09-12 20:49:31 +0200}, lipn-category = {intc}, location = {Italy}, year = 2004 } @Article{NAZARENKO:2005:CCSD-00098030:1, Author = {{\underline{Nazarenko}}, Adeline and {\underline{\underline{A\"{\i}t El Mekki}}}, Touria}, Title = {Building back-of-the-book indexes }, Journal = {Terminology }, Volume = {11(1) }, Pages = {193--218 }, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] }, keywords = {Terminology ; indexing ; natural language processing ;back-of-the book index }, language = {Anglais }, lipn-category = {jour}, url = {http://hal.ccsd.cnrs.fr/ccsd-00098030/en/}, year = 2005 } @InProceedings{Jrad:2006ri, Author = {{\underline{\underline{Jrad}}}, Zeina and {\underline{Krief}}, Francine and {\underline{\underline{Dehni}}}, Lahc\`ene and {\underline{Bennani}}, Youn\`es}, Title = {Artificial {I}ntelligence techniques in the dynamic negotiation of {Q}o{S}: {A} user interface for the {I}nternet {N}ew {G}eneration}, BookTitle = {International {F}ederation for {I}nformation {P}rocessing ({IFIP}) {TC}6 {C}onference {S}martnet in {A}utonomic {N}etworking}, date-added = {2006-09-04 15:29:58 +0200}, date-modified = {2006-09-12 20:49:31 +0200}, lipn-category = {intc}, location = {Paris, France}, month = sep, year = 2006 } @Misc{ZEHRAOUI04:TH, Author = {{\underline{\underline{Zehraoui}}}, Farida}, Title = {Systèmes d'apprentissage connexionniste et raisonnement à partir de cas pour la classification et le classement des séquences}, Note = {Doctorat}, lipn-category = {thes}, school = {LIPN - Laboratoire d'informatique de Paris-nord}, year = 2004 } @InProceedings{KAYSER:2004:CCSD-00085148:1, Author = {{\underline{Kayser}}, Daniel and {\underline{\underline{Nouioua}}}, Farid}, Title = {About Norms and Causes }, BookTitle = {The 17th Florida Artificial Intelligence Research Society Conference (FLAIRS'04)}, Editor = {Barr, Valerie and Markov, Zadravko}, Pages = {502--507 }, Publisher = {AAAI Press }, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] }, language = {Anglais }, lipn-category = {intc}, url = {http://hal.ccsd.cnrs.fr/ccsd-00085148/en/}, year = 2004 } @TechReport{ocad:LTN06, Author = {{\underline{\underline{Laval}}}, Olivier and {\underline{Toulouse}}, Sophie and {\underline{Nagih}}, Anass}, Title = {{R}apport de recherche sur le probl{\`e}me du plus court chemin contraint}, Institution = {LIPN - CNRS UMR 7030 - Universit\'e Paris Nord}, Type = {RR}, Number = {2006-05}, lipn-category = {rapl}, year = 2006 } @InProceedings{Zehraoui:2004qb, Author = {{\underline{\underline{Zehraoui}}}, Farida and {\underline{Bennani}}, Youn\`es}, Title = {{M-SOM-ART}: Growing Self Organizing Map for sequence clustering and classification}, BookTitle = {ECAI'04, European Conference on Artificial Intelligence}, date-modified = {2006-09-12 20:49:31 +0200}, lipn-category = {intc}, location = {Valencia, Spain}, year = 2004 } @InBook{Jrad:2005jh, Author = {{\underline{\underline{Jrad}}}, Zeina}, Title = {Les Plates-formes Multi-agents}, Publisher = hermes, booktitle = {Intelligence artificielle et r{\'e}seaux}, date-modified = {2006-09-12 20:49:31 +0200}, lipn-category = {chap}, location = {Paris, France}, year = 2005 } @InProceedings{ALPHONSE:2004:CCSD-00098054:1, Author = {{\underline{Alphonse}}, Erick and Aubin, Sophie and Bessi\`eres, Philippe and Bisson, Gilles and {\underline{Hamon}}, Thierry and Lagarrigue, Sandrine and Manine, Alain-Pierre and {\underline{Nazarenko}}, Adeline and N\'edellec, Claire and Ould Abdel Vetah, Mohamed and {\underline{Poibeau}}, Thierry and {\underline{\underline{Weissenbacher}}}, Davy}, Title = {Extraction d'information appliqu\'{e}e au domaine biom\'{e}dical: apprentissage et traitement automatique de la langue }, BookTitle = {Actes de la Conf\'{e}rence Internationale sur la Fouille de textes (CIFT'04) }, Pages = {7--19 }, Address = {La Rochelle, France }, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] - Unit\'{e} Math\'{e}matique Informatique et G\'{e}nome [MIG] - Laboratoire Leibniz [Leibniz - IMAG] - Laboratoire de g\'{e}n\'{e}tique animale [INRA-ENSAR] }, keywords = {Extraction d'information ; fouille de texte ; apprentissage }, language = {Fran\c{c}ais }, lipn-category = {autc}, url = {http://hal.ccsd.cnrs.fr/ccsd-00098054/en/}, year = 2004 } @InProceedings{KBDO, Author = {{\underline{\underline{Kadri-Dahmani}}}, H. and Bertelle, C. and {\underline{Duchamp}}, G. H.E. and {\underline{Osmani}}, A.}, Title = {Evolutive Complex Scheduling in Interaction Networks for Quality Improvment in Geographical Data Base Updating}, BookTitle = {Proc. of the 12th IEEE International Conference on Electronics, Circuits and Systems}, Editor = {Noureddine Boudriga and Mohammad S. Obaidat}, Volume = {}, Series = {}, Pages = {}, Address = {Gammarth, Tunisia}, Publisher = {IoP}, lipn-category = "intc", optannote = {}, optcrossref = {}, optkey = {}, optmonth = {}, optnote = {}, optnumber = {}, optorganization = {}, year = 2005 } @InProceedings{guerif:2007:eann, Author = {{\underline{Gu\'erif}}, S\'ebastien and {\underline{Bennani}}, Youn\`es}, Title = {{D}imensionality {R}eduction {T}hrough {U}nsupervised {F}eatures {S}election}, BookTitle = {Proceedings of the 10th {I}nternational {C}onference on {E}ngineering {A}pplications of {N}eural {N}etworks ({E}{A}{N}{N} 2007)}, Pages = {98--106}, Address = {Thessaloniki, Greece}, Publisher = {Publishing Centre Alexander {T}.{E}.{I}. of {T}hessaloniki}, editors = {Margaritis, Konstantios and Iliadis, Lazaros}, language = {english}, lipn-category = {intc}, location = {Thessaloniki, Greece}, month = {aug}, size = {146 kB}, url = {http://www-lipn.univ-paris13.fr/~guerif/papers/guerif2007eann.pdf}, year = 2007 } @InProceedings{RECANATI:2007:HAL-00160804:1, Author = {{\underline{Recanati}}, Catherine and {\underline{\underline{Rogovschi}}}, Nicoleta and {\underline{Bennani}}, Youn\`es}, Title = {{T}he structure of verbal sequences analyzed with unsupervised learning techniques}, BookTitle = lt07, Address = {Pozna{\'n}, Poland}, affiliation = {{L}aboratoire d'informatique de {P}aris-nord [{L}{I}{P}{N}] }, keywords = {{T}ime and aspect; discourse semantics; {N}atural language processing; text typology; data mining; unsupervised learning}, language = {{A}nglais}, lipn-category = {intc}, lipn-status = "apar", month = {Oct.}, url = {http://hal.archives-ouvertes.fr/hal-00160804/en/}, year = 2007 } @Misc{ocad:KPB05, Author = {{\underline{\underline{Khemmoudj}}}, M. I. and Porcheron, M.}, Title = {Using Constraint Programming and Local Search for Scheduling of EDF Nuclear Power Plant Outages}, HowPublished = {1st International Workshop on Combination of metaheuristic and local search with Constraint Programming}, Note = {(Poster)}, address = {Nantes, France}, lipn-category = {autc}, year = 2005 } @InBook{Moungla:2005yi, Author = {{\underline{\underline{Moungla}}}, Hassine}, Title = {L'Intelligence artificielle et la supervision des r{\'e}seaux de t{\'e}l{\'e}communication}, Publisher = hermes, booktitle = {Intelligence artificielle et r{\'e}seaux}, date-modified = {2006-09-12 20:49:31 +0200}, lipn-category = {chap}, location = {Paris, France}, year = 2005 } @InProceedings{NOUIOUA:2006:CCSD-00085158:1, Author = {{\underline{\underline{Nouioua}}}, Farid and Nicolas, Pascal}, Title = {Using Answer Set Programming in an Inference-Based approach to Natural Language Semantics }, BookTitle = {Inference in Computational Semantics ICoS-5 }, Editor = {Johan Bos, Alexander Koller }, Pages = {77--86 }, Address = {Buxton, France}, affiliation = {Laboratoire d'informatique de Paris-nord [LIPN] - Laboratoire d'Etude et de Recherche en Informatique d'Angers [LERIA] }, language = {Anglais }, lipn-category = {autc}, url = {http://hal.ccsd.cnrs.fr/ccsd-00085158/en/}, year = 2006 } @InProceedings{ocad:TLN07, Author = {{\underline{\underline{Touati}}}, Nora and {\underline{L\'etocart}}, Lucas and {\underline{Nagih}}, Anass}, Title = " Diversification des solutions et r\'eoptimisation pour la r\'esolution de probl\`emes de plus court chemin avec contraintes de ressources dans un sch\'ema de g\'en\'eration de colonnes", BookTitle = "{R}{O}{A}{D}{E}{F} 2007", Pages = {419--420}, Address = "Grenoble, France", lipn-category = "autc", year = 2007 } @InProceedings{ocad:BuFiHa07, Author = {{\underline{Butelle}}, Franck and {\underline{Finta}}, Lucian and {\underline{\underline{Hakem}}}, Mourad}, Title = {Real-Time Distributed Scheduling of Precedence Graphs on Arbitrary Wide Networks}, BookTitle = {Proceedings of the 21st IEEE International Parallel and Distributed Processing Symposium International Parallel and Distributed Processing Symposium}, Pages = {220 (article sur CDROM)}, Publisher = {IEEE Computer Society}, lipn-category = "intc", year = 2007 } @InProceedings{BOUFFIER:2007:HAL-00174858:1, Author = {{\underline{\underline{Bouffier}}}, Amanda}, Title = { {F}rom {T}exts to {S}tructured {D}ocuments: {T}he {C}ase of {H}ealth {P}ractice {G}uidelines}, BookTitle = { {P}roceedings of the 6th {I}nternational {S}emantic {W}eb {C}onference ({ISWC} 2007)}, Address = {South Korea}, affiliation = {{L}aboratoire d'informatique de {P}aris-nord [{LIPN}] }, language = {{A}nglais}, lipn-category = {intc}, lipn-status = "apar", month = {Nov.}, year = 2007 } @InProceedings{ocad:MAGQNAP05, Author = {Marcos, Nicolas and Almeida, David De and Gauyacq, Daniel and Quivet, Alexandre and {\underline{Nagih}}, Anass and {\underline{Alfandari}}, Laurent and {\underline{Plateau}}, G\'erard}, Title = "Un outil g\'en\'erique d'aide \`a la d\'ecision pour la gestion des locomotives fret \`a la {SNCF}", BookTitle = "6e congr\`es de la Soci\'et\'e Fran\c caise de Recherche Op\'erationnelle et d'Aide \`a la D\'ecision", Pages = "295-312", Address = "Tours", lipn-category = "autc", year = 2005 } @Article{ocad:BuFiHa07b, Author = {{\underline{Butelle}}, Franck and {\underline{Finta}}, Lucian and {\underline{\underline{Hakem}}}, Mourad}, Title = {Network Size Independent Distributed Scheduling of Dependant Real-Time Tasks}, Journal = ijfcs, lipn-category = "soum", year = 2007 } @InProceedings{Pauchet:2005qm, Author = {{\underline{\underline{Pauchet}}}, Alexandre and Chaignaud, Nathalie and Fallah-Seghrouchni, Amal El}, Title = {A Cognitive Model of Interaction for Software Agents}, BookTitle = {IEEE IAT - International Conference on Intelligent Agent Technology}, Pages = {281--284}, date-modified = {2006-09-12 20:49:31 +0200}, lipn-category = {intc}, month = sep, year = 2005 }