Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Jian-Qing Zheng, Xiao-Yun Zhou, Celia V. Riga, Guang-Zhong Yang |
Real-Time 3-D Shape Instantiation for Partially Deployed Stent Segments From a Single 2-D Fluoroscopic Image in Fenestrated Endovascular Aortic Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 4(4), pp. 3703-3710, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Xiao-Yun Zhou, Zhao-Yang Wang, Peichao Li, Jian-Qing Zheng, Guang-Zhong Yang |
One-stage Shape Instantiation from a Single 2D Image to 3D Point Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.10763, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Zhao-Yang Wang, Xiao-Yun Zhou, Peichao Li, Celia V. Riga, Guang-Zhong Yang |
Instantiation-Net: 3D Mesh Reconstruction from Single 2D Image for Right Ventricle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1909.08986, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Jian-Qing Zheng, Xiao-Yun Zhou, Guang-Zhong Yang |
Real-time 3D Shape Instantiation for Partially-deployed Stent Segment from a Single 2D Fluoroscopic Image in Robot-assisted Fenestrated Endovascular Aortic Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1902.11089, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Idris Badmus, Marja Matinmikko-Blue, Jaspreet Singh Walia, Tarik Taleb |
Network Slice Instantiation for 5G Micro-Operator Deployment Scenario. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1905.04289, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham |
Bounded Quantifier Instantiation for Checking Inductive Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 15(3), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Andrey Jivsov |
A concrete instantiation of Bulletproof zero-knowledge proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2019, pp. 1184, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Keitaro Hashimoto, Wakaha Ogata, Toi Tomita |
Tight reduction for generic construction of certificateless signature and its instantiation from DDH assumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2019, pp. 1367, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Long Zeng, Zhi-Kai Dong, Jia-yi Yu, Jun Hong, Hong-Yu Wang |
Sketch-based Retrieval and Instantiation of Parametric Parts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Des. ![In: Comput. Aided Des. 113, pp. 82-95, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | San Ling, Khoa Nguyen 0002, Huaxiong Wang, Juanyang Zhang |
Server-Aided Revocable Predicate Encryption: Formalization and Lattice-Based Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 62(12), pp. 1849-1862, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Mijalche Santa, Geert Poels |
Atlas Framework for integral Enterprise modelling - Instantiation for Dynamic Capabilities modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIS ![In: 27th European Conference on Information Systems - Information Systems for a Sharing Society, ECIS 2019, Stockholm and Uppsala, Sweden, June 8-14, 2019, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Ayan Palchaudhuri, Anindya Sundar Dhar |
FPGA Fabric Conscious Design and Implementation of Speed-Area Efficient Signed Digit Add-Subtract Logic through Primitive Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSSC ![In: 53rd Asilomar Conference on Signals, Systems, and Computers, ACSCC 2019, Pacific Grove, CA, USA, November 3-6, 2019, pp. 1555-1559, 2019, IEEE, 978-1-7281-4301-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Giuliano Losa, Eli Gafni, David Mazières |
Stellar Consensus by Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: 33rd International Symposium on Distributed Computing, DISC 2019, October 14-18, 2019, Budapest, Hungary., pp. 27:1-27:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-126-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Idris Badmus, Marja Matinmikko-Blue, Jaspreet Singh Walia, Tarik Taleb |
Network Slice Instantiation for 5G Micro-Operator Deployment Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuCNC ![In: European Conference on Networks and Communications, EuCNC 2019, Valencia, Spain, June 18-21, 2019, pp. 133-138, 2019, IEEE, 978-1-7281-0546-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Pei Zhang 0013, Denis Cavallucci, Cecilia Zanni-Merk |
A New Way to Classify Physical Effects for Ontology Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFC ![In: New Opportunities for Innovation Breakthroughs for Developing Countries and Emerging Economies - 19th International TRIZ Future Conference, TFC 2019, Marrakesh, Morocco, October 9-11, 2019, Proceedings, pp. 70-78, 2019, Springer, 978-3-030-32496-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Mark A. Miller, Christian J. Stoeckert Jr. |
A Collaborative, Realism-Based, Electronic Healthcare Graph: Public Data, Common Data Models, and Practical Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICBO ![In: Proceedings of the 10th International Conference on Biomedical Ontology (ICBO 2019), Buffalo, New York, USA, July 30 - August 2, 2019., pp. 1-10, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Shweta Agrawal |
Indistinguishability Obfuscation Without Multilinear Maps: New Methods for Bootstrapping and Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT (1) ![In: Advances in Cryptology - EUROCRYPT 2019 - 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19-23, 2019, Proceedings, Part I, pp. 191-225, 2019, Springer, 978-3-030-17652-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Taejune Park, Yeonkeun Kim, Vinod Yegneswaran, Phillip A. Porras, Zhaoyan Xu, KyoungSoo Park, Seungwon Shin |
DPX: Data-Plane eXtensions for SDN Security Service Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIMVA ![In: Detection of Intrusions and Malware, and Vulnerability Assessment - 16th International Conference, DIMVA 2019, Gothenburg, Sweden, June 19-20, 2019, Proceedings, pp. 415-437, 2019, Springer, 978-3-030-22037-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Xiao-Yun Zhou, Zhao-Yang Wang, Peichao Li, Jian-Qing Zheng, Guang-Zhong Yang |
One-Stage Shape Instantiation from a Single 2D Image to 3D Point Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (4) ![In: Medical Image Computing and Computer Assisted Intervention - MICCAI 2019 - 22nd International Conference, Shenzhen, China, October 13-17, 2019, Proceedings, Part IV, pp. 30-38, 2019, Springer, 978-3-030-32250-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Keita Emura, Shuichi Katsumata, Yohei Watanabe 0001 |
Identity-Based Encryption with Security Against the KGC: A Formal Model and Its Instantiation from Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS (2) ![In: Computer Security - ESORICS 2019 - 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part II, pp. 113-133, 2019, Springer, 978-3-030-29961-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Jens Kosiol, Lars Fritsche, Andy Schürr, Gabriele Taentzer |
Adhesive Subcategories of Functor Categories with Instantiation to Partial Triple Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, pp. 38-54, 2019, Springer, 978-3-030-23610-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Martin Riener |
Experimenting with Theory Instantiation in Vampire. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vampire ![In: Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops, pp. 30-37, 2019, EasyChair. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Anna S. Kefala |
Quality of learner experience in technology-enhanced learning: a reference layered framework, model instantiation guidelines and empirical Investigation ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
17 | Zaid Jafer Fadil Al-Bayati |
Coupling ontology with reference architectures to facilitate the instantiation process of software system architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
17 | Wael Farid Youssef |
Instantiation of a textual description schema of video surveillance scenes. (Instanciation d'un schéma de description textuel de scènes de vidéo surveillance). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
17 | Colin Atkinson 0001, Thomas Kühne 0001 |
Deep Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems (2nd ed.) ![In: Encyclopedia of Database Systems, Second Edition, 2018, Springer, 978-1-4614-8266-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Christof Löding, P. Madhusudan, Lucas Peña |
Foundations for natural proofs and quantifier instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 2(POPL), pp. 10:1-10:30, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Xiao-Yun Zhou, Guang-Zhong Yang, Su-Lin Lee |
A real-time and registration-free framework for dynamic shape instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Image Anal. ![In: Medical Image Anal. 44, pp. 86-97, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Xiao-Yun Zhou, Jianyu Lin, Celia V. Riga, Guang-Zhong Yang, Su-Lin Lee |
Real-Time 3-D Shape Instantiation From Single Fluoroscopy Projection for Fenestrated Stent Graft Deployment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 3(2), pp. 1314-1321, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Hui Fang 0002, Jie Zhang 0002, Murat Sensoy |
A generalized stereotype learning approach and its instantiation in trust modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commer. Res. Appl. ![In: Electron. Commer. Res. Appl. 30, pp. 149-158, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Xiao-Yun Zhou, Guang-Zhong Yang, Su-Lin Lee |
A Real-time and Registration-free Framework for Dynamic Shape Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1801.00182, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Abhijeet Gupta, Gemma Boleda, Sebastian Padó |
Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1808.01662, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Niklas Carlsson, Derek L. Eager |
Caching in the Clouds: Optimized Dynamic Cache Instantiation in Content Delivery Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.03914, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | San Ling, Khoa Nguyen 0002, Huaxiong Wang, Juanyang Zhang |
Server-Aided Revocable Predicate Encryption: Formalization and Lattice-Based Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1801.07844, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Paolo Pistone |
Proof nets and the instantiation overflow property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.09297, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | David Derler, Sebastian Ramacher, Daniel Slamanig |
Generic Double-Authentication Preventing Signatures and a Post-Quantum Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2018, pp. 790, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Shweta Agrawal |
New Methods for Indistinguishability Obfuscation: Bootstrapping and Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2018, pp. 633, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Martin G. Skjæveland, Daniel P. Lupp, Leif Harald Karlsen, Henrik Forssell |
Practical Ontology Pattern Instantiation, Discovery, and Maintenance with Reasonable Ontology Templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC (1) ![In: The Semantic Web - ISWC 2018 - 17th International Semantic Web Conference, Monterey, CA, USA, October 8-12, 2018, Proceedings, Part I, pp. 477-494, 2018, Springer, 978-3-030-00670-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Martin G. Skjæveland, Leif Harald Karlsen, Daniel P. Lupp |
Practical Ontology Pattern Instantiation, Discovery, and Maintanence with Reasonable Ontology Templates - Demo paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC (P&D/Industry/BlueSky) ![In: Proceedings of the ISWC 2018 Posters & Demonstrations, Industry and Blue Sky Ideas Tracks co-located with 17th International Semantic Web Conference (ISWC 2018), Monterey, USA, October 8th - to - 12th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Xiao-Yun Zhou, Celia V. Riga, Su-Lin Lee, Guang-Zhong Yang |
Towards Automatic 3D Shape Instantiation for Deployed Stent Grafts: 2D Multiple-class and Class-imbalance Marker Segmentation with Equally-weighted Focal U-Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2018, Madrid, Spain, October 1-5, 2018, pp. 1261-1267, 2018, IEEE, 978-1-5386-8094-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Matthias Walter |
Approach to IS Solution Design and Instantiation for Practice-Oriented Research - A Design Science Research Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AITM/ISM@FedCSIS ![In: Information Technology for Management: Emerging Research and Applications - 15th Conference, AITM 2018, and 13th Conference, ISM 2018, Held as Part of FedCSIS, Poznan, Poland, September 9-12, 2018, Revised and Extended Selected Papers, pp. 194-213, 2018, Springer, 978-3-030-15153-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Jorge Maestre Vidal, Marco Antonio Sotelo Monge, Luis Javier García-Villalba |
Detecting Workload-based and Instantiation-based Economic Denial of Sustainability on 5G environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the 13th International Conference on Availability, Reliability and Security, ARES 2018, Hamburg, Germany, August 27-30, 2018, pp. 50:1-50:8, 2018, ACM, 978-1-4503-6448-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Andrew Reynolds 0001, Haniel Barbosa, Pascal Fontaine |
Revisiting Enumerative Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II, pp. 112-131, 2018, Springer, 978-3-319-89962-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Giles Reger, Martin Suda 0001, Andrei Voronkov |
Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (1) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I, pp. 3-22, 2018, Springer, 978-3-319-89959-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Ivan Jovanovikj, Enes Yigitbas, Stefan Sauer 0001 |
Test Case Migration: A Reference Process Model and its Instantiation in an Industrial Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modellierung (Workshops) ![In: Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018, Braunschweig, Germany, February 21, 2018., pp. 153-162, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Francisco-Javier Moreno-Muro, César San Nicolás Martínez, E. Martin-Seoane, Miquel Garrich, Pablo Pavón-Mariño, Óscar González de Dios, Víctor López 0001 |
Joint Optimal Service Chain Allocation, VNF instantiation and Metro Network Resource Management Demonstration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OFC ![In: Optical Fiber Communications Conference and Exposition, OFC 2018, San Diego, CA, USA, March 11-15, 2018, pp. 1-3, 2018, IEEE, 978-1-943580-38-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Hiroaki Anada |
Detailed Instantiation of the Decentralized Multi-Authority Anonymous Authentication Scheme and Tighter Reduction for Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CANDAR ![In: Sixth International Symposium on Computing and Networking, CANDAR 2018, Takayama, Japan, November 23-27, 2018, pp. 85-91, 2018, IEEE Computer Society, 978-1-5386-9182-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | David Derler, Sebastian Ramacher, Daniel Slamanig |
Generic Double-Authentication Preventing Signatures and a Post-quantum Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ProvSec ![In: Provable Security - 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings, pp. 258-276, 2018, Springer, 978-3-030-01445-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Francisco García-Sánchez 0001, José Antonio García-Díaz, Juan Miguel Gómez-Berbís, Rafael Valencia-García |
Financial Knowledge Instantiation from Semi-structured, Heterogeneous Data Sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSOS (2) ![In: Artificial Intelligence and Algorithms in Intelligent Systems - Proceedings of 7th Computer Science On-line Conference 2018, Volume 2, pp. 103-110, 2018, Springer, 978-3-319-91188-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Sushant Agarwal, Simon Steyskal, Franjo Antunovic, Sabrina Kirrane |
Legislative Compliance Assessment: Framework, Model and GDPR Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APF ![In: Privacy Technologies and Policy - 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers, pp. 131-149, 2018, Springer, 978-3-030-02546-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Enea Parimbelli, Szymon Wilk, Stephen P. Kingwell, Pavel Andreev, Wojtek Michalowski |
Shared Decision-Making Ontology for a Healthcare Team Executing a Workflow, an Instantiation for Metastatic Spinal Cord Compression Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2018, American Medical Informatics Association Annual Symposium, San Francisco, CA, November 3-7, 2018, 2018, AMIA. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Annemarie Borg, Ofer Arieli |
Hypersequential Argumentation Frameworks: An Instantiation in the Modal Logic S5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018, pp. 1097-1104, 2018, International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Francisco-Javier Moreno-Muro, César San Nicolás Martínez, Miquel Garrich, Pablo Pavón-Mariño, Óscar González de Dios, Rafael A. López da Silva |
Latency-Aware Optimization of Service Chain Allocation with Joint VNF Instantiation and SDN Metro Network Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOC ![In: European Conference on Optical Communication, ECOC 2018, Rome, Italy, September 23-27, 2018, pp. 1-3, 2018, IEEE, 978-1-5386-4862-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Juan Manuel Martinez Caamaño, Manuel Selva, Philippe Clauss, Artyom Baloian, Willy Wolff |
Full runtime polyhedral optimizing loop transformations with the generation, instantiation, and scheduling of code-bones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 29(15), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Shahab Pourtalebi, Imre Horváth |
Information schema constructs for instantiation and composition of system manifestation features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Inf. Technol. Electron. Eng. ![In: Frontiers Inf. Technol. Electron. Eng. 18(9), pp. 1396-1415, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Andrew Reynolds 0001, Tim King 0001, Viktor Kuncak |
Solving quantified linear arithmetic by counterexample-guided instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 51(3), pp. 500-532, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Xiao-Yun Zhou, Jianyu Lin, Celia V. Riga, Guang-Zhong Yang, Su-Lin Lee |
Real-time 3D Shape Instantiation from Single Fluoroscopy Projection for Fenestrated Stent Graft Deployment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1709.07689, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham |
Bounded Quantifier Instantiation for Checking Inductive Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1710.08668, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Leonardo Vieira Barcelos, Rosângela Dellosso Penteado |
Elaboration of software requirements documents by means of patterns instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. Eng. Res. Dev. ![In: J. Softw. Eng. Res. Dev. 5, pp. 3, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Flavio Esposito |
Catena: A distributed architecture for robust service function chain instantiation with guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NetSoft ![In: 2017 IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, pp. 1-9, 2017, IEEE, 978-1-5090-6008-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Christian Dietrich 0001, Daniel Lohmann |
OSEK-V: application-specific RTOS instantiation in hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2017, Barcelona, Spain, June 21-22, 2017, pp. 111-120, 2017, ACM, 978-1-4503-5030-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Martin G. Skjæveland, Henrik Forssell, Johan W. Klüwer, Daniel P. Lupp, Evgenij Thorstensen, Arild Waaler |
Pattern-Based Ontology Design and Instantiation with Reasonable Ontology Templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOP@ISWC ![In: Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Delacyr Almeida Monteiro Ferreira, Débora Maria Barroso Paiva, Maria Istela Cagnin |
BPL-Framework 2.0: Support tool for Creation and Instantiation of Business Process Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 29th International Conference on Software Engineering and Knowledge Engineering, Wyndham Pittsburgh University Center, Pittsburgh, PA, USA, July 5-7, 2017., pp. 81-84, 2017, KSI Research Inc. and Knowledge Systems Institute Graduate School, 1-891706-41-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Soumia Zellagui, Chouki Tibermacine, Hinde-Lilia Bouziane, Abdelhak-Djamel Seriai, Christophe Dony |
Refactoring Object-Oriented Applications towards a better Decoupling and Instantiation Unanticipation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 29th International Conference on Software Engineering and Knowledge Engineering, Wyndham Pittsburgh University Center, Pittsburgh, PA, USA, July 5-7, 2017., pp. 450-455, 2017, KSI Research Inc. and Knowledge Systems Institute Graduate School, 1-891706-41-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Walter Terkaj |
OntoGui: A Graphical User Interface for Rapid Instantiation of OWL Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JOWO ![In: Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Kushan Sudheera Kalupahana Liyanage, Maode Ma, Peter Han Joo Chong |
Efficient Flow Instantiation via Source Routing in Software Defined Vehicular Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Fall ![In: 86th IEEE Vehicular Technology Conference, VTC Fall 2017, Toronto, ON, Canada, September 24-27, 2017, pp. 1-5, 2017, IEEE, 978-1-5090-5935-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Damiano Arena, Dimitris Kiritsis |
A Methodological Framework for Ontology-Driven Instantiation of Petri Net Manufacturing Process Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLM ![In: Product Lifecycle Management and the Industry of the Future - 14th IFIP WG 5.1 International Conference, PLM 2017, Seville, Spain, July 10-12, 2017, Revised Selected Papers, pp. 557-567, 2017, Springer, 978-3-319-72904-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Annemarie Borg, Ofer Arieli, Christian Straßer |
Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAFA ![In: Theory and Applications of Formal Argumentation - 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers, pp. 17-34, 2017, Springer, 978-3-319-75552-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Marcel Essig, Kurt Franz Ackermann |
On-demand instantiation of co-processors on dynamically reconfigurable FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ReCoSoC ![In: 12th International Symposium on Reconfigurable Communication-centric Systems-on-Chip, ReCoSoC 2017, Madrid, Spain, July 12-14, 2017, pp. 1-8, 2017, IEEE, 978-1-5386-3344-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Feng Feng 0004, Tony Stockman |
An investigation of dynamic crossmodal instantiation in TUIs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: Proceedings of the 19th ACM International Conference on Multimodal Interaction, ICMI 2017, Glasgow, United Kingdom, November 13 - 17, 2017, pp. 82-90, 2017, ACM, 978-1-4503-5543-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Richard P. Smiraglia |
Data and Metadata Instantiation: Use Cases and a Conceptual Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dublin Core Conference ![In: Proceedings of the 2017 International Conference on Dublin Core and Metadata Applications, DC 2017, Washington, D.C., USA, October 13-16, 2017, pp. 25-26, 2017, Dublin Core Metadata Initiative. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Dong Yan, Linjie Pan 0001, Rongjie Yan, Jun Yan 0009, Jian Zhang 0001 |
Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017, Turin, Italy, July 4-8, 2017. Volume 1, pp. 67-74, 2017, IEEE Computer Society, 978-1-5386-0367-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Michael Anderson 0001, Susan Leigh Anderson, Vincent Berenz |
A Value Driven Agent: Instantiation of a Case-Supported Principle-Based Behavior Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Workshops ![In: The Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, Saturday, February 4-9, 2017, San Francisco, California, USA, 2017, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Hassan Hawilo, Manar Jammal, Abdallah Shami |
Orchestrating network function virtualization platform: Migration or re-instantiation? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CloudNet ![In: 6th IEEE International Conference on Cloud Networking, CloudNet 2017, Prague, Czech Republic, September 25-27, 2017, pp. 35-40, 2017, IEEE, 978-1-5090-4026-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham |
Bounded Quantifier Instantiation for Checking Inductive Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (1) ![In: 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, pp. 76-95, 2017, 978-3-662-54576-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Bernd Neumayr, Christoph G. Schuetz, Christian Horner, Michael Schrefl |
DeepRuby: Extending Ruby with Dual Deep Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Satellite Events) ![In: Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA, September, 17, 2017., pp. 252-260, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Bruno Sofiato, Ricardo Luis de Azevedo da Rocha |
On the adaptive instantiation of type-specific collections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANT/SEIT ![In: The 8th International Conference on Ambient Systems, Networks and Technologies (ANT 2017) / The 7th International Conference on Sustainable Energy Information Technology (SEIT 2017), 16-19 May 2017, Madeira, Portugal, pp. 1170-1175, 2017, Elsevier. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Ayan Palchaudhuri, Anindya Sundar Dhar |
Primitive Instantiation Based Fault Localization Circuitry for High Performance FPGA Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDAT ![In: VLSI Design and Test - 21st International Symposium, VDAT 2017, Roorkee, India, June 29 - July 2, 2017, Revised Selected Papers, pp. 594-606, 2017, Springer, 978-981-10-7469-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Andrew Reynolds 0001 |
Quantifier Instantiation Beyond E-Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22 - 23, 2017., pp. 2, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Giles Reger, Martin Suda 0001, Andrei Voronkov |
Instantiation and Pretending to be an SMT Solver with Vampire. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT ![In: Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22 - 23, 2017., pp. 63-75, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Haniel Barbosa |
New techniques for instantiation and proof production in SMT solving. (Nouvelles techniques pour l'instanciation et la production des preuves dans SMT). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
17 | Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez |
A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 15(4), pp. 987-1012, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Leonardo Richter Bays, Rodrigo Ruas Oliveira, Luciana S. Buriol, Marinho P. Barcellos, Luciano Paschoal Gaspary |
A toolset for efficient privacy-oriented virtual network embedding and its instantiation on SDN/OpenFlow-based substrates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 82, pp. 13-27, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Keita Emura, Jae Hong Seo, Taek-Young Youn |
Semi-Generic Transformation of Revocable Hierarchical Identity-Based Encryption and Its DBDH Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 99-A(1), pp. 83-91, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Dov M. Gabbay |
Theory of Semi-Instantiation in Abstract Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 10(4), pp. 431-516, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Akim Demaille |
Runtime Template Instantiation for C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1611.00947, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Bruno Dinis, Gilda Ferreira |
Instantiation overflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reports Math. Log. ![In: Reports Math. Log. 51, pp. 15-33, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Sedat Akleylek, Nina Bindel, Johannes Buchmann 0001, Juliane Krämer, Giorgia Azzurra Marson |
An Efficient Lattice-Based Signature Scheme with Provably Secure Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2016, pp. 30, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Nishant Totla, Thomas Wies |
Complete Instantiation-Based Interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 57(1), pp. 37-65, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Guillaume Babin, Yamine Aït Ameur, Marc Pantel |
Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016, pp. 31-38, 2016, IEEE Computer Society, 978-1-4673-9913-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Zoltán Theisz, Gergely Mezei |
Multi-level Dynamic Instantiation for Resolving Node-edge Dichotomy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: MODELSWARD 2016 - Proceedings of the 4rd International Conference on Model-Driven Engineering and Software Development, Rome, Italy, 19-21 February, 2016., pp. 274-281, 2016, SciTePress, 978-989-758-168-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Terje Gjøsæter, Andreas Prinz 0001, Jan Pettersen Nytun |
MOF-VM: Instantiation Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: MODELSWARD 2016 - Proceedings of the 4rd International Conference on Model-Driven Engineering and Software Development, Rome, Italy, 19-21 February, 2016., pp. 137-144, 2016, SciTePress, 978-989-758-168-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Cuong Pham 0004, Dat Tang, Ken-ichi Chinen, Razvan Beuran |
CyRIS: a cyber range instantiation system for facilitating security training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoICT ![In: Proceedings of the Seventh Symposium on Information and Communication Technology, SoICT 2016, Ho Chi Minh City, Vietnam, December 8-9, 2016, pp. 251-258, 2016, ACM, 978-1-4503-4815-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Karl Hammar, Valentina Presutti |
Template-Based Content ODP Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOP@ISWC ![In: Advances in Ontology Design and Patterns [revised and extended versions of the papers presented at the 7th edition of the Workshop on Ontology and Semantic Web Patterns, WOP@ISWC 2016, Kobe, Japan, 18th October 2016], pp. 1-13, 2016, IOS Press, 978-1-61499-825-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Giovanni Agosta, Alessandro Barenghi, Gerardo Pelosi |
Automated instantiation of side-channel attacks countermeasures for software cipher implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the ACM International Conference on Computing Frontiers, CF'16, Como, Italy, May 16-19, 2016, pp. 455-460, 2016, ACM, 978-1-4503-4128-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Franz Baader, Pierre Ludmann |
The Unification Type of ACUI w.r.t. the Unrestricted Instantiation Preorder is not Finitary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF ![In: Proceedings of the 30th International Workshop on Unification, UNIF 2016, Porto, Portugal, June 26, 2016., pp. 31-36, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Iris Reinhartz-Berger, Anna Zamansky, Yair Wand |
An Ontological Approach for Identifying Software Variants: Specialization and Template Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings, pp. 98-112, 2016, 978-3-319-46396-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Junyi Jessy Li, Ani Nenkova |
The Instantiation Discourse Relation: A Corpus Analysis of Its Properties and Improved Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLT-NAACL ![In: NAACL HLT 2016, The 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, San Diego California, USA, June 12-17, 2016, pp. 1181-1186, 2016, The Association for Computational Linguistics, 978-1-941643-91-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Vladimir Lifschitz |
Intelligent Instantiation and Supersafe Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP (Technical Communications) ![In: Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, October 16-21, 2016, New York City, USA, pp. 7:1-7:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-007-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Jesper Buus Nielsen, Samuel Ranellucci |
Reactive Garbling: Foundation, Instantiation, Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT (2) ![In: Advances in Cryptology - ASIACRYPT 2016 - 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II, pp. 1022-1052, 2016, 978-3-662-53889-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|