Domagoj - PDFSEARCH.IO - Document Search Engine

Domagoj
Results: 37

#	Item
11	XPath for DL-Lite Ontologies Egor V. Kostylev1 , Juan L. Reutter2 , and Domagoj Vrgoˇc3 1 3 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-06-04 02:51:55
12	Using variable automata for querying data graphs Domagoj Vrgoˇc University of Edinburgh and PUC Chile Vicuna Mackenna 4860, Edificio San Agustin, Macul, Santiago, Chile Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-11-24 19:08:19
13	Querying graphs with data Domagoj Vrgoˇc Doctor of Philosophy Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-05-01 15:17:56
14	Regular Expressions with Binding over Data Words for Querying Graph Databases Leonid Libkin1 , Tony Tan2 , and Domagoj Vrgoˇc3 1 2 Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Automata theory Applied mathematics Regular expression FO Structure Formal languages Mathematics Theoretical computer science
15	Regular Expressions for Data Words Leonid Libkin and Domagoj Vrgoˇc School of Informatics, University of Edinburgh Abstract. In data words, each position carries not only a letter form a finite alphabet, as the usual wo Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-04-04 06:54:58 Mathematics Combinatorics String Regular language Regular expression Symbol Ω-automaton Formal languages Automata theory Theoretical computer science
16	Regular Expressions with Binding over Data Words for Querying Graph Databases Leonid Libkin1 , Tony Tan2 , and Domagoj Vrgoˇc1 1 2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-06-07 12:12:45 Automata theory Applied mathematics Regular expression FO Structure Formal languages Mathematics Theoretical computer science
17	UTJECAJ KLIMATSKIH PROMJENA NA POTENCIJALNU OPASNOST OD POŽARA RASLINJA U HRVATSKOJ Domagoj Barešić Višnja Vučetić Državni hidrometeorološki zavod Add to Reading List Source URL: www.meteohmd.hr Language: Croatian - Date: 2014-06-11 07:54:46
18	Malware Analysis with Tree Automata Inference ⋆ Domagoj Babi´c, Daniel Reynaud, and Dawn Song University of California, Berkeley {babic, reynaud, dawnsong}@cs.berkeley.edu Abstract. The underground malware-based econ Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Tree automaton Malware Tree Directed acyclic graph Graph coloring Graph theory Automata theory Theoretical computer science
19	∗ Statically-Directed Dynamic Automated Test Generation Domagoj Babi´c Lorenzo Martignoni Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:29 Network theory Shortest path problem Algorithm Control flow analysis Heuristic function Call graph Mathematics Graph theory Theoretical computer science
20	Inference and Analysis of Formal Models of Botnet Command and Control Protocols Chia Yuan Cho Domagoj Babi´c Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Spamming Computer network security Multi-agent systems Botnet Simple Mail Transfer Protocol Communications protocol Finite-state machine Mealy machine Transmission Control Protocol Computing Data Models of computation

UPDATE