Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
102 | Xiaozhao Deng, Jianhai Ruan |
The Personal Digital Library (PDL)-based e-learning: Using the PDL as an e-learning support tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
I3E (2) ![In: Integration and Innovation Orient to E-Society, Volume 2, Seventh IFIP International Conference on e-Business, e-Services, and e-Society (I3E2007), October 10-12, Wuhan, China, pp. 549-555, 2007, Springer, 978-0-387-75493-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
91 | Brian A. Nejmeh |
The design of a PDL environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the Sixteenth ACM Annual Conference on Computer Science, Atlanta, Georgia, USA, February 23-25, 1988, pp. 287-298, 1988, ACM, 0-89791-260-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
PDL environment, program design languages, PDL/ADA, software metrics, software reusability, design tools |
88 | Jan van Eijck, Yanjing Wang 0001 |
Propositional Dynamic Logic as a Logic of Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings, pp. 136-148, 2008, Springer, 978-3-540-69936-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
PDL, epistemic dynamic logic, knowledge update, belief revision |
80 | Taolue Chen, Jaco van de Pol, Yanjing Wang 0001 |
PDL over Accelerated Labeled Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China, pp. 193-200, 2008, IEEE Computer Society, 978-0-7695-3249-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
PDL, Accelerated Labeled Transition Systems |
74 | Clint Morgan, Kris De Volder, Eric Wohlstadter |
A static aspect language for checking design rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 6th International Conference on Aspect-Oriented Software Development, AOSD 2007, Vancouver, British Columbia, Canada, March 12-16, 2007, pp. 63-72, 2007, ACM, 1-59593-615-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, design rule |
74 | Alessandra Cherubini, Pierluigi San Pietro |
Tree Adjoining Languages and Multipushdown Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 33(4), pp. 257-293, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
66 | Stefan Göller, Markus Lohrey, Carsten Lutz |
PDL with Intersection and Converse Is 2 EXP-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings, pp. 198-212, 2007, Springer, 978-3-540-71388-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
66 | Elisa Bertino, Alessandra Mileo, Alessandro Provetti |
PDL with Preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), 6-8 June 2005, Stockholm, Sweden, pp. 213-222, 2005, IEEE Computer Society, 0-7695-2265-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
66 | Carsten Lutz |
PDL with Intersection and Converse Is Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings, pp. 413-427, 2005, Springer, 3-540-28231-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
66 | Carsten Lutz, Dirk Walther 0002 |
PDL with Negation of Atomic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, pp. 259-273, 2004, Springer, 3-540-22345-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
66 | Rivi Sherman, Amir Pnueli, David Harel |
Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 1982, pp. 347-360, 1982, ACM Press, 0-89791-065-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
65 | Craig E. DeForest, Karl Glazebrook |
Practical Magick with C, PDL, and PDL: : PP - a guide to compiled add-ons for PDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1702.07753, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
59 | Shahrokh Valaee, Shahram Shahbazpanahi |
Detecting the number of signals in wireless DS-CDMA networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 56(7), pp. 1189-1197, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
59 | Ahmad Khodayari-Rostamabad, Shahrokh Valaee |
Information Theoretic Enumeration and Tracking of Multiple Sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 55(6-2), pp. 2765-2773, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
59 | Stefan Göller |
On the Complexity of Reasoning About Dynamic Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings, pp. 358-373, 2007, Springer, 978-3-540-74914-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
59 | Thomas Lukasiewicz |
Probabilistic Description Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings, pp. 737-749, 2005, Springer, 3-540-27326-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
59 | Rohit Parikh |
Propositional Logics of Programs: Systems, Models, and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, Las Vegas, Nevada, USA, January 1980, pp. 186-192, 1980, ACM Press, 0-89791-011-7. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
51 | Elisa Bertino, Alessandra Mileo, Alessandro Provetti |
PDL with Maximum Consistency Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003, Proceedings, pp. 65-74, 2003, Springer, 3-540-20256-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
51 | Leendert W. N. van der Torre, Yao-Hua Tan |
Prohairetic Deontic Logic (PDL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings, pp. 77-91, 1998, Springer, 3-540-65141-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
51 | Dexter Kozen |
A Representation Theorem for Models of *-Free PDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherlands, July 14-18, 1980, Proceedings, pp. 351-362, 1980, Springer, 3-540-10003-2. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
44 | Daniel Leivant |
Propositional Dynamic Logic for Recursive Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings, pp. 6-14, 2008, Springer, 978-3-540-87872-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
?-Calculus, fixpoints, recursive procedures, Propositional dynamic logic |
44 | Mario R. F. Benevides, Luis Menasché Schechter |
A Propositional Dynamic Logic for CCS Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings, pp. 83-97, 2008, Springer, 978-3-540-69936-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
44 | Benedikt Bollig, Dietrich Kuske, Ingmar Meinecke |
Propositional Dynamic Logic for Message-Passing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings, pp. 303-315, 2007, Springer, 978-3-540-77049-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Takashi Hirano, Yuichi Okano, Yasuhiro Okada, Fumio Yoda |
Text and Layout Information Extraction from Document Files of Various Formats Based on the Analysis of Page Description Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 9th International Conference on Document Analysis and Recognition (ICDAR 2007), 23-26 September, Curitiba, Paraná, Brazil, pp. 262-266, 2007, IEEE Computer Society, 978-0-7695-2822-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings |
A formal framework for agent interaction semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 91-98, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
intention ACL, interaction state, protocol, semantics, belief |
44 | Jeffrey Walrath |
Performance Modeling and Tradeoff Analysis During Rapid Prototyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 1996 International Conference on Application-Specific Systems, Architectures, and Processors (ASAP '96), August 19-23, 1996, Chicago, IL , USA, pp. 313-322, 1996, IEEE Computer Society, 0-8186-7542-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
44 | Albert R. Meyer, Robert S. Streett, Grazyna Mirkowska |
The Deducibility Problem in Propositional Dynamic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings, pp. 238-248, 1981, Springer, 3-540-10843-2. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
43 | Diego Figueira, Santiago Figueira, Edwin Pin Baque |
PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.10381, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
43 | Diego Figueira, Santiago Figueira, Edwin Pin Baque |
PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS, pp. 1-13, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
36 | Bernhard Heinemann |
A PDL-Like Logic of Knowledge Acquisition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings, pp. 146-157, 2007, Springer, 978-3-540-74509-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
knowledge acquisition, topological reasoning, propositional dynamic logic, logics of knowledge |
36 | Toshiyuki Shibuya, Rajeev Murgai, Tadashi Konno, Kazuhiro Emi, Kaoru Kawamura |
PDL: A New Physical Synthesis Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 4th International Symposium on Quality of Electronic Design (ISQED 2003), 24-26 March 2003, San Jose, CA, USA, pp. 348-354, 2003, IEEE Computer Society, 0-7695-1881-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Hans-Jörg Tiede |
Inessential Features, Ineliminable Features, and Modal Logics for Model Theoretic Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 17(2), pp. 217-227, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Model theoretic syntax, Modal logic, Tree automata |
30 | Mark A. Brown |
Acting, Events and Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 19-33, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Guillaume Aucher, Andreas Herzig |
From DEL to EDL : Exploring the Power of Converse Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings, pp. 199-209, 2007, Springer, 978-3-540-75255-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Jesse Hughes, Albert C. Esterline, Bahram Kimiaghalam |
Means-End Relations and a Measure of Efficacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 15(1-2), pp. 83-108, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
means-end relations, fuzzy modal logic, propositional dynamic logic, efficacy |
30 | Christof Löding, Olivier Serre |
Propositional Dynamic Logic with Recursive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings, pp. 292-306, 2006, Springer, 3-540-33045-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Jan M. Broersen, Andreas Herzig, Nicolas Troquard |
A STIT-Extension of ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings, pp. 69-81, 2006, Springer, 3-540-39625-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Stefan Göller, Markus Lohrey |
Infinite State Model-Checking of Propositional Dynamic Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings, pp. 349-364, 2006, Springer, 3-540-45458-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Carsten Sinz, Wolfgang Küchlin, Thomas Lumpp |
Towards a Verification of the Rule-Based Expert System of the IBM SA for OS/390 Automation Manager. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APAQS ![In: 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 10-11 December 2001, Hong Kong, China, Proceedings, pp. 367-374, 2001, IEEE Computer Society, 0-7695-1287-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Jan M. Broersen, Roel J. Wieringa, John-Jules Ch. Meyer |
A Semantics for Persistency in Propositional Dynamic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic ![In: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings, pp. 912-925, 2000, Springer, 3-540-67797-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Giuseppe De Giacomo, Maurizio Lenzerini |
Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings, pp. 332-346, 1994, Springer, 3-540-58332-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
30 | James H. Cross II |
Graphically-Oriented Reverse Engineering Tools for Ada Software (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, CSC '90, Sheraton Washington Hotel, Washington, DC, USA, February 20-22, 1990, pp. 428, 1990, ACM, 0-89791-348-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Ada |
30 | Jan Reiterman, Vera Trnková |
Dynamic Algebras which are not Kripke Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980, pp. 528-538, 1980, Springer, 3-540-10027-X. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
27 | E. Allen Emerson, Charanjit S. Jutla |
The Complexity of Tree Automata and Logics of Programs (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 29th Annual Symposium on Foundations of Computer Science, White Plains, New York, USA, 24-26 October 1988, pp. 328-337, 1988, IEEE Computer Society, 0-8186-0877-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
PDL-delta, infinite trees, nonemptiness algorithm, computational complexity, satisfiability, tree automata, finite-state automata, branching time logic, propositional dynamic logic, logics of programs, CTL* |
27 | Leland L. Beck |
A Relational Problem Definition Language For Structured Data Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference (1) ![In: Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume I, pp. 375-384, 1978, ACM, 978-0-89791-000-2. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
Problem definition languages, Relational data sublanguages, Structured data processing, Transaction-oriented systems, PDL/ADA, Query languages, Query transformation, Automatic program generation |
22 | Wenhui Zhu, Peijie Qiu, Oana M. Dumitrascu, Yalin Wang 0001 |
PDL: Regularizing Multiple Instance Learning with Progressive Dropout Layers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.10112, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Andrea D'Amico, Giacomo Borraccini, Stefano Straullu, Francesco Aquilino, Stefano Piciaccia, Alberto Tanzi, Gabriele Galimberti, Vittorio Curri |
Disaggregated Statistical Characterization of the PDL Impairment on the Optical Signal-to-Noise Ratio. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSC ![In: International Conference on Photonics in Switching and Computing, PSC 2023, Mantova, Italy, September 26-29, 2023, pp. 1-3, 2023, IEEE, 979-8-3503-2370-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Andrea D'Amico, Giacomo Borraccini, Stefano Straullu, Francesco Aquilino, Stefano Piciaccia, Alberto Tanzi, Gabriele Galimberti, Vittorio Curri |
Experimental Probing and Modeling of the PDL Impact on the Optical Signal-to-Noise Ratio. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OFC ![In: Optical Fiber Communications Conference and Exhibition, OFC 2023, San Diego, CA, USA, March 5-9, 2023, pp. 1-3, 2023, IEEE, 978-1-957171-18-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Ahmed Medra, Hossein Najafi, Chuandong Li 0002, Zhuhong Zhang |
A Post-Equalization Technique for PDL Compensation in Coherent Optical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OFC ![In: Optical Fiber Communications Conference and Exhibition, OFC 2023, San Diego, CA, USA, March 5-9, 2023, pp. 1-3, 2023, IEEE, 978-1-957171-18-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Akram Abouseif, Ghaya Rekaya-Ben Othman, Yves Jaouën |
MIMO Coding Technique for PDL and Crosstalk Mitigation in Optical Transmission Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OFC ![In: Optical Fiber Communications Conference and Exhibition, OFC 2023, San Diego, CA, USA, March 5-9, 2023, pp. 1-3, 2023, IEEE, 978-1-957171-18-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Ori Golani, David Dahan |
Statistical Properties of NLIN in Presence of PDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OFC ![In: Optical Fiber Communications Conference and Exhibition, OFC 2023, San Diego, CA, USA, March 5-9, 2023, pp. 1-3, 2023, IEEE, 978-1-957171-18-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Bartosz Bednarczyk |
Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings, pp. 289-305, 2023, Springer, 978-3-031-43618-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Camille Delezoide, Hassan Akbari, Petros Ramantanis, Fabien Boitier, Patricia Layec |
Automated Mitigation of Quality of Transmission Fluctuations Induced by PDL Anomalies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ONDM ![In: International Conference on Optical Network Design and Modeling, ONDM 2023, Coimbra, Portugal, May 8-11, 2023, pp. 1-3, 2023, IEEE, 978-3-903176-54-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
22 | Zhangkai Luo, Zhongmin Pei |
Orthogonal vector based transmission method for security enhancement and PDL elimination in dual-polarized wireless communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Signal Process. ![In: Signal Process. 196, pp. 108477, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Wieslaw Kopec, Cezary Biele, Monika Kornacka, Grzegorz Pochwatko, Anna Jaskulska, Kinga Skorupska, Julia Paluch, Piotr Gago, Barbara Karpowicz, Marcin Niewinski, Rafal Maslyk |
Participatory Design Landscape for the Human-Machine Collaboration, Interaction and Automation at the Frontiers of HCI (PDL 2021). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.03217, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Drew Zagieboylo, Charles Sherk, Gookwon Edward Suh, Andrew C. Myers |
PDL: a high-level hardware design language for pipelined processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022, pp. 719-732, 2022, ACM, 978-1-4503-9265-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Motohiko Eto, Kazuyuki Tajima, Setsuo Yoshida, Shoichiro Oda, Takeshi Hoshida |
Location-resolved PDL Monitoring with Rx-side Digital Signal Processing in Multi-span Optical Transmission System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OFC ![In: Optical Fiber Communications Conference and Exhibition, OFC 2022, San Diego, CA, USA, March 6-10, 2022, pp. 1-3, 2022, IEEE, 978-1-55752-466-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
22 | Brahim Ouacha, Hamid Bouyghf, Mohammed Nahid, Said Abenna, Lahcen Zougagh |
A comparative analysis of metaheuristic techniques for improving PTE and PDL of a wireless power transfer system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECOCS ![In: 3rd IEEE International Conference on Electronics, Control, Optimization and Computer Science, ICECOCS 2022, Fez, Morocco, December 1-2, 2022, pp. 1-5, 2022, IEEE, 978-1-6654-5723-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Vishesh P. Gaikwad, Jitendra V. Tembhurne, Chandrashekhar Meshram, Cheng-Chi Lee, Chun-Ta Li |
An Efficient Provably Secure Verifier-Based Three-Factor Authentication Technique Using PDL for Data Exchange in TMIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 108586-108600, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Antonio González-Burgueño, Peter Csaba Ölveczky |
Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 122, pp. 100685, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Shu Lin 0003, Na Meng 0001, Dennis G. Kafura, Wenxin Li 0005 |
PDL: Scaffolding Problem Solving in Programming Courses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE (1) ![In: ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.1, Virtual Event, Germany, June 26 - July 1, 2021., pp. 185-191, 2021, ACM, 978-1-4503-8214-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Peter David Shannon, Chrystopher L. Nehaniv, Somnuk Phon-Amnuaisuk |
Cartpole Problem with PDL and GP Using Multi-objective Fitness Functions Differing in a Priori Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIWAI ![In: Multi-disciplinary Trends in Artificial Intelligence - 14th International Conference, MIWAI 2021, Virtual Event, July 2-3, 2021, Proceedings, pp. 106-117, 2021, Springer, 978-3-030-80252-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Wieslaw Kopec, Cezary Biele, Monika Kornacka, Grzegorz Pochwatko, Anna Jaskulska, Kinga Skorupska, Julia Paluch, Piotr Gago, Barbara Karpowicz, Marcin Niewinski, Rafal Maslyk |
Participatory Design Landscape for the Human-Machine Collaboration, Interaction and Automation at the Frontiers of HCI (PDL 2021). ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERACT (5) ![In: Human-Computer Interaction - INTERACT 2021 - 18th IFIP TC 13 International Conference, Bari, Italy, August 30 - September 3, 2021, Proceedings, Part V, pp. 564-569, 2021, Springer, 978-3-030-85606-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Meiyuan Miao, Lin Wang 0003, Yue Rong, Weikai Xu |
A Polarization MDCSK Modulation Without PDL Over Multipath Rayleigh Fading Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Veh. Technol. ![In: IEEE Trans. Veh. Technol. 69(6), pp. 6813-6817, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Linh Anh Nguyen |
ExpTime Tableaux with Global Caching for Hybrid PDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 64(1), pp. 21-52, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Tao Gu, Alexandra Silva 0001, Fabio Zanasi |
Hennessy-Milner Results for Probabilistic PDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2020, Online, October 1, 2020, pp. 283-304, 2020, Elsevier. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Liangliang Xu, Min Lv, Zhipeng Li, Cheng Li 0001, Yinlong Xu |
PDL: A Data Layout towards Fast Failure Recovery for Erasure-coded Distributed Storage Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: 39th IEEE Conference on Computer Communications, INFOCOM 2020, Toronto, ON, Canada, July 6-9, 2020, pp. 736-745, 2020, IEEE, 978-1-7281-6412-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Nan Cui, Xiaoguang Zhang 0001, Nannan Zhang, Xianfeng Tang, Lixia Xi |
True Equalization of PDL in Presence of Fast RSOP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OFC ![In: Optical Fiber Communications Conference and Exhibition, OFC 2020, San Diego, CA, USA, March 8-12, 2020, pp. 1-3, 2020, IEEE, 978-1-9435-8071-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | Liang Zheng 0005, Changting Li, Zongbin Liu, Cunqing Ma |
Boosting Entropy Extraction of PDL-based RO PUF by High-order Difference Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: GLSVLSI '20: Great Lakes Symposium on VLSI 2020, Virtual Event, China, September 7-9, 2020, pp. 59-64, 2020, ACM, 978-1-4503-7944-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Hamid Ebrahimzad, Hossein Khoshnevis, Deyuan Chang, Chuandong Li 0002, Zhuhong Zhang |
Low-PAPR Polarization-Time Code with Improved Four-Dimensional Detection for PDL Mitigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOC ![In: European Conference on Optical Communications, ECOC 2020, Virtual Event, Belgium, December 6-10, 2020, pp. 1-3, 2020, IEEE, 978-1-7281-7361-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Yangzhou Gan, Jing Xiong, Qunfei Zhao, Zeyang Xia |
Effect of Boundary Condition and Model Structure Integrity of Tooth-PDL-Bone Complex on Tooth Mode Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 17207-17214, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Lev Gordeev |
Predicative proof theory of PDL and basic applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.05131, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
22 | Agathoklis Kritsimallis, Ioannis Refanidis |
ExpTime Tableaux for Type PDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1909.00436, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
22 | Philippe Balbiani, Joseph Boudou |
Axiomatization and computability of a variant of iteration-free PDL with fork. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 108, pp. 47-68, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Linh Anh Nguyen |
The Influence of the Test Operator on the Expressive Power of PDL-like Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 29(8), pp. 1289-1310, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Igor Sedlár, Vít Puncochár |
From positive PDL to its non-classical extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 27(4), pp. 522-542, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Antonio González-Burgueño, Peter Csaba Ölveczky |
Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers, pp. 129-144, 2019, Springer, 978-3-030-31516-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Tomofumi Oyama, Guoxiu Huang, Hisao Nakashima, Yoshitaka Nomura, Tomoo Takahara, Takeshi Hoshida |
Low-Complexity, Low-PAPR Polarization-Time Code for PDL Mitigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OFC ![In: Optical Fiber Communications Conference and Exhibition, OFC 2019, San Diego, CA, USA, March 3-7, 2019, pp. 1-3, 2019, IEEE, 978-1-943580-53-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
22 | Pere Pardo, Enrique Sarión-Morrillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada |
Tuning the Program Transformers from CC to PDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(1), pp. 71-96, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
22 | Philippe Balbiani, Joseph Boudou |
Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 28(4), pp. 705-731, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Linh Anh Nguyen |
The Influence of the Test Operator on the Expressive Powers of PDL-Like Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P ![In: Proceedings of the 27th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 24-26, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
22 | Wanjiao Shi, Yufeng Wang 0001, Qun Jin, Jianhua Ma 0002 |
PDL: An Efficient Prediction-Based False Data Injection Attack Detection and Location in Smart Grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: 2018 IEEE 42nd Annual Computer Software and Applications Conference, COMPSAC 2018, Tokyo, Japan, 23-27 July 2018, Volume 2, pp. 676-681, 2018, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Huihui Li, Guoxiu Huang, Zhenning Tao, Hao Chen 0058, Shoichiro Oda, Yuichi Akiyama, Tomohiro Yamauchi, Takeshi Hoshida |
An Accurate and Robust PDL Monitor by Digital Signal Processing in Coherent Receiver. ![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 |
|
22 | Christian Doczkal, Joachim Bard |
Completeness and decidability of converse PDL in the constructive type theory of Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018, pp. 42-52, 2018, ACM, 978-1-4503-5586-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Ahmad Abdo, Claude D'Amours |
Performance of LMS Based Adaptive Filtering in Coherent Optical Receivers in Presence of State-of-Polarization Transients, PDL and ROADMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: 2018 IEEE Canadian Conference on Electrical & Computer Engineering, CCECE 2018, Quebec, QC, Canada, May 13-16, 2018, pp. 1-4, 2018, IEEE, 978-1-5386-2410-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Shota Ishimura, Kosuke Nishimura |
Decision-Directed Adaptive PDL-Compensation Algorithm for Stokes Vector Receivers. ![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 |
|
22 | Arnaud Dumenil, Elie Awwad, Cyril Measson |
Low-Complexity Polarization Coding for PDL-Resilience. ![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 |
|
22 | Tomofumi Oyama, Hisao Nakashima, Yoshitaka Nomura, Guoxiu Huang, Takahito Tanimura, Takeshi Hoshida |
PDL Mitigation by Polarization-Time Codes with Simple Decoding and Pilot-Aided Demodulation. ![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 |
|
22 | Mario R. F. Benevides |
Bisimilar and logically equivalent programs in PDL with parallel operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 685, pp. 23-45, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Linh Anh Nguyen |
ExpTime Tableaux with Global Caching for Hybrid PDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1705.00848, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
22 | Agathoklis Kritsimallis |
Tableaux with Partial Caching for Hybrid PDL with Satisfaction Statements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, pp. 229-247, 2017, Springer, 978-3-319-67728-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Jon Haël Brenas, Rachid Echahed, Martin Strecker |
C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia, pp. 29-41, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Peter David Shannon, Chrystopher L. Nehaniv, Somnuk Phon-Amnuaisuk |
Enhancing Exploration and Exploitation of NSGA-II with GP and PDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSI (1) ![In: Advances in Swarm Intelligence - 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part I, pp. 349-361, 2017, Springer, 978-3-319-61823-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Philippe Balbiani, Joseph Boudou |
Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALI@TABLEAUX ![In: Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings, pp. 17-34, 2017, Springer, 978-3-319-73578-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Florian Bruse, Daniel Kernberger, Martin Lange |
A Canonical Model Construction for Iteration-Free PDL with Intersection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016., pp. 120-134, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Xinwen Zhou, Zeyang Xia, Yangzhou Gan, Dongxia Zhang, Jing Xiong, Peng Fang, Guanglin Li 0001, Qunfei Zhao |
Orthodontic force simulation of Tooth-PDL-Bone Complex under archwire loading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2016, Orlando, FL, USA, August 16-20, 2016, pp. 6030-6033, 2016, IEEE, 978-1-4577-0220-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Enmei Tu, Jie Yang 0002, Nikola K. Kasabov, Yaqian Zhang |
Posterior Distribution Learning (PDL): A novel supervised learning framework using unlabeled samples to improve classification performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 157, pp. 173-186, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Facundo Carreiro |
Characterization theorems for PDL and FO(TC). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1501.02607, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
22 | Yanjun Li |
Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LORI ![In: Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings, pp. 230-242, 2015, Springer, 978-3-662-48560-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Facundo Carreiro |
PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015, pp. 341-352, 2015, IEEE Computer Society, 978-1-4799-8875-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|