Iovka Boneva
Iovka Boneva
Associate professor in Computer Science, University of Lille
Bestätigte E-Mail-Adresse bei univ-lille1.fr
TitelZitiert vonJahr
Generation of Sierpinski triangles: A case study for graph transformation tools
G Taentzer, E Biermann, D Bisztray, B Bohnet, I Boneva, A Boronat, ...
International Symposium on Applications of Graph Transformations with …, 2007
442007
Complexity and Expressiveness of ShEx for RDF
S Staworko, I Boneva, JE Labra Gayo, S Hym, EG Prud'hommeaux, ...
18th International Conference on Database Theory (ICDT 2015), 2015
372015
A modal-logic based graph abstraction
J Bauer, I Boneva, ME Kurbán, A Rensink
International Conference on Graph Transformation, 321-335, 2008
332008
User manual for the groove tool set
A Rensink, I Boneva, H Kastenberg, T Staijen
Department of Computer Science, University of Twente, The Netherlands, 2010
292010
Automata and logics for unranked and unordered trees
I Boneva, JM Talbot
International Conference on Rewriting Techniques and Applications, 500-515, 2005
292005
Validating RDF with shape expressions
I Boneva, JEL Gayo, S Hym, EG Prud’hommeau, HR Solbrig, S Staworko
CoRR, abs/1404.1270, 2014
242014
Semantics and validation of shapes schemas for RDF
I Boneva, JEL Gayo, EG Prud’hommeaux
International Semantic Web Conference, 104-120, 2017
232017
Simple schemas for unordered XML
I Boneva, R Ciucanu, S Staworko
arXiv preprint arXiv:1303.4277, 2013
232013
Simple schemas for unordered XML
I Boneva, R Ciucanu, S Staworko
arXiv preprint arXiv:1303.4277, 2013
232013
When ambients cannot be opened
I Boneva, JM Talbot
Theoretical Computer Science 333 (1-2), 127-169, 2005
162005
Validating RDF data
JEL Gayo, E Prud'Hommeaux, I Boneva, D Kontokostas
Synthesis Lectures on Semantic Web: Theory and Technology 7 (1), 1-328, 2017
142017
Graph abstraction and abstract graph transformation
I Boneva, A Rensink, ME Kurban, J Bauer
CTIT Technical Report Series, 2007
142007
Expressiveness of spatial logic for trees
I Boneva, JM Talbot, S Tison
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 280-289, 2005
142005
When ambients cannot be opened
I Boneva, JM Talbot
International Conference on Foundations of Software Science and Computation …, 2003
142003
Simulating multigraph transformations using simple graphs
I Boneva, F Hermann, H Kastenberg, A Rensink
Electronic Communications of the EASST 6, 2007
132007
Schemas for unordered XML on a DIME
I Boneva, R Ciucanu, S Staworko
Theory of Computing Systems 57 (2), 337-376, 2015
112015
Graph data exchange with target constraints
I Boneva, A Bonifati, R Ciucanu
112015
Graph data exchange with target constraints
I Boneva, A Bonifati, R Ciucanu
112015
Towards an RDF Validation Language Based on Regular Expression Derivatives.
JEL Gayo, E Prud'hommeaux, I Boneva, S Staworko, HR Solbrig, S Hym
EDBT/ICDT Workshops, 197-204, 2015
92015
Graph abstraction and abstract graph transformations (amended version)
I Boneva, J Kreiker, M Kurbán, A Rensink, E Zambon
University of Twente, 2012
92012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20