default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThao Dang 0001
Person information
- affiliation: Université Grenoble Alpes, VERIMAG/CNRS, Grenoble, France
Other persons with the same name
- Thao Dang 0002 — Esslingen University, Germany (and 2 more)
- Thao Dang 0003 — IBM Thomas J. Watson Research Center, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j22]Bob Aubouin-Pairault
, Mirko Fiacchini, Thao Dang:
Data-based modeling of the Pharmacodynamics for the effect of Propofol and Remifentanil during General Anesthesia. Biomed. Signal Process. Control. 98: 106728 (2024)- [j21]Bob Aubouin-Pairault, Mirko Fiacchini, Thao Dang:
Online identification of pharmacodynamic parameters for closed-loop anesthesia with model predictive control. Comput. Chem. Eng. 191: 108837 (2024) - [j20]Daniel Denardi Huff, Mirko Fiacchini, Thao Dang, Teodoro Alamo:
Optimized Coadministration of Propofol and Remifentanil During the Induction Phase of Total Intravenous Anesthesia With Statistical Validation. IEEE Control. Syst. Lett. 8: 193-198 (2024) - [j19]Akshay Mambakam, José Ignacio Requeno Jarabo, Alexey Bakhirkin, Nicolas Basset, Thao Dang:
Mining of extended signal temporal logic specifications with ParetoLib 2.0. Formal Methods Syst. Des. 62(1): 260-284 (2024) - [i7]Thao Dang, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha:
Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications. CoRR abs/2403.16593 (2024) - 2023
- [j18]Kaouther Moussa, Bob Aubouin-Pairault, Mazen Alamir, Thao Dang:
Data-Based Extended Moving Horizon Estimation for MISO Anesthesia Dynamics. IEEE Control. Syst. Lett. 7: 3054-3059 (2023) - [j17]Bob Aubouin-Pairault, Mirko Fiacchini, Thao Dang:
PAS: a Python Anesthesia Simulator for drug control. J. Open Source Softw. 8(89): 5480 (2023) - [c73]Thao Dang, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha:
Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications. CDC 2023: 5339-5344 - [c72]Bob Aubouin-Pairault, Mirko Fiacchini, Thao Dang:
Data-based Pharmacodynamic Modeling for BIS and Mean Arterial Pressure Prediction during General Anesthesia. ECC 2023: 1-6 - [c71]Arvind Adimoolam, Indranil Saha, Thao Dang:
Safe Self-Triggered Control Based on Precomputed Reachability Sequences. HSCC 2023: 7:1-7:12 - [c70]Akshay Mambakam, Eugene Asarin, Nicolas Basset, Thao Dang:
Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions. HSCC 2023: 14:1-14:13 - [c69]Thao Dang:
Formal Design of Cyber-Physical Systems with Learning-Enabled Components. OVERLAY@AI*IA 2023: 1-5 - [i6]Bob Aubouin-Pairault, Mirko Fiacchini, Thao Dang:
Automated Multi-Drugs Administration During Total Intravenous Anesthesia Using Multi-Model Predictive Control. CoRR abs/2309.08229 (2023) - 2022
- [j16]Alberto Casagrande, Thao Dang, Luca Dorigo, Tommaso Dreossi, Carla Piazza, Eleonora Pippia:
Parameter synthesis of polynomial dynamical systems. Inf. Comput. 289(Part): 104941 (2022) - [j15]Arvind S. Adimoolam, Thao Dang:
Safety Verification of Networked Control Systems by Complex Zonotopes. Leibniz Trans. Embed. Syst. 8(2): 01:1-01:22 (2022) - [e5]Thao Dang, Volker Stolz:
Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings. Lecture Notes in Computer Science 13498, Springer 2022, ISBN 978-3-031-17195-6 [contents] - [i5]Franz Mayr, Sergio Yovine, Federico Pan, Nicolas Basset, Thao Dang:
Towards Efficient Active Learning of PDFA. CoRR abs/2206.09004 (2022) - 2021
- [c68]Thomas Mari, Thao Dang, Gregor Gössler:
Explaining Safety Violations in Real-Time Systems. FORMATS 2021: 100-116 - [c67]Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic:
Sampling of shape expressions with ShapEx. MEMOCODE 2021: 118-125 - [e4]Thao Dang, Stefan Ratschan:
Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR 2020, online, 31 August 2020. EPTCS 331, 2021 [contents] - [i4]Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic:
Sampling of Shape Expressions. CoRR abs/2106.11041 (2021) - 2020
- [c66]Nicolas Basset, Thao Dang, Akshay Mambakam, José Ignacio Requeno Jarabo:
Learning Specifications for Labelled Patterns. FORMATS 2020: 76-93 - [c65]Benoît Barbot, Nicolas Basset, Thao Dang, Alexandre Donzé, James Kapinski, Tomoya Yamaguchi:
Falsification of Cyber-Physical Systems with Constrained Signal Spaces. NFM 2020: 420-439
2010 – 2019
- 2019
- [j14]Victor Magron, Alexandre Rocca, Thao Dang:
Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations. IEEE Trans. Computers 68(7): 953-966 (2019) - [c64]Thao Dang:
Reachability Analysis and Hybrid Systems Biology - In Memoriam Oded Maler. HSB 2019: 16-29 - [c63]Benoît Barbot, Nicolas Basset, Thao Dang:
Generation of Signals Under Temporal Constraints for CPS Testing. NFM 2019: 54-70 - [p3]Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca:
Set-Based Analysis for Biological Modeling. Automated Reasoning for Systems Biology and Medicine 2019: 157-189 - 2018
- [c62]Alexandre Rocca, Marcelo Forets, Victor Magron, Eric Fanchon, Thao Dang:
Occupation measure methods for modelling and analysis of biological hybrid systems. ADHS 2018: 181-186 - [c61]Xavier Avon, Thao Dang:
Stimulus Generator for Circuit Model Generation. MT@CPSWeek 2018: 20-21 - [i3]Victor Magron, Alexandre Rocca, Thao Dang:
Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations. CoRR abs/1802.04385 (2018) - 2017
- [j13]Tommaso Dreossi, Thao Dang, Carla Piazza:
Reachability computation for polynomial dynamical systems. Formal Methods Syst. Des. 50(1): 1-38 (2017) - [c60]Arvind S. Adimoolam, Thao Dang:
Template complex zonotopes for stability and invariant verification. ACC 2017: 2544-2549 - [c59]Alexandre Rocca, Victor Magron, Thao Dang:
Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations. ARITH 2017: 74-81 - [c58]Thao Dang, Tommaso Dreossi:
Temporal specification testing of hybrid systems. CASE 2017: 1338-1343 - [c57]Arvind S. Adimoolam, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin:
Classification and Coverage-Based Falsification for Embedded Control Systems. CAV (1) 2017: 483-503 - [c56]Arvind S. Adimoolam, Thao Dang:
Augmented Complex Zonotopes for Computing Invariants of Affine Hybrid Systems. FORMATS 2017: 97-115 - [c55]Mohammad Al Khatib, Antoine Girard, Thao Dang:
Scheduling of Embedded Controllers Under Timing Contracts. HSCC 2017: 131-140 - [i2]Thao Dang, Eric Fanchon, Marcelo Forets, Victor Magron, Alexandre Rocca:
Occupation measure methods for modelling and analysis of biological hybrid automata. CoRR abs/1710.03158 (2017) - 2016
- [c54]Arvind S. Adimoolam, Thao Dang:
Using complex zonotopes for stability verification. ACC 2016: 4269-4274 - [c53]Thao Dang, Alie El-Din Mady, Menouer Boubekeur, Rajesh Kumar, Mark Moulin:
Validation of Industrial Cyber-Physical Systems: An Application to HVAC Systems. CSDM 2016: 57-69 - [c52]Alexandre Rocca, Thao Dang, Eric Fanchon, Jean Marc Moulis:
Application of the Reachability Analysis for the Iron Homeostasis Study. HSB 2016: 67-84 - [c51]Mohammad Al Khatib, Antoine Girard, Thao Dang:
Verification and Synthesis of Timing Contracts for Embedded Controllers. HSCC 2016: 115-124 - [c50]Tommaso Dreossi, Thao Dang, Carla Piazza:
Parallelotope Bundles for Polynomial Reachability. HSCC 2016: 297-306 - [i1]Alexandre Rocca, Victor Magron, Thao Dang:
Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations. CoRR abs/1610.07038 (2016) - 2015
- [c49]Mohammad Al Khatib, Antoine Girard, Thao Dang:
Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis. ADHS 2015: 358-363 - [c48]Thao Dang, Tommaso Dreossi, Carla Piazza:
Parameter Synthesis Through Temporal Logic Specifications. FM 2015: 213-230 - [c47]Tommaso Dreossi, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh:
Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems. NFM 2015: 127-142 - [e3]Oded Maler, Ádám M. Halász, Thao Dang, Carla Piazza:
Hybrid Systems Biology - Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers. Lecture Notes in Computer Science 7699, Springer 2015, ISBN 978-3-319-27655-7 [contents] - 2014
- [c46]Thao Dang, Noa Shalev:
Test Coverage Estimation Using Threshold Accepting. ATVA 2014: 115-128 - [c45]Thao Dang, Tommaso Dreossi, Carla Piazza:
Parameter Synthesis Using Parallelotopic Enclosure and Applications to Epidemic Models. HSB 2014: 67-82 - [c44]Alexandre Rocca, Thao Dang, Eric Fanchon:
Exploiting the Eigenstructure of Linear Systems to Speed up Reachability Computations. HSB 2014: 111-127 - [c43]Tommaso Dreossi, Thao Dang:
Parameter synthesis for polynomial biological models. HSCC 2014: 233-242 - [c42]Julius Ziegler, Philipp Bender, Thao Dang, Christoph Stiller:
Trajectory planning for Bertha - A local, continuous method. Intelligent Vehicles Symposium 2014: 450-457 - 2013
- [c41]Romain Testylier, Thao Dang:
NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems. ATVA 2013: 469-473 - [c40]Thao Dang, Bertrand Jeannet, Romain Testylier:
Verification of embedded control programs. ECC 2013: 4252-4256 - [c39]Thao Dang, Tommaso Dreossi:
Falsifying Oscillation Properties of Parametric Biological Models. HSB 2013: 53-67 - [p2]Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic:
Tools for the Analysis of Hybrid Models. Communicating Embedded Systems 2013: 227-251 - [e2]Thao Dang, Carla Piazza:
Proceedings Second International Workshop on Hybrid Systems and Biology, HSB 2013, Taormina, Italy, 2nd September 2013. EPTCS 125, 2013 [contents] - 2012
- [j12]Thao Dang, Romain Testylier:
Reachability Analysis for Polynomial Dynamical Systems Using the Bernstein Expansion. Reliab. Comput. 17: 128-152 (2012) - [c38]Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang, Antoine Girard:
Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations. ATVA 2012: 137-151 - [c37]Thao Dang, Noa Shalev:
State Estimation and Property-Guided Exploration for Hybrid Systems Testing. ICTSS 2012: 152-167 - [c36]Romain Testylier, Thao Dang:
Analysis of parametric biological models with non-linear dynamics. HSB 2012: 16-29 - [e1]Thao Dang, Ian M. Mitchell:
Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012. ACM 2012, ISBN 978-1-4503-1220-2 [contents] - 2011
- [j11]Thao Dang, Colas Le Guernic, Oded Maler:
Computing reachable states for nonlinear biological models. Theor. Comput. Sci. 412(21): 2095-2107 (2011) - [c35]Thao Dang, Thomas Martin Gawlitza:
Template-Based Unbounded Time Verification of Affine Hybrid Automata. APLAS 2011: 34-49 - [c34]Thao Dang, Thomas Martin Gawlitza:
Discretizing Affine Hybrid Automata with Uncertainty. ATVA 2011: 473-481 - [c33]Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler:
SpaceEx: Scalable Verification of Hybrid Systems. CAV 2011: 379-395 - [c32]Thao Dang, Romain Testylier:
Hybridization domain construction using curvature estimation. HSCC 2011: 123-132 - [p1]Thao Dang:
Model-Based Testing of Hybrid Systems. Model-Based Testing for Embedded Systems 2011 - 2010
- [c31]Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier:
Using Redundant Constraints for Refinement. ATVA 2010: 37-51 - [c30]Thao Dang, Oded Maler, Romain Testylier:
Accurate hybridization of nonlinear systems. HSCC 2010: 11-20
2000 – 2009
- 2009
- [j10]Thao Dang, Tarik Nahhal:
Coverage-guided test generation for continuous and hybrid systems. Formal Methods Syst. Des. 34(2): 183-213 (2009) - [j9]Christian Hoffmann, Thao Dang:
Cheap Joint Probabilistic Data Association filters in an Interacting Multiple Model design. Robotics Auton. Syst. 57(3): 268-278 (2009) - [j8]Thao Dang, Christian Hoffmann, Christoph Stiller:
Continuous Stereo Self-Calibration by Camera Parameter Tracking. IEEE Trans. Image Process. 18(7): 1536-1550 (2009) - [c29]Thao Dang, David Salinas:
Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion. CAV 2009: 219-232 - [c28]Thao Dang, Colas Le Guernic, Oded Maler:
Computing Reachable States for Nonlinear Biological Models. CMSB 2009: 126-141 - 2008
- [c27]Thao Dang, Alexandre Donzé, Oded Maler, Noa Shalev:
Sensitive state-space exploration. CDC 2008: 4049-4054 - [c26]Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic:
A Policy Iteration Technique for Time Elapse over Template Polyhedra. HSCC 2008: 654-657 - [c25]Thao Dang, Tarik Nahhal:
Using Disparity to Enhance Test Generation for Hybrid Systems. TestCom/FATES 2008: 54-69 - [c24]Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic:
Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. TACAS 2008: 188-202 - 2007
- [j7]Eugene Asarin, Thao Dang, Antoine Girard:
Hybridization methods for the analysis of nonlinear systems. Acta Informatica 43(7): 451-476 (2007) - [j6]Christoph Stiller, Sören Kammel, Thao Dang, Christian Duchow, Britta Hummel:
GPS- und Kamera-basierte Fahrzeugführung durchs Gelände - ION im Grand Challenge (GPS- and Camera-based Off-Road Vehicle Control - ION in the Grand Challenge). Autom. 55(6): 290-297 (2007) - [c23]Tarik Nahhal, Thao Dang:
Test Coverage for Continuous and Hybrid Systems. CAV 2007: 449-462 - [c22]Tarik Nahhal, Thao Dang:
Guided Randomized Simulation. HSCC 2007: 731-735 - 2006
- [j5]Rajeev Alur, Thao Dang, Franjo Ivancic:
Counterexample-guided predicate abstraction of hybrid systems. Theor. Comput. Sci. 354(2): 250-271 (2006) - [j4]Rajeev Alur, Thao Dang, Franjo Ivancic:
Predicate abstraction for reachability analysis of hybrid systems. ACM Trans. Embed. Comput. Syst. 5(1): 152-199 (2006) - [c21]Thao Dang, Christian Hoffmann:
Tracking Camera Parameters of an Active Stereo Rig. DAGM-Symposium 2006: 627-636 - [c20]Thao Dang, Philippe Gerner:
Scheduling for multi-threaded real-time programs via path planning. EMSOFT 2006: 282-291 - [c19]Thao Dang, Tarik Nahhal:
Randomized Simulation of Hybrid Systems For Circuit Validation. FDL 2006: 9-15 - [c18]Thao Dang:
Approximate Reachability Computation for Polynomial Systems. HSCC 2006: 138-152 - [c17]Thao Dang, Sören Kammel, Christian Duchow, Britta Hummel, Christoph Stiller:
Path Planning for Autonomous Driving Based on Stereoscopic and Monoscopic Vision Cues. MFI 2006: 191-196 - [c16]Christian Hoffmann, Thao Dang:
Cheap Joint Probabilistic Data Association Filters in an Interacting Multiple Model Design. MFI 2006: 197-202 - 2005
- [j3]Thao Dang:
A Reachability-Based Technique for Idle Speed Control Synthesis. Int. J. Softw. Eng. Knowl. Eng. 15(2): 397-404 (2005) - [c15]Thao Dang, Christian Hoffmann:
Fast Object Hypotheses Generation Using 3D Position and 3D Motion. CVPR Workshops 2005: 56 - 2004
- [c14]Thao Dang, Alexandre Donzé, Oded Maler:
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques. FMCAD 2004: 21-36 - [c13]Philippe Gerner, Thao Dang:
Computing Schedules for Multithreaded Real-Time Programs Using Geometry. FORMATS/FTRTFT 2004: 325-342 - [c12]Eugene Asarin, Thao Dang:
Abstraction by Projection and Application to Multi-affine Systems. HSCC 2004: 32-47 - 2003
- [j2]Rajeev Alur, Thao Dang, Joel M. Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky:
Hierarchical modeling and analysis of embedded systems. Proc. IEEE 91(1): 11-28 (2003) - [c11]Rajeev Alur, Thao Dang, Franjo Ivancic:
Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction. HSCC 2003: 4-19 - [c10]Eugene Asarin, Thao Dang, Antoine Girard:
Reachability Analysis of Nonlinear Systems Using Conservative Approximation . HSCC 2003: 20-35 - [c9]Rajeev Alur, Thao Dang, Franjo Ivancic:
Counter-Example Guided Predicate Abstraction of Hybrid Systems. TACAS 2003: 208-223 - 2002
- [c8]Eugene Asarin, Thao Dang, Oded Maler:
The d/dt Tool for Verification of Hybrid Systems. CAV 2002: 365-370 - [c7]Rajeev Alur, Thao Dang, Franjo Ivancic:
Reachability Analysis of Hybrid Systems via Predicate Abstraction. HSCC 2002: 35-48 - 2001
- [c6]Calin Belta, Jonathan Schug, Thao Dang, Vijay Kumar, George J. Pappas, Harvey Rubin, Paul Dunlap:
Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri. CDC 2001: 869-874 - [c5]Eugene Asarin, Thao Dang, Oded Maler:
d/dt: a verification tool for hybrid systems. CDC 2001: 2893-2898 - [c4]Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky:
Hierarchical Hybrid Modeling of Embedded Systems. EMSOFT 2001: 14-31 - [c3]Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao Dang, Oded Maler:
On Hybrid Control of Under-Actuated Mechanical Systems. HSCC 2001: 77-88 - 2000
- [j1]Eugene Asarin, Olivier Bournez, Thao Dang, Oded Maler, Amir Pnueli:
Effective synthesis of switching controllers for linear systems. Proc. IEEE 88(7): 1011-1025 (2000) - [c2]Eugene Asarin, Thao Dang, Oded Maler, Olivier Bournez:
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems. HSCC 2000: 20-31
1990 – 1999
- 1998
- [c1]Thao Dang, Oded Maler:
Reachability Analysis via Face Lifting. HSCC 1998: 96-109
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
