News
Campus Event Calendar: Joachim Niehren ( in E )
domino.mpi-inf.mpg.de
Abstract. In the first part, we discuss the W3C standard query language XPath 2.0 for completeness with respect to first-order logic. We continue ...
4th Int. Workshop on Trends in Tree Automata and Tree Transducers...
www.ims.uni-stuttgart.de
Website der Universität Stuttgart
LICS - Index of Papers and Short Presentations by Authors : N
www.lfcs.inf.ed.ac.uk
Joachim Niehren. Paper: Martin Müller Joachim Niehren Ralf Treinen The First-Order Theory of Ordering Constraints over Feature Trees (LICS 1998) More ...
Programme section
rewriting.loria.fr
Manuel Bodirsky, Katrin Erk, Alexander Kroller, Joachim Niehren , Coffee break , Session 2 (chair: Claude Kirchner). The Unification ...
Netzwerk-Profile
LinkedIn: Joachim Niehren | LinkedIn
Joachim Niehrens berufliches Profil anzeigen LinkedIn ist das weltweit größte berufliche Netzwerk, das Fach- und Führungskräften wie Joachim Niehren dabei ...
LinkedIn: Joachim Niehren - researcher - inria - LinkedIn
› joachim-ni...
LinkedIn: Joachim Niehren - Senior Researcher - INRIA Lille - Nord LinkedIn
communauté professionnelle au monde. Joachim indique 3 postes sur son profil.
Consultez ...
Interessen
Markus Egg, Alexander Koller & Joachim Niehren, The constraint...
philpapers.org
This paper presents the Constraint Language for Lambda Structures(CLLS), a first-order language for semantic underspecification thatconservatively extends ...
Business-Profile
Niehren, Joachim - IdRef
www.idref.fr
— Appartenance approchée à un langage de mots ou d'arbres / par Antoine Mbaye Ndione ; sous la direction de Joachim Niehren et la co-direction ... › ...
Firmen-Mitarbeiter
Joachim Niehren | IIIA CSICweb.iiia.csic.es › staff › joachim-niehren
web.iiia.csic.es
Jordi Levy, Joachim Niehren, Mateu Villaret; Well-Nested Context Unification. Lecture Notes in Artificial Intelligence;
Herkunft
Joachim Niehren - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
According to our current on-line database, Joachim Niehren has 1 student and 1 descendant. We welcome any additional information. If you have additional ...
Bücher
authors:"Joachim Niehren" - Search | Paperity
paperity.org
Paperity: the 1st multidisciplinary aggregator of Open Access journals & papers. Free fulltext PDF articles from hundreds of disciplines, all in one place
Publications Master Template, generated: 5:05, 16 December 2019
halma.mpi-inf.mpg.de
Martin Müller, Joachim Niehren, and Andreas Podelski Ordering Constraints over Feature Trees In: ...
Computer Science Logic: 15th International Workshop, CSL th...
books.google.de
Math. USSR Sbornik, 32(2):129–198, Joachim Niehren, Manfred Pinkal, and P. Ruhrberg. On equality up-to constraints over finite trees, context unification ...
Developments in Language Theory: 14th International Conference, DLT...
books.google.de
... Sophie Tison Zoltan Fulop Joachim Niehren Pascal Weil Julia Gamzova Igor Nitto Philipp Weis Blaise Genest Damian Niwinski Marc Zeitoun Daniela Genova ...
Dokumente zum Namen
[ ] Deterministic Automata for Unordered Trees
arxiv.org
Links (Inria Lille & LIFL, UMR CNRS 8022), France), Joachim Niehren (Inria. Links (Inria Lille & LIFL, UMR CNRS 8022), France), Ralf Treinen ...
Constraints over Lambda-Structures in semantic ...
dl.acm.org
von M Egg · · Zitiert von: 78 — Markus Egg · Joachim Niehren · Peter Ruhrberg · Feiyu Xu. › doi
[cmp-lg ] Weak subsumption Constraints for Type Diagnosisarxiv.org › cmp-lg
arxiv.org
Authors:Martin Mueller, Joachim Niehren (German Research Center for Artificial Intelligence (DFKI), Saarbr"ucken, mmueller).
DMTCS vol 4 no 2 (2001), pp EMIS
www.emis.de
von M Müller · · Zitiert von: 36 — author: Martin Müller and Joachim Niehren and Ralf Treinen. title: The first-order theory of ordering constraints over feature trees. › abstracts › d...
Wissenschaftliche Veröffentlichungen
Queries on Xml streams with bounded delay and concurrency
www.sciencedirect.com
von O Gauwin · · Zitiert von: 23 — Olivier Gauwin, Joachim Niehren, Sophie Tison, Earliest query answering for deterministic nested word automata, in: 17th International Symposium on Fundamentals ... von J Champavère · · Zitiert von: 22 — ... checking for deterministic tree automata and XML Schemas. Author links open overlay panelJérômeChampavère RémiGilleronAurélienLemayJoachimNiehren. › pii
Invited Speakers
www.informatik.uni-giessen.de
Joachim Niehren (INRIA Lille Nord Europe, France) Streaming Tree Automata and XPath. Streaming algorithms for query answering are of prime interest to XML database ...
Spring School 2019
lat.inf.tu-dresden.de
— Joachim Niehren: Querying Complex Event Streams, Joachim Niehren: Efficient Aggregation for Database Queries, Christel Baier: › quantla
Veröffentlichungen allgemein
Biochemical Reaction Rules with Constraints | SpringerLink
link.springer.com
Facultad de Informatica (UPM), IMDEA Software. Authors. Mathias John (17) (18); Cédric Lhoussaine (17) (18); Joachim Niehren (17) (19); Cristian Versari (20).
Minimizing Tree Automata for Unranked Trees | SpringerLink
link.springer.com
von W Martens · · Zitiert von: 34 — Wim Martens &; Joachim Niehren. Conference paper Accesses. 18 Citations. Part of the Lecture Notes in Computer Science book series (LNISA,volume 3774) ... › chapter
Processing Underspecified Semantic Representations in the Constraint...
link.springer.com
... Semantic Representations in the Constraint Language for Lambda Structures. Authors; Authors and affiliations. Katrin Erk; Alexander Koller; Joachim Niehren.
Artikel & Meinungen
Schloss Dagstuhl : Seminar Homepage
www.dagstuhl.de
Next was a sequence of talks about streaming, by Joachim Niehren, Pavel Labath, and Keisuke Nakano. They discussed practical aspects of early query answering, streaming of macro tree transducers using parallel streams, …
DBWorld Message
research.cs.wisc.edu
The thesis director is Joachim Niehren. * LINKS The Links research team https://team.inria.fr/links/ The CRIStAL research lab http://www.cristal.univ-lille.fr/ Inria ...
Schloss Dagstuhl : Participant List
www.dagstuhl.de
... Keisuke Nakano (The University of Electro-Communications – Tokyo, JP) [dblp] · Joachim Niehren (INRIA Lille, FR) [dblp] · Chih-Hao Luke ...
Sonstiges
Joachim Niehren | LinkedIn
www.linkedin.com
View Joachim Niehren's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Joachim Niehren discover ...
Joachim Niehren - Google Scholar Citations
scholar.google.de
Nieuwe artikelen volgen. Nieuwe citaties volgen. Melding maken. Annuleren. Joachim Niehren. INRIA Lille. Geverifieerd e-mailadres voor inria.fr - Startpagina.
Feiyu Xu - Google Scholar
scholar.google.de
Senior Vice President, Global Head of Artificial Intelligence, SAP - Cited by - natural language processing - artificial intelligence -...
Alexander Koller - Google Scholar Citations
scholar.google.com
Co-authorsView all… Joachim Niehren,; Konstantina Garoufi,; Jon Oberlander,; Marco Kuhlmann,; Johanna Moore,; Robert Dale,; Justine Cassell,; Kurt ...
Feiyu Xu - Google Scholar Citations
scholar.google.de
... Ilhan Aslan,; Jörg Steffen,; Roberto Navigli,; Andrea Moro,; Joachim Niehren,; Stefan Müller,; Bernd Kiefer,; Rui Wang,; Antonio Krüger,; Dirk Weissenborn ...
Marc Tommasi - Citations Google Scholar
scholar.google.ch
CoauteursTout afficher… Rémi Gilleron,; Isabelle Tellier,; Hubert Comon-Lundh,; Joachim Niehren,; Slawek Staworko,; Fabien Torre,; Pierre Senellart,; Anne ...
June 7th, 2008TAG+91 Binding Theory in LTAG Lucas Champollion...
slideplayer.com
June 7th, TAG+9 3 Binding theory: A reminder Condition A: reflexives must be locally bound John j thinks [ Bill b likes himself *j / b / *[other] ]...
Mohamed ZERGAOUI - Google Scholar Citations
scholar.google.co.uk
Co-authorsView all… Joachim Niehren,; Cyril Concolato,; Nabil Layaïda,; Angela Bonifati,; Priscilla Walmsley,; Kim Nguyen,; Jakub Malý ...
Mateu Villaret Auselle - Citazioni di Google Scholar
scholar.google.it
CoautoriVisualizza tutti… Jordi Levy,; Miquel Bofill Arasa,; Carlos Ansótegui,; Manfred Schmidt-Schauß,; Joachim Niehren,; Dídac Busquets,; Federico Barber ...
Sławek Staworko - Google Scholar
scholar.google.ch
Associate Professor, University of Lille - Cited by - Databases - Consistent Query Answers - RDF - Machine Learning
Slawek Staworko - Google Scholar Citations
scholar.google.nl
MedeauteursAlle weergeven… Jan Chomicki,; Jerzy Marcinkowski,; Iovka Boneva,; Joachim Niehren,; Marc Tommasi,; Angela Bonifati,; Sebastian Maneth, ...
Joachim Niehren
easychair.org
Joachim Niehren. Organization: INRIA Lille. Web site: http://researchers.lille.inria. fr/~niehren. Pages in this Program. Program · Program for Sunday, July 13th, ...
Joachim Niehren, Jérôme Champavère, Aurélien Lemay ...
www.jmlr.org
Query Induction with Schema-Guided Pruning Strategies. Joachim Niehren, Jérôme Champavère, Aurélien Lemay, Rémi Gilleron; 14(Apr):927−964,
Joachim Niehren
mozart2.org
type, : contact. id, : mogul:/niehren/joachim. section, : mogul:/niehren. name, : Joachim Niehren. email, : -sb.de.
sortiert nach Relevanz / Datum