Search results for "Bit-vector"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
55	Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady	An abstraction-based decision procedure for bit-vector arithmetic.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF	Decision-procedures, Bit-vector
52	Ralph D. Jeffords	Bit vector encoding via decomposition.	ACM Southeast Regional Conference	1982	DBLP DOI BibTeX RDF	bit vector representation, encoding, data compaction
47	David Cyrluk, M. Oliver Möller, Harald Rueß	An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors.	CAV	1997	DBLP DOI BibTeX RDF
39	Bageshri Karkare, Uday P. Khedker	An improved bound for call strings based interprocedural analysis of bit vector frameworks.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Bit Vector Data Flow Frameworks, Interprocedural Data Flow Analysis
38	Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady	Deciding Bit-Vector Arithmetic with Abstraction.	TACAS	2007	DBLP DOI BibTeX RDF
38	Shariq Bashir, Abdul Rauf Baig	Ramp: High Performance Frequent Itemset Mining with Efficient Bit-Vector Projection Technique.	PAKDD	2006	DBLP DOI BibTeX RDF
38	Olivier Raynaud, Eric Thierry	A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests.	ECOOP	2001	DBLP DOI BibTeX RDF
36	John C. Handley	Minimal-memory bit-vector architecture for computational mathematical morphology using subspace projections.	IEEE Trans. Image Process.	2005	DBLP DOI BibTeX RDF
35	A. A. Azeezunnisa, T. Srinivasan 0001, D. Vijayalakshmi	PAFBV: A Novel Parallel Aggregated and Folded Bit Vector Packet Classification Scheme for IPv6 Routers.	CIT	2006	DBLP DOI BibTeX RDF
34	Yingguang Li, M. Tamer Özsu, Kian-Lee Tan	XCube: Processing XPath queries in a hypercube overlay network.	Peer-to-Peer Netw. Appl.	2009	DBLP DOI BibTeX RDF	XML, Query processing, Distributed databases, Data communications
34	Sivaram Gopalakrishnan, Priyank Kalla, Florian Enescu	Optimization of Arithmetic Datapaths with Finite Word-Length Operands.	ASP-DAC	2007	DBLP DOI BibTeX RDF	arithmetic datapaths, finite word length, operands, polynomial computations, finite integer rings, CAD, area optimization, bit vectors
29	Yaw-Chung Chen, Pi-Chung Wang, Chun-Liang Lee, Chia-Tai Chan	Performance Improvement of Hardware-Based Packet Classification Algorithm.	ICN (2)	2005	DBLP DOI BibTeX RDF
29	Richard M. Karp, Orli Waarts, Geoffrey Zweig	The Bit Vector Intersection Problem (Preliminary Version).	FOCS	1995	DBLP DOI BibTeX RDF	bit vector intersection, sparse bit vectors, dictionary matches, high probability, recursive tree-searching, randomized algorithms, hashing, tree data structures, randomised algorithms, algorithm theory
25	M. Oliver Möller, Harald Rueß	Solving Bit-Vector Equations.	FMCAD	1998	DBLP DOI BibTeX RDF
25	Yun-Chen Lo, Ren-Shuo Liu	Bit-Serial Cache: Exploiting Input Bit Vector Repetition to Accelerate Bit-Serial Inference.	DAC	2023	DBLP DOI BibTeX RDF
25	Chien-Chung Chan, Gwo-Hshiung Tzeng	Computing Approximations of Dominance-Based Rough Sets by Bit-Vector Encodings.	RSCTC	2008	DBLP DOI BibTeX RDF	Dominance-based rough sets, Multiple criteria decision analysis (MCDA), Rough sets, Approximate reasoning
25	Michael Huth 0001, Orna Grumberg	Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF	Bounded reachability, Bit-vector arithmetic, Abstraction, Asynchronous systems, Decision diagrams, Memory models, Decision problems
24	Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani	A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems.	CAV	2007	DBLP DOI BibTeX RDF
24	Namrata Shekhar, Sudhakar Kalla, Florian Enescu	Equivalence Verification of Polynomial Datapaths Using Ideal Membership Testing.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
23	Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia	Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic.	CAV	2009	DBLP DOI BibTeX RDF
23	Olivier Kaczor, Yann-Gaël Guéhéneuc, Sylvie Hamel	Efficient Identification of Design Patterns with Bit-vector Algorithm.	CSMR	2006	DBLP DOI BibTeX RDF
23	Gene Myers	A Fast Bit-Vector Algorithm for Approximate String Matching Based on Dynamic Programming.	J. ACM	1999	DBLP DOI BibTeX RDF	approximate string search, sequence comparison, bit-parallelism
22	Thomas Heinz 0001, Reinhard Wilhelm	Towards device emulation code generation.	LCTES	2009	DBLP DOI BibTeX RDF	bit vector arithmetic, device emulation, code generation, binary translation, satisfiability modulo theories
22	Goetz Graefe, Diane L. Davison	Encapsulation of Parallelism and Architecture-Independence in Extensible Database Query Execution.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	extensible database query execution, database application domains, high functionality, Volcano query execution engine, query processing operators, arbitrarily complex query evaluation plans, data manipulation operators, exchange operator, generalized exchange operator, database query processing software, bit vector filtering, parallel programming, parallelism, query processing, debugging, distributed databases, computer architectures, high performance, hierarchical architectures
20	Robert E. Filman	Polychotomic Encoding: A Better Quasi-Optimal Bit-Vector Encoding of Tree Hierarchies.	ECOOP	2002	DBLP DOI BibTeX RDF
19	Pablo San Segundo, Cristóbal Tapia, Julio Puente, Diego Rodríguez-Losada	A New Exact Bit-Parallel Algorithm for SAT.	ICTAI (2)	2008	DBLP DOI BibTeX RDF
19	Namrata Shekhar, Priyank Kalla, Florian Enescu	Equivalence verification of arithmetic datapaths with multiple word-length operands.	DATE	2006	DBLP DOI BibTeX RDF
19	Martin Jonás, Jan Strejcek	Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions.	SAT	2020	DBLP DOI BibTeX RDF
19	Martin Jonás, Jan Strejcek	Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes? (Experimental Paper).	LPAR	2018	DBLP DOI BibTeX RDF
19	Martin Jonás, Jan Strejcek	On the Complexity of the Quantified Bit-Vector Arithmetic with Binary Encoded Bit-Widths.	CoRR	2016	DBLP BibTeX RDF
19	Adnan Ozsoy	CULZSS-bit: a bit-vector algorithm for lossless data compression on GPGPUs.	DISCS@SC	2014	DBLP DOI BibTeX RDF
19	Gergely Kovásznai, Andreas Fröhlich, Armin Biere	On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width.	SMT@IJCAR	2012	DBLP DOI BibTeX RDF
17		Bit Vector Join.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
17	Pierre Colomb, Olivier Raynaud, Eric Thierry	Generalized Polychotomic Encoding: A Very Short Bit-Vector Encoding of Tree Hierarchies.	MCO	2008	DBLP DOI BibTeX RDF
17	T. Srinivasan 0001, N. Dhanasekar, M. Nivedita, R. Dhivyakrishnan, A. A. Azeezunnisa	Scalable and Parallel Aggregated Bit Vector Packet Classification Using Prefix Computation Model.	PARELEC	2006	DBLP DOI BibTeX RDF
17	Daniel Kroening, Natasha Sharygina	Approximating Predicate Images for Bit-Vector Logic.	TACAS	2006	DBLP DOI BibTeX RDF
17	Uday P. Khedker, Dhananjay M. Dhamdhere	A Generalized Theory of Bit Vector Data Flow Analysis.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	bidirectional data flows, data flow frameworks, data flow analysis
17	Abedelaziz Mohaisen, DaeHun Nyang, YoungJae Maeng, KyungHee Lee	Structures for Communication-Efficient Public Key Revocation in Ubiquitous Sensor Network.	MSN	2007	DBLP DOI BibTeX RDF	complete subtree cover, dynamic run-length encoding, sensor network, communication efficiency, Key revocation, bit vector
17	Shariq Bashir, Abdul Rauf Baig	Max-FTP: Mining Maximal Fault-Tolerant Frequent Patterns from Databases.	BNCOD	2007	DBLP DOI BibTeX RDF	Fault Tolerant Frequent Patterns Mining, Maximal Frequent Patterns Mining, Bit-vector Representation and Association Rules
17	Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Li-C. Wang	An efficient finite-domain constraint solver for circuits.	DAC	2004	DBLP DOI BibTeX RDF	bit-vector arithmetic, constraints, integer linear programming, decision procedures, boolean satisfiability, circuits, design verification
17	Guanling Lee, K. L. Lee, Arbee L. P. Chen	Efficient Graph-Based Algorithms for Discovering and Maintaining Association Rules in Large Databases.	Knowl. Inf. Syst.	2001	DBLP DOI BibTeX RDF	Graph-based approach, Rules maintenance, Association rule, Bit vector
17	Paul Pritchard	A Fast Bit-Parallel Algorithm for Computing the Subset Partial Order.	Algorithmica	1999	DBLP DOI BibTeX RDF	Subset graph, Subset partial order, Bit-parallel operation, Set-theoretic algorithms, Combinatorial set theory, Analysis of algorithms, Bit vector
17	J. Morris Chang, Edward F. Gehringer	A High-Performance Memory Allocator for Object-Oriented Systems.	IEEE Trans. Computers	1996	DBLP DOI BibTeX RDF	Buddy system, bit-vector allocation, internal fragmentation, binary tree, object-oriented systems, dynamic memory management
17	Jens Knoop, Oliver Rüthing, Bernhard Steffen	The Power of Assignment Motion.	PLDI	1995	DBLP DOI BibTeX RDF	assignment motion, bit-vector data flow analyses, partially redundant assignment and expression elimination, data flow analysis, program optimization, code motion
17	Jens Knoop, Oliver Rüthing, Bernhard Steffen	Partial Dead Code Elimination.	PLDI	1994	DBLP DOI BibTeX RDF	assignment motion, bit-vector data flow analyses, data flow analysis, program optimization, code motion, partial redundancy elimination, dead code elimination
16	Wai Wong	Modelling Bit Vectors in HOL: the word library.	HUG	1993	DBLP DOI BibTeX RDF
16	Hannu Peltola, Jorma Tarhio	Alternative Algorithms for Bit-Parallel String Matching.	SPIRE	2003	DBLP DOI BibTeX RDF
16	Olli Nevalainen, Matti Jakobsson, R. Berg	Compression of Clustered Inverted Files.	MFCS	1978	DBLP DOI BibTeX RDF
16	F. Kenneth Zadeck	Incremental data flow analysis in a structured program editor.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
14	Kimmo Fredriksson	Row-wise Tiling for the Myers' Bit-Parallel Approximate String Matching Algorithm.	SPIRE	2003	DBLP DOI BibTeX RDF
13	Zurab Khasidashvili, Mahmoud Kinanah, Andrei Voronkov	Verifying equivalence of memories using a first order logic theorem prover.	FMCAD	2009	DBLP DOI BibTeX RDF
13	C. G. González, Waldemar Bonventi Jr., A. L. Vieira Rodrigues	Density of Closed Balls in Real-Valued and Autometrized Boolean Spaces for Clustering Applications.	SBIA	2008	DBLP DOI BibTeX RDF
13	Vijay Ganesh, David L. Dill	A Decision Procedure for Bit-Vectors and Arrays.	CAV	2007	DBLP DOI BibTeX RDF
13	Florin Baboescu, George Varghese	Scalable packet classification.	IEEE/ACM Trans. Netw.	2005	DBLP DOI BibTeX RDF
13	Amit Goel, Randal E. Bryant	Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors.	CAV	2004	DBLP DOI BibTeX RDF
13	Florin Baboescu, George Varghese	Scalable packet classification.	SIGCOMM	2001	DBLP DOI BibTeX RDF	Internet
12	Jun Yuan 0007, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz	Automatic Vector Generation Using Constraints and Biasing.	J. Electron. Test.	2000	DBLP DOI BibTeX RDF	constraint, probability, partitioning, BDD, biasing, vector generation
12	Yuantian Ding, Xiaokang Qiu	Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
12	Jiaxin Song, Hongfei Fu 0001, Charles Zhang	Equational Bit-Vector Solving via Strong Gröbner Bases.	CoRR	2024	DBLP DOI BibTeX RDF
12	Alexis Le Glaunec, Lingkun Kong, Konstantinos Mamouras	Regular Expression Matching using Bit Vector Automata.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
12	Masane Fuchi, Amar Zanashir, Hiroto Minami, Tomohiro Takagi	ResBit: Residual Bit Vector for Categorical Values.	CoRR	2023	DBLP DOI BibTeX RDF
12	Shang-Wei Lin 0001, Si-Han Chen, Tzu-Fan Wang, Yean-Ru Chen	A Quantum SMT Solver for Bit-Vector Theory.	CoRR	2023	DBLP DOI BibTeX RDF
12	Ayuka Matsumi, Naoki Nishida 0001, Misaki Kojima, Donghoon Shin	On Singleton Self-Loop Removal for Termination of LCTRSs with Bit-Vector Arithmetic.	CoRR	2023	DBLP DOI BibTeX RDF
12	Alen Arslanagic, Pavle Subotic, Jorge A. Pérez 0001	Bit-Vector Typestate Analysis.	Formal Aspects Comput.	2023	DBLP DOI BibTeX RDF
12	Uday Trivedi, Lakshmi Sowjanya Dokku, Jyotsna Sangamesh	Efficient Memory Optimized Aggregated Bit Vector (EMOABV) Algorithm with Dynamic ABV Intersection Result Cache.	COMSNETS	2023	DBLP DOI BibTeX RDF
12	Peisen Yao, Jingyu Ke, Jiahui Sun, Hongfei Fu 0001, Rongxin Wu, Kui Ren 0001	Demystifying Template-Based Invariant Generation for Bit-Vector Programs.	ASE	2023	DBLP DOI BibTeX RDF
12	Burak Ekici, Arjun Viswanathan, Yoni Zohar, Cesare Tinelli, Clark W. Barrett	Formal Verification of Bit-Vector Invertibility Conditions in Coq.	FroCoS	2023	DBLP DOI BibTeX RDF
12	Seyyed Arash Azimi, Adrián Ranea, Mahmoud Salmasizadeh, Javad Mohajeri, Mohammad Reza Aref, Vincent Rijmen	A bit-vector differential model for the modular addition by a constant and its applications to differential and impossible-differential cryptanalysis.	Des. Codes Cryptogr.	2022	DBLP DOI BibTeX RDF
12	Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi 0001, Luciano Baresi	On How Bit-Vector Logic Can Help Verify LTL-Based Specifications.	IEEE Trans. Software Eng.	2022	DBLP DOI BibTeX RDF
12	Alen Arslanagic, Pavle Subotic, Jorge A. Pérez 0001	Scalable Typestate Analysis using Bit-Vector Machines.	CoRR	2022	DBLP BibTeX RDF
12	Seyyed Arash Azimi, Adrián Ranea, Mahmoud Salmasizadeh, Javad Mohajeri, Mohammad Reza Aref, Vincent Rijmen	A Bit-Vector Differential Model for the Modular Addition by a Constant and its Applications to Differential and Impossible-Differential Cryptanalysis.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
12	Jyotsna Dhumale, Uday Trivedi	A Memory Optimized Aggregated Bit Vector Algorithm for large rule-sets.	COMSNETS	2022	DBLP DOI BibTeX RDF
12	Qingzhe Zhang, Keping Wang	A 77-101GHz 6-Bit Vector-Modulated Phase Shifter with Low RMS Error in 65nm SOI CMOS.	ICTA	2022	DBLP DOI BibTeX RDF
12	Chuan-Yu Chen, Shih-Hao Huang, Yi-Chang Lu	A Hardware Accelerator for Long Sequence Alignment with the Bit-Vector Scoring Scheme and Divide-and-Conquer Traceback.	BioCAS	2022	DBLP DOI BibTeX RDF
12	Jan Onderka, Stefan Ratschan	Fast Three-Valued Abstract Bit-Vector Arithmetic.	VMCAI	2022	DBLP DOI BibTeX RDF
12	Bac Le, Dong Phuong Le, Minh-Thai Tran	Hiding sensitive association rules using the optimal electromagnetic optimization method and a dynamic bit vector data structure.	Expert Syst. Appl.	2021	DBLP DOI BibTeX RDF
12	Yau-Hwang Kuo, Jen-Sheng Tsai, TszKwong Leung	A multilevel Bit Vector minimization method for fast online detection of conflicting flow entries in OpenFlow table.	Comput. Commun.	2021	DBLP DOI BibTeX RDF
12	Aina Niemetz, Mathias Preiner, Andrew Reynolds 0001, Clark W. Barrett, Cesare Tinelli	On solving quantified bit-vector constraints using invertibility conditions.	Formal Methods Syst. Des.	2021	DBLP DOI BibTeX RDF
12	Peter Backeman, Philipp Rümmer, Aleksandar Zeljic	Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic.	Formal Methods Syst. Des.	2021	DBLP DOI BibTeX RDF
12	Daniel Pacheco Bautista, Ricardo Carreño Aguilera, Francisco Aguilar Acevedo, Ignacio Algredo-Badillo	Bit-Vector-Based Hardware Accelerator for DNA Alignment Tools.	J. Circuits Syst. Comput.	2021	DBLP DOI BibTeX RDF
12	Hedda R. Schmidtke	Multi-modal actuation with the activation bit vector machine.	Cogn. Syst. Res.	2021	DBLP DOI BibTeX RDF
12	Xiaomu Shi, Yu-Fu Fu, Jiaxiang Liu 0001, Ming-Hsien Tsai 0001, Bow-Yaw Wang, Bo-Yin Yang	CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver.	CAV (2)	2021	DBLP DOI BibTeX RDF
12	Muhammad Yasir Javed, Nuutti Tervo, Rehman Akbar, Bilal Khan, Marko E. Leinonen, Aarno Pärssinen	Improving Analog Zero-Forcing Null Depth with N-bit Vector Modulators in Multi-beam Phased Array Systems.	VTC Spring	2021	DBLP DOI BibTeX RDF
12	Zhenyi Zhang, Qian Xie, Zheng Wang 0050	A 150-170GHz 5-Bit Vector-Modulated Phase Shifter Based on X-type Phase Inverter Technique.	ICTA	2021	DBLP DOI BibTeX RDF
12	Tuncay Soylu, Oguzhan Erdem, Aydin Carus	Bit vector-coded simple CART structure for low latency traffic classification on FPGAs.	Comput. Networks	2020	DBLP DOI BibTeX RDF
12	Tianjun Wu, Xiaoning Zhang, Zhao Xing, Yunqiu Wu, Huihua Liu, Chenxi Zhao, Yiming Yu, Kai Kang	A Ku-Band 6-Bit Vector-Sum Phase Shifter With Half-Quadrant Control Technique.	IEEE Access	2020	DBLP DOI BibTeX RDF
12	Zilin Shi, Hui Yang, Junnan Li 0002, Chenglong Li, Tao Li 0008, Baosheng Wang	MsBV: A Memory Compression Scheme for Bit-Vector-Based Classification Lookup Tables.	IEEE Access	2020	DBLP DOI BibTeX RDF
12	Mostafa Nobakht Sarkezeh, Aminghasem Safarian	An S-Band CMOS 6-Bit Vector-Sum Phase Shifter with Low RMS Phase Error Using Frequency-to-Voltage Converter Feedforward Loop.	J. Circuits Syst. Comput.	2020	DBLP DOI BibTeX RDF
12	Seyyed Arash Azimi, Adrián Ranea, Mahmoud Salmasizadeh, Javad Mohajeri, Mohammad Reza Aref, Vincent Rijmen	A Bit-Vector Differential Model for the Modular Addition by a Constant.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
12	Seyyed Arash Azimi, Adrián Ranea, Mahmoud Salmasizadeh, Javad Mohajeri, Mohammad Reza Aref, Vincent Rijmen	A Bit-Vector Differential Model for the Modular Addition by a Constant.	ASIACRYPT (1)	2020	DBLP DOI BibTeX RDF
12	Sabino Francesco Roselli, Kristofer Bengtsson, Knut Åkesson	Compact Representation of Time-Index Job Shop Problems Using a Bit-Vector Formulation.	CASE	2020	DBLP DOI BibTeX RDF
12	Thomas Seed, Andy King, Neil Evans	Reducing Bit-Vector Polynomials to SAT Using Gröbner Bases.	SAT	2020	DBLP DOI BibTeX RDF
12	Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang 0001	Fast bit-vector satisfiability.	ISSTA	2020	DBLP DOI BibTeX RDF
12	Takamasa Okudono, Andy King	Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic.	TACAS (1)	2020	DBLP DOI BibTeX RDF
12	Vincent Liew, Paul Beame, Jo Devriendt, Jan Elffers, Jakob Nordström	Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning.	FMCAD	2020	DBLP DOI BibTeX RDF
12	Bruno Dutertre	An Empirical Evaluation of SAT Solvers on Bit-vector Problems.	SMT	2020	DBLP BibTeX RDF
12	Seonmo Kim, Stephen McCamant	Structural Bit-vector Model Counting.	SMT	2020	DBLP BibTeX RDF
12	Mahdi Abbasi, Razieh Tahouri, Milad Rafiee	Enhancing the performance of the aggregated bit vector algorithm in network packet classification using GPU.	PeerJ Comput. Sci.	2019	DBLP DOI BibTeX RDF
12	Alex Ozdemir, Aina Niemetz, Mathias Preiner, Yoni Zohar, Clark W. Barrett	DRAT-based Bit-Vector Proofs in CVC4.	CoRR	2019	DBLP BibTeX RDF
12	Burak Ekici, Arjun Viswanathan, Yoni Zohar, Clark W. Barrett, Cesare Tinelli	Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract).	PxTP	2019	DBLP DOI BibTeX RDF