Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(54)
Grzegorz Rozenberg
25
Hendrik Jan Hoogeboom
14
George Leih
12
Sebastian Maneth
11
Heiko Vogler
11
Conferences
(16)
ICALP
8
GG
7
Birthday ...
4
DLT
3
AC
2
Journals
(19)
JCSS
25
ACTA
18
TCS
15
IANDC
13
IPL
8
Keywords
(90)
Embed
Subscribe
Academic
Authors
Joost Engelfriet
Joost Engelfriet,Leiden University,Algorithms & Theory,Scientific Computing,Data Mining
Edit
Joost Engelfriet
Leiden University
Publications:
168
|
Citations:
2518
Fields:
Algorithms & Theory
,
Scientific Computing
,
Data Mining
View FAQ about top research areas and Fields of study
Collaborated with
54 co-authors
from 1972 to 2009
|
Cited by
1151 authors
Cumulative
Annual
Sort by:
Publications
(168)
BibTeX
|
RIS
|
RefWorks
Download
Deciding equivalence of top-down XML transformations in polynomial time
(
Citations: 6
)
Joost Engelfriet
,
Sebastian Maneth
,
Helmut Seidl
Journal:
Journal of Computer and System Sciences - JCSS
, vol. 75, no. 5, pp. 271-286, 2009
The time complexity of typechecking tree-walking tree transducers
(
Citations: 3
)
Joost Engelfriet
Journal:
Acta Informatica - ACTA
, vol. 46, no. 2, pp. 139-154, 2009
Extended multi bottom-up tree transducers
Joost Engelfriet
,
Eric Lilin
,
Andreas Maletti
Journal:
Acta Informatica - ACTA
, vol. 46, no. 8, pp. 561-590, 2009
Extended Multi Bottom-Up Tree Transducers
(
Citations: 5
)
Joost Engelfriet
,
Eric Lilin
,
Andreas Maletti
Conference:
Developments in Language Theory - DLT
, pp. 289-300, 2008
Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure
(
Citations: 9
)
Joost Engelfriet
,
Hendrik Jan Hoogeboom
,
Wolfgang Thomas
Journal:
Logical Methods in Computer Science - LMCS
, vol. abs/cs/070, no. 2, 2007
Sort by:
Citations
(2518 times by 1310 publications)
Symbolic finite state transducers: algorithms and applications
(
Citations: 1
)
Margus Veanes
,
Pieter Hooimeijer
,
Benjamin Livshits
,
David Molnar
,
Nikolaj Bjorner
Journal:
Sigplan Notices - SIGPLAN
, pp. 137-150, 2012
On the String Translations Produced by Multi Bottom–Up Tree Transducers
Daniel Gildea
Journal:
Computational Linguistics - COLI
, vol. 38, no. 3, pp. 673-693, 2012
Streaming transducers for algorithmic verification of single-pass list-processing programs
(
Citations: 5
)
Rajeev Alur
,
Pavol Černý
Journal:
Sigplan Notices - SIGPLAN
, pp. 599-610, 2011
Fixpoint Logics over Hierarchical Structures
(
Citations: 4
)
Stefan Göller
,
Markus Lohrey
Journal:
Theory of Computing Systems / Mathematical Systems Theory - MST
, vol. 48, no. 1, pp. 93-131, 2011
Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation
(
Citations: 1
)
Thomas Martin Gawlitza
,
Peter Lammich
,
Markus Müller-Olm
,
Helmut Seidl
,
Alexander Wenner
Conference:
Verification, Model Checking and Abstract Interpretation - VMCAI
, pp. 199-213, 2011
Comments