|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 78 occurrences of 73 keywords
|
|
|
Results
Found 138 publication records. Showing 138 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
161 | Guofei Gu, Bin B. Zhu, Shipeng Li 0001, Shiyong Zhang |
PLI: A New Framework to Protect Digital Content for P2P Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS ![In: Applied Cryptography and Network Security, First International Conference, ACNS 2003. Kunming, China, October 16-19, 2003, Proceedings, pp. 206-216, 2003, Springer, 3-540-20208-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
digital content protection, Public License Infrastructure (PLI), License Authority (LA), proactive shares update, distributed trust model, secret sharing, intrusion tolerance, Peer-to-Peer (P2P), Digital Rights Management (DRM) |
148 | Andrei V. Sazonov, Chin Keong Ho, Jan W. M. Bergmans, Johan B. A. M. Arends, Paul A. M. Griep, Evgeny A. Verbitskiy, Pierre J. M. Cluitmans, Paul A. J. M. Boon |
An investigation of the phase locking index for measuring of interdependency of cortical source signals recorded in the EEG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 100(2), pp. 129-146, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Cortical sources, Model, Correlation, EEG, Coupling, Interdependency, Contrast, Distribution function, Phase locking |
89 | Bogdan J. Falkowski, Susanto Rahardja |
Fast Transforms for Multiple-Valued Input Binary Output PLI Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 30th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2000, Portland, Oregon, USA, May 23-25, 2000, Proceedings, pp. 47-52, 2000, IEEE Computer Society, 0-7695-0692-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
GF(2) Logic, Linearly Independent Logic, Multiple Valued Input Binary Functions |
77 | Arash Saifhashemi, Hossein Pedram |
Verilog HDL, powered by PLI: a suitable framework for describing and modeling asynchronous circuits at all levels of abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003, pp. 330-333, 2003, ACM, 1-58113-688-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
CHP, PLI, CSP, asynchronous circuits, channel, verilog |
68 | Pedram A. Riahi, Zainalabedin Navabi, Fabrizio Lombardi |
Simulating Faults of Combinational IP Core-based SOCs in a PLI Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 20th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2005), 3-5 October 2005, Monterey, CA, USA, pp. 389-397, 2005, IEEE Computer Society, 0-7695-2464-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
59 | Eelco Visser |
Scoped Dynamic Rewrite Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@PLI ![In: Second International Workshop on Rule-Based Programming, RULE 2001, Satellite Event of PLI 2001, Firenze, Italy, September 4, 2001, pp. 375-396, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
59 | Jean-Yves Moyen |
System Presentation: An Analyser of Rewriting Systems Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@PLI ![In: Second International Workshop on Rule-Based Programming, RULE 2001, Satellite Event of PLI 2001, Firenze, Italy, September 4, 2001, pp. 412-424, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
59 | Quang Huy Nguyen 0002 |
Certifying Term Rewriting Proofs in ELAN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@PLI ![In: Second International Workshop on Rule-Based Programming, RULE 2001, Satellite Event of PLI 2001, Firenze, Italy, September 4, 2001, pp. 320-340, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
59 | Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike |
A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@PLI ![In: Second International Workshop on Rule-Based Programming, RULE 2001, Satellite Event of PLI 2001, Firenze, Italy, September 4, 2001, pp. 255-270, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
59 | Berthold Hoffmann, Mark Minas |
Transformation of Shaped Nested Graphs and Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@PLI ![In: Second International Workshop on Rule-Based Programming, RULE 2001, Satellite Event of PLI 2001, Firenze, Italy, September 4, 2001, pp. 305-319, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
59 | Mark van den Brand, Rakesh M. Verma |
RULE2001 - Foreword. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@PLI ![In: Second International Workshop on Rule-Based Programming, RULE 2001, Satellite Event of PLI 2001, Firenze, Italy, September 4, 2001, pp. 425-426, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
59 | Olivier Danvy, Lasse R. Nielsen |
Syntactic Theories in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@PLI ![In: Second International Workshop on Rule-Based Programming, RULE 2001, Satellite Event of PLI 2001, Firenze, Italy, September 4, 2001, pp. 358-374, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
59 | Evelina Lamma, L. Maestrami, Paola Mello, Fabrizio Riguzzi, Sergio Storari |
Rule-based Programming for Building Expert Systems: a Comparison in the Microbiological Data Validation and Surveillance Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@PLI ![In: Second International Workshop on Rule-Based Programming, RULE 2001, Satellite Event of PLI 2001, Firenze, Italy, September 4, 2001, pp. 397-411, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
59 | Jean-Louis Giavitto, Olivier Michel 0001 |
MGS: a Rule-Based Programming Language for Complex Objects and Collections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@PLI ![In: Second International Workshop on Rule-Based Programming, RULE 2001, Satellite Event of PLI 2001, Firenze, Italy, September 4, 2001, pp. 286-304, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
59 | Georg Struth |
Knuth-Bendix Completion for Non-Symmetric Transitive Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@PLI ![In: Second International Workshop on Rule-Based Programming, RULE 2001, Satellite Event of PLI 2001, Firenze, Italy, September 4, 2001, pp. 341-357, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
59 | Bernd Fischer 0002, Grigore Rosu |
Interpreting Abstract Interpretations in Membership Equational Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE@PLI ![In: Second International Workshop on Rule-Based Programming, RULE 2001, Satellite Event of PLI 2001, Firenze, Italy, September 4, 2001, pp. 271-285, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
51 | Neil D. Jones, Arne J. Glenstrup |
Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 1, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Bärbel Schack, Sabine Weiss |
Quantification of phase synchronization phenomena and their importance for verbal memory processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 92(4), pp. 275-287, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Siavash Bayat Sarmadi, Seyed Ghassem Miremadi, Ghazanfar Asadi, Ali Reza Ejlali |
Fast Prototyping with Co-operation of Simulation and Emulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field-Programmable Logic and Applications, Reconfigurable Computing Is Going Mainstream, 12th International Conference, FPL 2002, Montpellier, France, September 2-4, 2002, Proceedings, pp. 15-25, 2002, Springer, 3-540-44108-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Takao Onoye, Yukihiro Nakamura, Atsuhito Shigiya, Keishi Chikamura, Kosuke Tsujino, Tomonori Izumi, Hirofumi Yamamoto |
System-Level Design of IEEE1394 Bus Segment Bridge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Proceedings of the 15th International Symposium on System Synthesis (ISSS 2002), October 2-4, 2002, Kyoto, Japan, pp. 74-79, 2002, ACM / IEEE Computer Society, 1-58113-576-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
HW/SW co-simulation, IEEE1394, PLI, bus bridge, C/C++, verilog-HDL |
29 | George A. Mapp |
Proposed library of programs for personnel and related work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 11(9), pp. 593, 1968. The full citation details ...](Pics/full.jpeg) |
1968 |
DBLP DOI BibTeX RDF |
Fortran IV personnel programs, PLI personnel programs, personnel information subsystems, personnel program library |
26 | Alexander Oberstraß, Sascha E. A. Muenzing, Meiqi Niu, Nicola Palomero-Gallagher, Christian Schiffer, Markus Axer, Katrin Amunts, Timo Dickscheid |
Self-Supervised Representation Learning for Nerve Fiber Distribution Patterns in 3D-PLI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.17207, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
26 | Alexander Oberstraß, Jordan DeKraker, Nicola Palomero-Gallagher, Sascha E. A. Muenzing, Alan C. Evans, Markus Axer, Katrin Amunts, Timo Dickscheid |
Analyzing Regional Organization of the Human Hippocampus in 3D-PLI Using Contrastive Learning and Geometric Unfolding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.17744, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
26 | Zhaoyu Teng, Bin Han, Jie Cao 0004, Qun Hao, Xin Tang, Zhaoyang Li |
PLI-SLAM: A Tightly-Coupled Stereo Visual-Inertial SLAM System with Point and Line Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 15(19), pp. 4678, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Geng Wang, Huan Fang 0001 |
PLI-Assess: A Behavior Profile-Based Approach for Privacy-Preserving Log Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 133160-133173, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Pavan G. Malghan, Malaya Kumar Hota |
An Improved VME Technique via Heap Based Optimization Algorithm and AWIT Method for PLI and MA Noise Elimination in ECG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 54070-54079, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Tianqi Song, Clémentine Bodin, Olivier Coulon |
Ensemble learning for the detection of pli-de-passages in the superior temporal sulcus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 265, pp. 119776, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Thanh-Tung Trinh, Yi-Hung Liu, Chien-Te Wu, Wei-Hao Peng, Chung-Lin Hou, Chang-Hsin Weng, Chun-Ying Lee |
PLI-Based Connectivity in Resting-EEG is a Robust and Generalizable Feature for Detecting MCI and AD: A Validation on a Diverse Multisite Clinical Dataset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 45th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, EMBC 2023, Sydney, Australia, July 24-27, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-2447-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Arash Rezaee, Ryan McCann, Vinod M. Vokkarane |
PLI-Aware Dynamic Routing in Software Defined Elastic Optical Networks (SD-EONs). ![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 |
|
26 | Zhangzhen Zhao, Tao Song, Bin Xing, Yu Lei, Ziqin Wang |
PLI-VINS: Visual-Inertial SLAM Based on Point-Line Feature Fusion in Indoor Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 22(14), pp. 5457, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | E. N. C. Perera, A. M. C. T. Gunaratne, S. B. D. Samarasinghe |
Participatory Landslide Inventory (PLI): An Online Tool for the Development of a Landslide Inventory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex. ![In: Complex. 2022, pp. 2659203:1-2659203:10, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Mohammed Mujahid Ulla Faiz, Izzet Kale |
A novel fixed-point leaky sign regressor algorithm based adaptive noise canceller for PLI cancellation in ECG signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSI ![In: 7th IEEE Forum on Research and Technologies for Society and Industry Innovation, RTSI 2022, Paris, France, August 24-26, 2022, pp. 186-190, 2022, IEEE, 978-1-6654-9740-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Ramon Casellas, Evangelos A. Kosmatos, Andrew Lord, Chris Matrakidis, Ricardo Martínez 0001, Dimitris Uzunidis, Ricard Vilalta, Alexandros A. Stavdas, Raúl Muñoz 0001 |
An SDN Control Plane for Multiband Networks Exploiting a PLI-aware Routing Engine. ![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 |
|
26 | Yan He, Zhongmin Wang, Yupeng Zhao |
EEG-Based Fatigue Detection Using PLI Brain Network and Relief Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NaNA ![In: International Conference on Networking and Network Applications, NaNA 2022, Urumqi, China, December 3-5, 2022, pp. 300-305, 2022, IEEE, 978-1-6654-6131-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Felix Matuschke, Katrin Amunts, Markus Axer |
fastPLI: A Fiber Architecture Simulation Toolbox for 3D-PLI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Open Source Softw. ![In: J. Open Source Softw. 6(61), pp. 3042, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Fan Hu, Jiaxin Jiang, Dongqi Wang, Muchun Zhu, Peng Yin 0006 |
Multi-PLI: interpretable multi-task deep learning model for unifying protein-ligand interaction datasets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cheminformatics ![In: J. Cheminformatics 13(1), pp. 30, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Yi Hu, Constantin Serban, Lan Wang, Alexander Afanasyev, Lixia Zhang 0001 |
PLI-Sync: Prefetch Loss-Insensitive Sync for NDN Group Streaming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: ICC 2021 - IEEE International Conference on Communications, Montreal, QC, Canada, June 14-23, 2021, pp. 1-6, 2021, IEEE, 978-1-7281-7122-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Harald Rødseth, Endre Sølvsberg, Anna Steine, Per Schjølberg, Espen Henriksen-Polanscak |
A Holistic Approach to PLI in Smart Maintenance Towards Sustainable Manufacturing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APMS (4) ![In: Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems - IFIP WG 5.7 International Conference, APMS 2021, Nantes, France, September 5-9, 2021, Proceedings, Part IV, pp. 393-400, 2021, Springer, 978-3-030-85909-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Shuji Ohira, Araya Kibrom Desta, Ismail Arai, Kazutoshi Fujikawa |
PLI-TDC: Super Fine Delay-Time Based Physical-Layer Identification with Time-to-Digital Converter for In-Vehicle Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: ASIA CCS '21: ACM Asia Conference on Computer and Communications Security, Virtual Event, Hong Kong, June 7-11, 2021., pp. 176-186, 2021, ACM, 978-1-4503-8287-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Yi-Sheng Chen, Po-Yen Lin, Yue-Der Lin |
A novel PLI suppression method in ECG by notch filtering with a modulation-based detection and frequency estimation scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biomed. Signal Process. Control. ![In: Biomed. Signal Process. Control. 62, pp. 102150, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Yunqiu Shao, Jiaxin Mao, Yiqun Liu 0001, Weizhi Ma, Ken Satoh, Min Zhang 0006, Shaoping Ma |
BERT-PLI: Modeling Paragraph-Level Interactions for Legal Case Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020, pp. 3501-3507, 2020, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Dai Hai Ton That, James Wagner, Alexander Rasin, Tanu Malik |
PLI $$^+$$ + : efficient clustering of cloud databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Parallel Databases ![In: Distributed Parallel Databases 37(1), pp. 177-208, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Ali C. Demiralp, Daniel Zielasko, Markus Axer, Tom Vierjahn, Torsten W. Kuhlen |
Parallel Particle Advection and Lagrangian Analysis for 3D-PLI Fiber Orientation Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LDAV ![In: 9th IEEE Symposium on Large Data Analysis and Visualization, LDAV 2019, Vancouver, BC, Canada, October 21, 2019, pp. 89-90, 2019, IEEE, 978-1-7281-2605-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Jan André Reuter, Felix Matuschke, Nicole Schubert, Markus Axer |
Efficient Construction of Geometric Nerve Fiber Models for Simulation with 3D-PLI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bildverarbeitung für die Medizin ![In: Bildverarbeitung für die Medizin 2019 - Algorithmen - Systeme - Anwendungen. Proceedings des Workshops vom 17. bis 19. März 2019 in Lübeck, pp. 333-338, 2019, Springer Vieweg, 978-3-658-25325-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Marius Nolden, Nicole Schubert, Daniel Schmitz, Andreas Müller 0022, Markus Axer |
Tracing of Nerve Fibers Through Brain Regions of Fiber Crossings in Reconstructed 3D-PLI Volumes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bildverarbeitung für die Medizin ![In: Bildverarbeitung für die Medizin 2019 - Algorithmen - Systeme - Anwendungen. Proceedings des Workshops vom 17. bis 19. März 2019 in Lübeck, pp. 62-67, 2019, Springer Vieweg, 978-3-658-25325-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Naif Alharbi, Michael Krone, Matthieu Chavent, Robert S. Laramee |
LoD PLI: Level of Detail for Visualizing Time-Dependent, Protein-Lipid Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISIGRAPP (3: IVAPP) ![In: Proceedings of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2019, Volume 3: IVAPP, Prague, Czech Republic, February 25-27, 2019., pp. 164-174, 2019, SciTePress, 978-989-758-354-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
26 | Sharib Ali, Martin Schober, Philipp Schlömer, Katrin Amunts, Markus Axer, Karl Rohr |
Towards ultra-high resolution 3D reconstruction of a whole rat brain from 3D-PLI data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1807.11080, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
26 | Amin Ebrahimzadeh, Akbar Ghaffarpour Rahbar, Behrooz Alizadeh |
PLI-Aware Cost Management for Green Backbone All-Optical WDM Networks via Dynamic Topology Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JOCN ![In: JOCN 10(9), pp. 785-795, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Sharib Ali, Dehui Lin, Markus Axer, Karl Rohr |
Comparison of Self-similarity Measures for Multi-modal Non-rigid Registration of 3D-PLI Brain Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bildverarbeitung für die Medizin ![In: Bildverarbeitung für die Medizin 2018 - Algorithmen - Systeme - Anwendungen. Proceedings des Workshops vom 11. bis 13. März 2018 in Erlangen, pp. 49-54, 2018, Springer Vieweg, 978-3-662-56536-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Sharib Ali, Markus Axer, Katrin Amunts, Roland Eils, Karl Rohr |
Evaluating local features in high-resolution 3D-PLI data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: 15th IEEE International Symposium on Biomedical Imaging, ISBI 2018, Washington, DC, USA, April 4-7, 2018, pp. 729-733, 2018, IEEE, 978-1-5386-3636-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Daniel Schmitz, Katrin Amunts, Thomas Lippert, Markus Axer |
A least squares approach for the reconstruction of nerve fiber orientations from tiltable specimen experiments in 3D-PLI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: 15th IEEE International Symposium on Biomedical Imaging, ISBI 2018, Washington, DC, USA, April 4-7, 2018, pp. 132-135, 2018, IEEE, 978-1-5386-3636-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Sharib Ali, Martin Schober, Philipp Schlömer, Katrin Amunts, Markus Axer, Karl Rohr |
Towards Ultra-High Resolution 3D Reconstruction of a Whole Rat Brain from 3D-PLI Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNI@MICCAI ![In: Connectomics in NeuroImaging - Second International Workshop, CNI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings, pp. 1-10, 2018, Springer, 978-3-030-00754-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Sharib Ali, Karl Rohr, David Gräßel, Philipp Schlömer, Katrin Amunts, Roland Eils, Markus Axer, Stefan Wörz |
Spline-Based Multimodal Image Registration of 3D PLI Data of the Human Brain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bildverarbeitung für die Medizin ![In: Bildverarbeitung für die Medizin 2017 - Algorithmen - Systeme - Anwendungen. Proceedings des Workshops vom 12. bis 14. März 2017 in Heidelberg, pp. 268-273, 2017, Springer, 978-3-662-54344-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Sharib Ali, Karl Rohr, Markus Axer, Katrin Amunts, Roland Eils, Stefan Wörz |
Registration of ultra-high resolution 3D PLI data of human brain sections to their corresponding high-resolution counterpart. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: 14th IEEE International Symposium on Biomedical Imaging, ISBI 2017, Melbourne, Australia, April 18-21, 2017, pp. 415-419, 2017, IEEE, 978-1-5090-1172-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Sharib Ali, Karl Rohr, Markus Axer, David Gräßel, Philipp Schlömer, Katrin Amunts, Roland Eils, Stefan Wörz |
Elastic registration of high-resolution 3D PLI data of the human brain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: 14th IEEE International Symposium on Biomedical Imaging, ISBI 2017, Melbourne, Australia, April 18-21, 2017, pp. 1151-1155, 2017, IEEE, 978-1-5090-1172-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Lahcen El Bouny, Mohammed Khalil, Abdellah Adib |
Removal of 50Hz PLI from ECG signal using undecimated wavelet transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINCOM ![In: International Conference on Wireless Networks and Mobile Communications, WINCOM 2017, Rabat, Morocco, November 1-4, 2017, pp. 1-6, 2017, IEEE, 978-1-5386-2123-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | James Wagner, Alexander Rasin, Dai Hai Ton That, Tanu Malik |
PLI: Augmenting Live Databases with Custom Clustered Indexes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSDBM ![In: Proceedings of the 29th International Conference on Scientific and Statistical Database Management, Chicago, IL, USA, June 27-29, 2017, pp. 36:1-36:6, 2017, ACM, 978-1-4503-5282-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Maged ElAnsary, Mohamed El-Nozahi, Hani F. Ragaie |
Biomedical sensor interface for PLI cancellation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MWSCAS ![In: IEEE 58th International Midwest Symposium on Circuits and Systems, MWSCAS 2015, Fort Collins, CO, USA, August 2-5, 2015, pp. 1-4, 2015, IEEE, 978-1-4673-6558-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Sridhar Iyer, Shree Prakash Singh |
Physical layer impairment-aware Routing and Wavelength Assignment (PLI-RWA) strategy for mixed line rate (MLR) wavelength division multiplexed (WDM) optical networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOCN ![In: Twelfth International Conference on Wireless and Optical Communications Networks, WOCN 2015, Bangalore, India, September 9-11, 2015, pp. 1-5, 2015, IEEE, 978-1-4673-9277-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Anchalee Manosueb, Jeerasuda Koseeyaporn, Paramote Wardkein |
PLI Cancellation in ECG Signal Based on Adaptive Filter by Using Wiener-Hopf Equation for Providing Initial Condition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Methods Medicine ![In: Comput. Math. Methods Medicine 2014, pp. 471409:1-471409:11, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Anna Maria Gallina, Paola Bisignano, Maurizio Bergamino, Domenico Bordo |
PLI: a web-based tool for the comparison of protein-ligand interactions observed on PDB structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 29(3), pp. 395-397, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Jijun Zhao, Wei Li, Xin Liu, Wenyu Zhao, Martin Maier 0001 |
Physical Layer Impairment (PLI)-Aware RWA Algorithm Based on a Bidimensional QoS Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Lett. ![In: IEEE Commun. Lett. 17(6), pp. 1280-1283, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Sridhar Iyer |
An offline PLI-RWA and delay analysis for cost and latency reduction in optical WDM networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMSNETS ![In: Fifth International Conference on Communication Systems and Networks, COMSNETS 2013, Bangalore, India, January 7-10, 2013, pp. 1-2, 2013, IEEE, 978-1-4673-5330-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Nastaran Nemati, Majid Namaki-Shoushtari, Zainalabedin Navabi |
A mixed HDL/PLI test package. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWDTS ![In: 2010 East-West Design & Test Symposium, EWDTS 2010, St. Petersburg, Russia, September 17-20, 2010, pp. 518-523, 2010, IEEE Computer Society, 978-1-4244-9555-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Mohammad Hashem Haghbayan, Alireza Yazdanpanah, Sara Karamati, Ramyar Saeedi, Zainalabedin Navabi |
Generating test patterns for sequential circuits using random patterns by PLI functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWDTS ![In: 2010 East-West Design & Test Symposium, EWDTS 2010, St. Petersburg, Russia, September 17-20, 2010, pp. 456-461, 2010, IEEE Computer Society, 978-1-4244-9555-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Arezoo Kamran, Nastaran Nemati, Somayeh Sadeghi Kohan, Zainalabedin Navabi |
Virtual tester development using HDL/PLI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWDTS ![In: 2010 East-West Design & Test Symposium, EWDTS 2010, St. Petersburg, Russia, September 17-20, 2010, pp. 412-415, 2010, IEEE Computer Society, 978-1-4244-9555-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Chia-Lun J. Hu |
Design of a universal two-layered neural network derived from the PLI theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Image Processing: Algorithms and Systems ![In: Image Processing: Algorithms and Systems III, San Jose, California, USA, January 18, 2004, pp. 362-367, 2004, SPIE, 978-0-8194-5201-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Alessandra Di Pierro, Herbert Wiklicky (eds.) |
Workshop on Quantitative Aspects of Programming Laguages, QAPL 2001, Satellite Event of PLI 2001, Firenze, Italy, September 7, 2001 ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![Elsevier The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
26 | |
Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002) ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![ACM The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia |
On the expressive power of temporal concurrent constraint programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 156-167, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
constraint programming, expressiveness, timed systems |
26 | Catuscia Palamidessi |
Mobile calculi for distributed programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 74-75, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Gang Chen |
Full integration of subtyping and if-expression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 181-188, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
if-expression, Java, subtyping, type checking |
26 | Bernhard Gramlich, Salvador Lucas |
Modular termination of context-sensitive rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 50-61, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
context-sensitive rewriting, modular analysis and construction of programs, modular proofs of termination, program verification, declarative programming, evaluation strategies |
26 | Marco Bozzano, Giorgio Delzanno |
Automated protocol verification in linear logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 38-49, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
model checking, linear logic, authentication protocols, bottom-up evaluation |
26 | Marcelo P. Fiore |
Semantic analysis of normalisation by evaluation for typed lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 26-37, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
categorical glueing, lambda definability, normalisation by evaluation, typed abstract syntax with variable binding, logical relations, typed lambda calculus, initial algebra semantics |
26 | Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner |
System Presentation -- CARIBOO: An induction based proof tool for termination with strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 62-73, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
ELAN, innermost, local strategy, rule based language induction, constraint, termination, rewriting, ordering, narrowing |
26 | Vitaly Lagoon, Peter J. Stuckey |
Precise pair-sharing analysis of logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 99-108, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
program analysis, sharing |
26 | Alexander V. Shafarenko |
Coercion as homomorphism: type inference in a system with subtyping and overloading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 14-25, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
type inference, subtyping, overloading, data-parallel programming, array processing |
26 | Frédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen |
Secure calling contexts for stack inspection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 76-87, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
constraints, language based security, linear temporal logic, static program analysis, stack inspection |
26 | Karol Ostrovsky, K. V. S. Prasad, Walid Taha |
Towards a primitive higher order calculus of broadcasting systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 2-13, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
calculi, semantics, concurrency, broadcasting, programming languages, ethernet |
26 | Janos Sztipanovits, Gabor Karsai |
Generative programming for embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 180-180, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Tomoyuki Higuchi, Atsushi Ohori |
Java bytecode as a typed term calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 201-211, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
bytecode verifier, type system, type inference, Java bytecode |
26 | Davide Ancona, Giovanni Lagorio, Elena Zucca |
True separate compilation of Java classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 189-200, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
object-oriented programming, types, separate compilation |
26 | Jérémie Blanc, Rachid Echahed |
A generic operator over discrete time intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 145-155, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
discrete time intervals, timed term rewrite systems, operational semantics |
26 | Izzet Pembeci, Henrik Nilsson, Gregory D. Hager |
Functional reactive robotics: an exercise in principled integration of domain-specific languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 168-179, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
robotics, functional programming, domain-specific languages, vision |
26 | Stephen Drape, Oege de Moor, Ganesh Sittampalam |
Transforming the .NET intermediate language using path logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 133-144, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
compiler optimisations, logic programming, program transformation, program analysis, obfuscation, meta programming |
26 | Zoltan Somogyi, Peter J. Stuckey |
Using the heap to eliminate stack accesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 121-132, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
heap cells, stack accesses, stack frames, maximal matching |
26 | David Overton, Zoltan Somogyi, Peter J. Stuckey |
Constraint-based mode analysis of mercury. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 109-120, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Boolean constraints, mode analysis, modes |
26 | Tom Schrijvers, Bart Demoen |
Combining an improvement to PARMA trailing with trailing analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 88-98, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
PARMA, program analysis, trailing |
26 | Mark van den Brand, Rakesh M. Verma (eds.) |
Second International Workshop on Rule-Based Programming, RULE 2001, Satellite Event of PLI 2001, Firenze, Italy, September 4, 2001 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE ![Elsevier The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
26 | Nick Benton, Andrew Kennedy (eds.) |
First International Workshop on Multi-Language Infrastructure and Interoperability, BABEL 2001, Satellite Event of PLI 2001, Firenze, Italy, September 8, 2001 ![Search on Bibsonomy](Pics/bibsonomy.png) |
BABEL ![Elsevier The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
26 | Alessandra Di Pierro, Herbert Wiklicky |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Workshop on Quantitative Aspects of Programming Laguages, QAPL 2001, Satellite Event of PLI 2001, Firenze, Italy, September 7, 2001, pp. 252-253, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky |
Linear Embedding for a Quantitative Comparison of Language Expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Workshop on Quantitative Aspects of Programming Laguages, QAPL 2001, Satellite Event of PLI 2001, Firenze, Italy, September 7, 2001, pp. 207-237, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | David Clark 0001, Sebastian Hunt, Pasquale Malacaria |
Quantitative Analysis of the Leakage of Confidential Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Workshop on Quantitative Aspects of Programming Laguages, QAPL 2001, Satellite Event of PLI 2001, Firenze, Italy, September 7, 2001, pp. 238-251, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Thom W. Frühwirth |
As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Workshop on Quantitative Aspects of Programming Laguages, QAPL 2001, Satellite Event of PLI 2001, Firenze, Italy, September 7, 2001, pp. 185-206, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Keye Martin |
Powerdomains and Zero Finding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Workshop on Quantitative Aspects of Programming Laguages, QAPL 2001, Satellite Event of PLI 2001, Firenze, Italy, September 7, 2001, pp. 173-184, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Fermin Reig |
Annotations for Portable Intermediate Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BABEL ![In: First International Workshop on Multi-Language Infrastructure and Interoperability, BABEL 2001, Satellite Event of PLI 2001, Firenze, Italy, September 8, 2001, pp. 109-122, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Don Syme |
ILX: Extending the .NET Common IL for Functional Language Interoperability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BABEL ![In: First International Workshop on Multi-Language Infrastructure and Interoperability, BABEL 2001, Satellite Event of PLI 2001, Firenze, Italy, September 8, 2001, pp. 53-72, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Matthias Blume |
No-Longer-Foreign: Teaching an ML compiler to speak C "natively". ![Search on Bibsonomy](Pics/bibsonomy.png) |
BABEL ![In: First International Workshop on Multi-Language Infrastructure and Interoperability, BABEL 2001, Satellite Event of PLI 2001, Firenze, Italy, September 8, 2001, pp. 36-52, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Michel Schinz, Martin Odersky |
Tail call elimination on the Java Virtual Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BABEL ![In: First International Workshop on Multi-Language Infrastructure and Interoperability, BABEL 2001, Satellite Event of PLI 2001, Firenze, Italy, September 8, 2001, pp. 158-171, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 138 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|