Search results for "PDL"

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.	I3E (2)	2007	DBLP DOI BibTeX RDF
91	Brian A. Nejmeh	The design of a PDL environment.	ACM Conference on Computer Science	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.	WoLLIC	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.	TASE	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.	AOSD	2007	DBLP DOI BibTeX RDF	aspect-oriented programming, design rule
74	Alessandra Cherubini, Pierluigi San Pietro	Tree Adjoining Languages and Multipushdown Languages.	Theory Comput. Syst.	2000	DBLP DOI BibTeX RDF
66	Stefan Göller, Markus Lohrey, Carsten Lutz	PDL with Intersection and Converse Is 2 EXP-Complete.	FoSSaCS	2007	DBLP DOI BibTeX RDF
66	Elisa Bertino, Alessandra Mileo, Alessandro Provetti	PDL with Preferences.	POLICY	2005	DBLP DOI BibTeX RDF
66	Carsten Lutz	PDL with Intersection and Converse Is Decidable.	CSL	2005	DBLP DOI BibTeX RDF
66	Carsten Lutz, Dirk Walther 0002	PDL with Negation of Atomic Programs.	IJCAR	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.	POPL	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.	CoRR	2017	DBLP BibTeX RDF
59	Shahrokh Valaee, Shahram Shahbazpanahi	Detecting the number of signals in wireless DS-CDMA networks.	IEEE Trans. Commun.	2008	DBLP DOI BibTeX RDF
59	Ahmad Khodayari-Rostamabad, Shahrokh Valaee	Information Theoretic Enumeration and Tracking of Multiple Sources.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
59	Stefan Göller	On the Complexity of Reasoning About Dynamic Policies.	CSL	2007	DBLP DOI BibTeX RDF
59	Thomas Lukasiewicz	Probabilistic Description Logic Programs.	ECSQARU	2005	DBLP DOI BibTeX RDF
59	Rohit Parikh	Propositional Logics of Programs: Systems, Models, and Complexity.	POPL	1980	DBLP DOI BibTeX RDF
51	Elisa Bertino, Alessandra Mileo, Alessandro Provetti	PDL with Maximum Consistency Monitors.	ISMIS	2003	DBLP DOI BibTeX RDF
51	Leendert W. N. van der Torre, Yao-Hua Tan	Prohairetic Deontic Logic (PDL).	JELIA	1998	DBLP DOI BibTeX RDF
51	Dexter Kozen	A Representation Theorem for Models of *-Free PDL.	ICALP	1980	DBLP DOI BibTeX RDF
44	Daniel Leivant	Propositional Dynamic Logic for Recursive Procedures.	VSTTE	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.	WoLLIC	2008	DBLP DOI BibTeX RDF
44	Benedikt Bollig, Dietrich Kuske, Ingmar Meinecke	Propositional Dynamic Logic for Message-Passing Systems.	FSTTCS	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.	ICDAR	2007	DBLP DOI BibTeX RDF
44	Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings	A formal framework for agent interaction semantics.	AAMAS	2005	DBLP DOI BibTeX RDF	intention ACL, interaction state, protocol, semantics, belief
44	Jeffrey Walrath	Performance Modeling and Tradeoff Analysis During Rapid Prototyping.	ASAP	1996	DBLP DOI BibTeX RDF
44	Albert R. Meyer, Robert S. Streett, Grazyna Mirkowska	The Deducibility Problem in Propositional Dynamic Logic.	ICALP	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.	CoRR	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.	LICS	2023	DBLP DOI BibTeX RDF
36	Bernhard Heinemann	A PDL-Like Logic of Knowledge Acquisition.	CSR	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.	ISQED	2003	DBLP DOI BibTeX RDF
30	Hans-Jörg Tiede	Inessential Features, Ineliminable Features, and Modal Logics for Model Theoretic Syntax.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Model theoretic syntax, Modal logic, Tree automata
30	Mark A. Brown	Acting, Events and Actions.	DEON	2008	DBLP DOI BibTeX RDF
30	Guillaume Aucher, Andreas Herzig	From DEL to EDL : Exploring the Power of Converse Events.	ECSQARU	2007	DBLP DOI BibTeX RDF
30	Jesse Hughes, Albert C. Esterline, Bahram Kimiaghalam	Means-End Relations and a Measure of Efficacy.	J. Log. Lang. Inf.	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.	FoSSaCS	2006	DBLP DOI BibTeX RDF
30	Jan M. Broersen, Andreas Herzig, Nicolas Troquard	A STIT-Extension of ATL.	JELIA	2006	DBLP DOI BibTeX RDF
30	Stefan Göller, Markus Lohrey	Infinite State Model-Checking of Propositional Dynamic Logics.	CSL	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.	APAQS	2001	DBLP DOI BibTeX RDF
30	Jan M. Broersen, Roel J. Wieringa, John-Jules Ch. Meyer	A Semantics for Persistency in Propositional Dynamic Logic.	Computational Logic	2000	DBLP DOI BibTeX RDF
30	Giuseppe De Giacomo, Maurizio Lenzerini	Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations.	JELIA	1994	DBLP DOI BibTeX RDF
30	James H. Cross II	Graphically-Oriented Reverse Engineering Tools for Ada Software (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF	Ada
30	Jan Reiterman, Vera Trnková	Dynamic Algebras which are not Kripke Structures.	MFCS	1980	DBLP DOI BibTeX RDF
27	E. Allen Emerson, Charanjit S. Jutla	The Complexity of Tree Automata and Logics of Programs (Extended Abstract)	FOCS	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.	ACM Annual Conference (1)	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.	CoRR	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.	PSC	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.	OFC	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.	OFC	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.	OFC	2023	DBLP DOI BibTeX RDF
22	Ori Golani, David Dahan	Statistical Properties of NLIN in Presence of PDL.	OFC	2023	DBLP DOI BibTeX RDF
22	Bartosz Bednarczyk	Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features.	JELIA	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.	ONDM	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.	Signal Process.	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).	CoRR	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.	PLDI	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.	OFC	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.	ICECOCS	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.	IEEE Access	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.	J. Log. Algebraic Methods Program.	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.	ITiCSE (1)	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.	MIWAI	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).	INTERACT (5)	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.	IEEE Trans. Veh. Technol.	2020	DBLP DOI BibTeX RDF
22	Linh Anh Nguyen	ExpTime Tableaux with Global Caching for Hybrid PDL.	J. Autom. Reason.	2020	DBLP DOI BibTeX RDF
22	Tao Gu, Alexandra Silva 0001, Fabio Zanasi	Hennessy-Milner Results for Probabilistic PDL.	MFPS	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.	INFOCOM	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.	OFC	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.	ACM Great Lakes Symposium on VLSI	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.	ECOC	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.	IEEE Access	2019	DBLP DOI BibTeX RDF
22	Lev Gordeev	Predicative proof theory of PDL and basic applications.	CoRR	2019	DBLP BibTeX RDF
22	Agathoklis Kritsimallis, Ioannis Refanidis	ExpTime Tableaux for Type PDL.	CoRR	2019	DBLP BibTeX RDF
22	Philippe Balbiani, Joseph Boudou	Axiomatization and computability of a variant of iteration-free PDL with fork.	J. Log. Algebraic Methods Program.	2019	DBLP DOI BibTeX RDF
22	Linh Anh Nguyen	The Influence of the Test Operator on the Expressive Power of PDL-like Logics.	J. Log. Comput.	2019	DBLP DOI BibTeX RDF
22	Igor Sedlár, Vít Puncochár	From positive PDL to its non-classical extensions.	Log. J. IGPL	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.	FSEN	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.	OFC	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.	FLAP	2018	DBLP BibTeX RDF
22	Philippe Balbiani, Joseph Boudou	Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization.	J. Log. Comput.	2018	DBLP DOI BibTeX RDF
22	Linh Anh Nguyen	The Influence of the Test Operator on the Expressive Powers of PDL-Like Logics.	CS&P	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.	COMPSAC (2)	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.	OFC	2018	DBLP BibTeX RDF
22	Christian Doczkal, Joachim Bard	Completeness and decidability of converse PDL in the constructive type theory of Coq.	CPP	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.	CCECE	2018	DBLP DOI BibTeX RDF
22	Shota Ishimura, Kosuke Nishimura	Decision-Directed Adaptive PDL-Compensation Algorithm for Stokes Vector Receivers.	ECOC	2018	DBLP DOI BibTeX RDF
22	Arnaud Dumenil, Elie Awwad, Cyril Measson	Low-Complexity Polarization Coding for PDL-Resilience.	ECOC	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.	ECOC	2018	DBLP DOI BibTeX RDF
22	Mario R. F. Benevides	Bisimilar and logically equivalent programs in PDL with parallel operator.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
22	Linh Anh Nguyen	ExpTime Tableaux with Global Caching for Hybrid PDL.	CoRR	2017	DBLP BibTeX RDF
22	Agathoklis Kritsimallis	Tableaux with Partial Caching for Hybrid PDL with Satisfaction Statements.	ICTAC	2017	DBLP DOI BibTeX RDF
22	Jon Haël Brenas, Rachid Echahed, Martin Strecker	C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions.	SCSS	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.	ICSI (1)	2017	DBLP DOI BibTeX RDF
22	Philippe Balbiani, Joseph Boudou	Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork.	DALI@TABLEAUX	2017	DBLP DOI BibTeX RDF
22	Florian Bruse, Daniel Kernberger, Martin Lange	A Canonical Model Construction for Iteration-Free PDL with Intersection.	GandALF	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.	EMBC	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.	Neurocomputing	2015	DBLP DOI BibTeX RDF
22	Facundo Carreiro	Characterization theorems for PDL and FO(TC).	CoRR	2015	DBLP BibTeX RDF
22	Yanjun Li	Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles.	LORI	2015	DBLP DOI BibTeX RDF
22	Facundo Carreiro	PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic.	LICS	2015	DBLP DOI BibTeX RDF