×

Found 779 Documents (Results 1–100)

Sharper and simpler nonlinear interpolants for program verification. (English) Zbl 1503.68184

Chang, Bor-Yuh Evan (ed.), Programming languages and systems. 15th Asian symposium, APLAS 2017, Suzhou, China, November 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10695, 491-513 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Static analysis of multithreaded recursive programs communicating via rendez-vous. (English) Zbl 1503.68047

Chang, Bor-Yuh Evan (ed.), Programming languages and systems. 15th Asian symposium, APLAS 2017, Suzhou, China, November 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10695, 235-254 (2017).
MSC:  68N30 68N19 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Programming and proving with classical types. (English) Zbl 1503.68046

Chang, Bor-Yuh Evan (ed.), Programming languages and systems. 15th Asian symposium, APLAS 2017, Suzhou, China, November 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10695, 215-234 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Decision procedure for entailment of symbolic heaps with arrays. (English) Zbl 1503.68045

Chang, Bor-Yuh Evan (ed.), Programming languages and systems. 15th Asian symposium, APLAS 2017, Suzhou, China, November 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10695, 169-189 (2017).
MSC:  68N30 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

A new invariant rule for the analysis of loops with non-standard control flows. (English) Zbl 1498.68083

Polikarpova, Nadia (ed.) et al., Integrated formal methods. 13th international conference, IFM 2017, Turin, Italy, September 20–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10510, 279-294 (2017).
MSC:  68N30 03B70
PDFBibTeX XMLCite
Full Text: DOI

On Kleene algebras for weighted computation. (English) Zbl 1498.68075

Cavalheiro, Simone (ed.) et al., Formal methods: foundations and applications. 20th Brazilian symposium, SBMF 2017, Recife, Brazil, November 29 – December 1, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10623, 271-286 (2017).
MSC:  68N30 03B70
PDFBibTeX XMLCite
Full Text: DOI

Computing exact loop bounds for bounded program verification. (English) Zbl 1498.68076

Larsen, Kim G. (ed.) et al., Dependable software engineering. Theories, tools, and applications. Third international symposium, SETTA 2017, Changsha, China, October 23–25, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10606, 147-163 (2017).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Termination of semi-algebraic loop programs. (English) Zbl 1498.68078

Larsen, Kim G. (ed.) et al., Dependable software engineering. Theories, tools, and applications. Third international symposium, SETTA 2017, Changsha, China, October 23–25, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10606, 131-146 (2017).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Verifying constant-time implementations by abstract interpretation. (English) Zbl 1496.68100

Foley, Simon N. (ed.) et al., Computer security – ESORICS 2017. 22nd European symposium on research in computer security, Oslo, Norway, September 11–15, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10492, 260-277 (2017).
MSC:  68N30 68Q55 68Q60
PDFBibTeX XMLCite
Full Text: DOI HAL

Finding polynomial loop invariants for probabilistic programs. (English) Zbl 1495.68042

D’Souza, Deepak (ed.) et al., Automated technology for verification and analysis. 15th international symposium, ATVA 2017, Pune, India, October 3–6, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10482, 400-416 (2017).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Synthesizing invariants by solving solvable loops. (English) Zbl 1495.68130

D’Souza, Deepak (ed.) et al., Automated technology for verification and analysis. 15th international symposium, ATVA 2017, Pune, India, October 3–6, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10482, 327-343 (2017).
MSC:  68Q60 68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Lifting CDCL to template-based abstract domains for program verification. (English) Zbl 1495.68139

D’Souza, Deepak (ed.) et al., Automated technology for verification and analysis. 15th international symposium, ATVA 2017, Pune, India, October 3–6, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10482, 307-326 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Dealing with priorities and locks for concurrent programs. (English) Zbl 1495.68041

D’Souza, Deepak (ed.) et al., Automated technology for verification and analysis. 15th international symposium, ATVA 2017, Pune, India, October 3–6, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10482, 208-224 (2017).
MSC:  68N30 68Q45 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Automating induction for solving Horn clauses. (English) Zbl 1494.68064

Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 571-591 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Finding fix locations for CFL-reachability analyses via minimum cuts. (English) Zbl 1494.68054

Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 521-541 (2017).
MSC:  68N30 68Q45 68T20
PDFBibTeX XMLCite
Full Text: DOI

A decidable fragment in separation logic with inductive predicates and arithmetic. (English) Zbl 1497.03048

Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 495-517 (2017).
MSC:  03B70 03B25 68N30
PDFBibTeX XMLCite
Full Text: DOI Link

A three-tier strategy for reasoning about floating-point numbers in SMT. (English) Zbl 1494.68282

Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 419-435 (2017).
PDFBibTeX XMLCite
Full Text: DOI HAL

Synchronization synthesis for network programs. (English) Zbl 1494.68060

Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 301-321 (2017).
MSC:  68N30 68M10 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Verifying equivalence of Spark programs. (English) Zbl 1494.68058

Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 282-300 (2017).
MSC:  68N30 68N15
PDFBibTeX XMLCite
Full Text: DOI

Look for the proof to find the program: decorated-component-based program synthesis. (English) Zbl 1494.68057

Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 86-103 (2017).
MSC:  68N30 68Q60 94A60
PDFBibTeX XMLCite
Full Text: DOI

Automated resource analysis with Coq proof objects. (English) Zbl 1494.68051

Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 64-85 (2017).
MSC:  68N30 68V15
PDFBibTeX XMLCite
Full Text: DOI

Non-polynomial worst-case analysis of recursive programs. (English) Zbl 1494.68053

Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 41-63 (2017).
MSC:  68N30 68Q25 68W40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Ascertaining uncertainty for efficient exact cache analysis. (English) Zbl 1494.68063

Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10427, 22-40 (2017).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Starling: lightweight concurrency verification with views. (English) Zbl 1494.68065

Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10426, 544-569 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Context-sensitive dynamic partial order reduction. (English) Zbl 1494.68047

Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10426, 526-543 (2017).
MSC:  68N30 68N19
PDFBibTeX XMLCite
Full Text: DOI

Data-driven synthesis of full probabilistic programs. (English) Zbl 1494.68052

Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10426, 279-304 (2017).
MSC:  68N30 68N19
PDFBibTeX XMLCite
Full Text: DOI

Repairing decision-making programs under uncertainty. (English) Zbl 1494.68046

Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10426, 181-200 (2017).
MSC:  68N30 68Q87 68T05
PDFBibTeX XMLCite
Full Text: DOI

Maximum satisfiability in software analysis: applications and techniques. (English) Zbl 1494.68062

Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10426, 68-94 (2017).
MSC:  68N30 68T20
PDFBibTeX XMLCite
Full Text: DOI Link

Probabilistic analysis based on symbolic game semantics and model counting. (English) Zbl 1483.68077

Bouyer, Patricia (ed.) et al., Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20–22, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 1-15 (2017).
PDFBibTeX XMLCite
Full Text: arXiv Link

Reversing imperative parallel programs. (English) Zbl 1483.68079

Peters, Kirstin (ed.) et al., Proceedings of the combined 24th international workshop on expressiveness in concurrency and 14th workshop on structural operational semantics, EXPRESS/SOS 2017, Berlin, Germany, September 4, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 255, 51-66 (2017).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: arXiv Link

A proof system for MSVL programs in Coq. (English) Zbl 1461.68058

Liu, Shaoying (ed.) et al., Structured object-oriented formal language and method. 6th international workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10189, 121-143 (2017).
PDFBibTeX XMLCite
Full Text: DOI

A weakest pre-expectation semantics for mixed-sign expectations. (English) Zbl 1458.68038

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 93, 12 p. (2017).
MSC:  68N30 68Q55
PDFBibTeX XMLCite
Full Text: arXiv Link

A Cartesian-closed category for higher-order model checking. (English) Zbl 1460.68061

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 60, 12 p. (2017).
MSC:  68Q60 18D15 68N30
PDFBibTeX XMLCite
Full Text: Link

Quotients in monadic programming: projective algebras are equivalent to coalgebras. (English) Zbl 1458.68123

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 50, 12 p. (2017).
MSC:  68Q65 18C15 68N30
PDFBibTeX XMLCite
Full Text: arXiv Link

A monad for full ground reference cells. (English) Zbl 1458.68122

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 49, 12 p. (2017).
PDFBibTeX XMLCite
Full Text: arXiv Link

Automated generation of non-linear loop invariants utilizing hypergeometric sequences. (English) Zbl 1457.68063

Burr, Michael (ed.), Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25–28, 2017. New York, NY: Association for Computing Machinery (ACM). 221-228 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Discriminating traces with time. (English) Zbl 1452.68055

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 10206, 21-37 (2017).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Static detection of DoS vulnerabilities in programs that use regular expressions. (English) Zbl 1452.68060

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 10206, 3-20 (2017).
MSC:  68N30 68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

CSimpl: a rely-guarantee-based framework for verifying concurrent programs. (English) Zbl 1452.68053

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 481-498 (2017).
MSC:  68N30 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI Link

Scaling enumerative program synthesis via divide and conquer. (English) Zbl 1452.68043

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 319-336 (2017).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Connecting program synthesis and reachability: automatic program repair using test-input generation. (English) Zbl 1452.68052

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 301-318 (2017).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Synthesis of recursive ADT transformations from reusable templates. (English) Zbl 1452.68050

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 247-263 (2017).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Proving termination through conditional termination. (English) Zbl 1452.68046

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 99-117 (2017).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI Link

Bounded quantifier instantiation for checking inductive invariants. (English) Zbl 1452.68119

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 76-95 (2017).
MSC:  68Q60 03B70 68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv

A principled approach to tracking information flow in the presence of libraries. (English) Zbl 1444.68051

Maffei, Matteo (ed.) et al., Principles of security and trust. 6th international conference, POST 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10204, 49-70 (2017).
MSC:  68N30 68Q55
PDFBibTeX XMLCite
Full Text: DOI Link

Modelling of aircraft’s dynamics using least square support vector machine regression. (English) Zbl 1444.93007

Giri, Debasis (ed.) et al., Mathematics and computing. Third international conference, ICMC 2017, Haldia, India, January 17–21, 2017. Proceedings. Singapore: Springer. Commun. Comput. Inf. Sci. 655, 132-140 (2017).
MSC:  93B30 62P30 93C10
PDFBibTeX XMLCite
Full Text: DOI

Modeling and engineering constrained shortest path algorithms for battery electric vehicles. (English) Zbl 1442.90191

Pruhs, Kirk (ed.) et al., 25th European symposium on algorithms, ESA 2017, Vienna, Austria, September 4–6, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 87, Article 11, 16 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A strategy for dynamic programs: start over and muddle through. (English) Zbl 1442.68033

Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 98, 14 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

List objects with algebraic structure. (English) Zbl 1441.68016

Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 16, 18 p. (2017).
MSC:  68N18 68N30 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Complexity of restricted variants of Skolem and related problems. (English) Zbl 1441.68061

Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 78, 14 p. (2017).
MSC:  68Q17 11B37 68N30
PDFBibTeX XMLCite
Full Text: DOI

Undecidable problems for probabilistic network programming. (English) Zbl 1441.68019

Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 68, 17 p. (2017).
MSC:  68N19 68N30 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Change-preserving model repair. (English) Zbl 1430.68029

Huisman, Marieke (ed.) et al., Fundamental approaches to software engineering. 20th international conference, FASE 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10202, 283-299 (2017).
MSC:  68N30 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Traceability mappings as a fundamental instrument in model transformations. (English) Zbl 1430.68027

Huisman, Marieke (ed.) et al., Fundamental approaches to software engineering. 20th international conference, FASE 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10202, 247-263 (2017).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI Link

Inter-model consistency checking using triple graph grammars and linear optimization techniques. (English) Zbl 1430.68028

Huisman, Marieke (ed.) et al., Fundamental approaches to software engineering. 20th international conference, FASE 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10202, 191-207 (2017).
MSC:  68N30 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 3

Main Field

all top 3

Software