Implementation and application of automata: 16th international conference, CIAA 2011, Blois, France, July 13 - 16, 2011 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2011
|
| Schriftenreihe: | Lecture notes in computer science
6807 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XIII, 298 S. Ill., graph. Darst. 24 cm |
| ISBN: | 9783642222559 3642222552 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039142973 | ||
| 003 | DE-604 | ||
| 005 | 20111115 | ||
| 007 | t| | ||
| 008 | 110718s2011 xx ad|| |||| 10||| eng d | ||
| 015 | |a 11,N23 |2 dnb | ||
| 016 | 7 | |a 1012462927 |2 DE-101 | |
| 020 | |a 9783642222559 |c kart. : ca. EUR 57.78 (DE) (freier Pr.), ca. sfr 77.50 (freier Pr.) |9 978-3-642-22255-9 | ||
| 020 | |a 3642222552 |9 3-642-22255-2 | ||
| 024 | 3 | |a 9783642222559 | |
| 028 | 5 | 2 | |a Best.-Nr.: 80073470 |
| 035 | |a (OCoLC)745512792 | ||
| 035 | |a (DE-599)DNB1012462927 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-11 |a DE-83 |a DE-91G | ||
| 082 | 0 | |a 006.3 |2 22/ger | |
| 082 | 0 | |a 004.0151 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 550f |2 stub | ||
| 245 | 1 | 0 | |a Implementation and application of automata |b 16th international conference, CIAA 2011, Blois, France, July 13 - 16, 2011 ; proceedings |c Béatrice Bouchou-Markhoff ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a XIII, 298 S. |b Ill., graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6807 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automat |g Automatentheorie |0 (DE-588)4831958-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2011 |z Blois |2 gnd-content | |
| 689 | 0 | 0 | |a Automat |g Automatentheorie |0 (DE-588)4831958-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Bouchou-Markhoff, Béatrice |e Sonstige |4 oth | |
| 711 | 2 | |a CIAA |n 16 |d 2011 |c Blois |j Sonstige |0 (DE-588)16164587-2 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6807 |w (DE-604)BV000000607 |9 6807 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3835664&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024160976&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024160976 | |
Datensatz im Suchindex
| _version_ | 1820875333759401984 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
INVITED LECTURES
DERICK WOOD: ALWAYS IN OUR HEARTS 1
SHENG YU
STREAMABLE FRAGMENTS OF FORWARD XPATH 3
OLIVIER GAUUNN AND JOACHIM NIEHREN
GAINING POWER BY INPUT OPERATIONS: FINITE AUTOMATA AND BEYOND 16 MARKUS
HOLZER AND MARTIN KUTRIB
TECHNICAL CONTRIBUTIONS
WEAK INCLUSION FOR XML TYPES 30
JOSHUA AMAVI, JACQUES CHABIN, MIRIAN HALFELD FERRARI, AND PIERRE RETY
CATEGORIAL GRAMMARS WITH ITERATED TYPES FORM A STRICT HIERARCHY OF
K-VALUED LANGUAGES 42
DENIS BECHET, ALEXANDRE DIKOVSKY, AND ANNIE FORET
BOUMA2 - A HIGH-PERFORMANCE INPUT-AWARE MULTIPLE STRING-MATCH ALGORITHM
53
EREZ BUCHNIK
RANDOM GENERATION OF DETERMINISTIC ACYCLIC AUTOMATA USING MARKOV CHAINS
65
VINCENT CAMINO AND SVEN DE FELICE
VARIABLE AND CLAUSE ORDERING IN AN FSA APPROACH TO PROPOSITIONAL
SATISFIABILITY 76
JOSE M. CASTANO AND RODRIGO CASTANO
NONDETERMINISTIC MOORE AUTOMATA AND BRZOZOWSKI'S ALGORITHM 88 GIUSI
CASTIGLIONE, ANTONIO RESTIVO, AND MARINELLA SCIORTINO
BUILDING PHYLOGENY WITH MINIMAL ABSENT WORDS 100
SUPAPORN CHAIRUNGSEE AND MAXIME CROCHEMORE
ON THE HARDNESS OF PRIORITY SYNTHESIS 110
CHIH-HONG CHENG, BARBARA JOBSTMANN, CHRISTIAN BUCKL, AND ALOIS KNOLL
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1012462927
DIGITALISIERT DURCH
IMAGE 2
XII TABLE OF CONTENTS
SMALLER REPRESENTATION OF FINITE STATE AUTOMATA 118
JAN DACIUK AND DAWID WEISS
COMPOSITIONAL FAILURE DETECTION IN STRUCTURED TRANSITION SYSTEMS 130
INGO FEISCHER AND WOLFGANG THOMAS
CHROBAK NORMAL FORM REVISITED, WITH APPLICATIONS 142
PAWEL GAWRYCHOWSKI
A CELLULAR AUTOMATON MODEL FOR CAR TRAFFIC WITH A FORM-ONE-LANE RULE 154
YO-SUB HAN AND SANG-KI KO
LOOPS AND OVER LOOPS FOR TREE WALKING AUTOMATA 166
PIERRE-CYRILLE HEAM, VINCENT HUGOT, AND OLGA KOUCHNARENKO
NONDETERMINISTIC STATE COMPLEXITY OF STAR-FREE LANGUAGES 178 MARKUS
HOLZER, MARTIN KUTRIB, AND KATJA MECKEL
ON THE CONTAINMENT AND EQUIVALENCE PROBLEMS FOR GSMS, TRANSDUCERS, AND
LINEAR CFGS 190
OSCAR H. IBARRA
COMPUTING ALL -COVER AUTOMATA FAST 203
ARTUR JEZ AND ANDREAS MALETTI
PRESET AND ADAPTIVE HOMING EXPERIMENTS FOR NONDETERMINISTIC FINITE STATE
MACHINES 215
NATALIA KUSHIK, KHALED EL-FAKIH, AND NINA YEVTUSHENKO
TOWARDS MORE EXPRESSIVE 2D DETERMINISTIC AUTOMATA 225
VIOLETTA LONATI AND MATTEO PRADELLA
COMPLEXITY OF PROBLEMS CONCERNING RESET WORDS FOR CYCLIC AND EULERIAN
AUTOMATA 238
PAVEL MARTYUGIN
DISTRIBUTED EVENT CLOCK AUTOMATA (EXTENDED ABSTRACT) 250
JAMES ORTIZ, AXEL LEGAY, AND PIERRE- YVES SCHOBBENS
SHORT PAPERS
FLY-AUTOMATA, THEIR PROPERTIES AND APPLICATIONS 264
BRUNO COURCELLE AND IRENE A. DURAND
TREE TEMPLATE MATCHING IN RANKED ORDERED TREES BY PUSHDOWN AUTOMATA 273
TOMAS FLOURI, JAN JANOUSEK, BOFIVOJ MELICHAR, COSTAS S. ILIOPOULOS, AND
SOLON P. PISSIS
IMAGE 3
TABLE OF CONTENTS XIII
INFORMATION EXTRACTION FROM SEMI-STRUCTURED RESOURCES: A TWO-PHASE
FINITE STATE TRANSDUCERS APPROACH 282
VESNA PAJIC, GORDANA PAVLOVIC LAZETIC, AND MILOS PAJIC
EXPERIMENTAL STUDY OF THE SHORTEST RESET WORD OF RANDOM AUTOMATA 290
EVGENY SKVORTSOV AND EVGENY TIPIKIN
AUTHOR INDEX 299 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV039142973 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 550f |
| ctrlnum | (OCoLC)745512792 (DE-599)DNB1012462927 |
| dewey-full | 006.3 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods 004 - Computer science |
| dewey-raw | 006.3 004.0151 |
| dewey-search | 006.3 004.0151 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV039142973</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111115</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">110718s2011 xx ad|| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N23</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1012462927</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642222559</subfield><subfield code="c">kart. : ca. EUR 57.78 (DE) (freier Pr.), ca. sfr 77.50 (freier Pr.)</subfield><subfield code="9">978-3-642-22255-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642222552</subfield><subfield code="9">3-642-22255-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642222559</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80073470</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)745512792</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1012462927</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 550f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Implementation and application of automata</subfield><subfield code="b">16th international conference, CIAA 2011, Blois, France, July 13 - 16, 2011 ; proceedings</subfield><subfield code="c">Béatrice Bouchou-Markhoff ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 298 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="c">24 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6807</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automat</subfield><subfield code="g">Automatentheorie</subfield><subfield code="0">(DE-588)4831958-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2011</subfield><subfield code="z">Blois</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Automat</subfield><subfield code="g">Automatentheorie</subfield><subfield code="0">(DE-588)4831958-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bouchou-Markhoff, Béatrice</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CIAA</subfield><subfield code="n">16</subfield><subfield code="d">2011</subfield><subfield code="c">Blois</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16164587-2</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6807</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6807</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3835664&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024160976&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024160976</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2011 Blois gnd-content |
| genre_facet | Konferenzschrift 2011 Blois |
| id | DE-604.BV039142973 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:13:58Z |
| institution | BVB |
| institution_GND | (DE-588)16164587-2 |
| isbn | 9783642222559 3642222552 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024160976 |
| oclc_num | 745512792 |
| open_access_boolean | |
| owner | DE-706 DE-11 DE-83 DE-91G DE-BY-TUM |
| owner_facet | DE-706 DE-11 DE-83 DE-91G DE-BY-TUM |
| physical | XIII, 298 S. Ill., graph. Darst. 24 cm |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Implementation and application of automata 16th international conference, CIAA 2011, Blois, France, July 13 - 16, 2011 ; proceedings Béatrice Bouchou-Markhoff ... (eds.) Berlin [u.a.] Springer 2011 XIII, 298 S. Ill., graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6807 Literaturangaben Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Automat Automatentheorie (DE-588)4831958-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Blois gnd-content Automat Automatentheorie (DE-588)4831958-2 s DE-604 Theoretische Informatik (DE-588)4196735-5 s Bouchou-Markhoff, Béatrice Sonstige oth CIAA 16 2011 Blois Sonstige (DE-588)16164587-2 oth Lecture notes in computer science 6807 (DE-604)BV000000607 6807 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3835664&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024160976&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Implementation and application of automata 16th international conference, CIAA 2011, Blois, France, July 13 - 16, 2011 ; proceedings Lecture notes in computer science Theoretische Informatik (DE-588)4196735-5 gnd Automat Automatentheorie (DE-588)4831958-2 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4831958-2 (DE-588)1071861417 |
| title | Implementation and application of automata 16th international conference, CIAA 2011, Blois, France, July 13 - 16, 2011 ; proceedings |
| title_auth | Implementation and application of automata 16th international conference, CIAA 2011, Blois, France, July 13 - 16, 2011 ; proceedings |
| title_exact_search | Implementation and application of automata 16th international conference, CIAA 2011, Blois, France, July 13 - 16, 2011 ; proceedings |
| title_full | Implementation and application of automata 16th international conference, CIAA 2011, Blois, France, July 13 - 16, 2011 ; proceedings Béatrice Bouchou-Markhoff ... (eds.) |
| title_fullStr | Implementation and application of automata 16th international conference, CIAA 2011, Blois, France, July 13 - 16, 2011 ; proceedings Béatrice Bouchou-Markhoff ... (eds.) |
| title_full_unstemmed | Implementation and application of automata 16th international conference, CIAA 2011, Blois, France, July 13 - 16, 2011 ; proceedings Béatrice Bouchou-Markhoff ... (eds.) |
| title_short | Implementation and application of automata |
| title_sort | implementation and application of automata 16th international conference ciaa 2011 blois france july 13 16 2011 proceedings |
| title_sub | 16th international conference, CIAA 2011, Blois, France, July 13 - 16, 2011 ; proceedings |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd Automat Automatentheorie (DE-588)4831958-2 gnd |
| topic_facet | Theoretische Informatik Automat Automatentheorie Konferenzschrift 2011 Blois |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3835664&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024160976&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT bouchoumarkhoffbeatrice implementationandapplicationofautomata16thinternationalconferenceciaa2011bloisfrancejuly13162011proceedings AT ciaablois implementationandapplicationofautomata16thinternationalconferenceciaa2011bloisfrancejuly13162011proceedings |