Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
145 | Brian T. Howard, John C. Mitchell |
Operational and Axiomatic Semantics of PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1990 ACM Conference on LISP and Functional Programming, LFP 1990, Nice, France, 27-29 June 1990., pp. 298-306, 1990, ACM, 0-89791-368-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
138 | Nailiang Zhao, Yanjun Chen, Zhigeng Pan |
Antialiased Shadow Algorithms for Game Rendering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Edutainment ![In: Technologies for E-Learning and Digital Entertainment, First International Conference, Edutainment 2006, Hangzhou, China, April 16-19, 2006, Proceedings, pp. 873-882, 2006, Springer, 3-540-33423-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
107 | Andreas Köpsel, Adam Wolisz |
Voice transmission in an IEEE 802.11 WLAN based access network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOWMOM ![In: The 4th International Workshop on Wireless Mobile Multimedia, WOWMOM 2001, Rome, Italy, July 21, 2001, Proceedings, pp. 23-32, 2001, ACM, 1-58113-384-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
voice transmission, scheduling, real-time, WLAN, IEEE 802.11, DCF, PCF, best-effort, IEEE |
80 | James Laird |
Finite Models and Full Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings, pp. 384-398, 2000, Springer, 3-540-67895-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
affine logic, full completeness, effective presentability, linear logic, PCF |
79 | Ghazanfar Ali Safdar, William G. Scanlon |
Performance Analysis of Improved IEEE 802.11 Infrastructure Power Saving Under Time-Correlated Channel Errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Wirel. Inf. Networks ![In: Int. J. Wirel. Inf. Networks 15(1), pp. 36-42, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
PCF-PS, Time correlated, WLAN, Medium access control, Power saving |
69 | Zi-Tsan Chou, Shih-Lin Wu |
A New QoS Point Coordination Function for Multimedia Wireless LANs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 24th International Conference on Distributed Computing Systems (ICDCS 2004), 24-26 March 2004, Hachioji, Tokyo, Japan, pp. 40-47, 2004, IEEE Computer Society, 0-7695-2086-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
65 | Adam C. Lusch, Adele V. Fleury, Surendar Chandra |
Do nintendo handhelds play nice?: An analysis of its wireless behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETGAMES ![In: Proceedings of the 6th Workshop on Network and System Support for Games, NETGAMES 2007, Melbourne, Australia, September 19-20, 2007, pp. 87-92, 2007, ACM, 978-0-9804460-0-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
IEEE 802.11 wireless, point coordination function (PCF), distributed coordination function (DCF), nintendo DS |
64 | M. R. Khatun, M. S. Islam |
Propagation Properties and Stress Sensitivity of S-PCF, H-PCF and O-PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Commun. ![In: J. Commun. 7(11), pp. 832-839, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
63 | Moustafa A. Youssef 0001, Arunchandar Vasan 0001, Raymond E. Miller |
Specification and Analysis of the DCF and PCF Protocols in the 802.11 Standard Using Systems of Communicating Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: 10th IEEE International Conference on Network Protocols (ICNP 2002), 12-15 November 2002, Paris, France, Proceedings, pp. 132-143, 2002, IEEE Computer Society, 0-7695-1856-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
63 | Glynn Winskel |
Stable Bistructure Models of PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1994, 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings, pp. 177-197, 1994, Springer, 3-540-58338-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
55 | Tao Shang, Zengji Liu, Peng Yue, Jianping Chen |
Numerical analysis of fiber optical parameter amplifier based on triangular photonic crystal fiber. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(7), pp. 1272-1277, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
fiber optical parametric amplifier, photonic crystal fiber, gain bandwidth, zero-dispersion wavelength variations |
55 | Dimitrios D. Vergados, Dimitrios J. Vergados |
Synchronization of multiple access points in the IEEE 802.11 point coordination function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Fall (2) ![In: Proceedings of the 60th IEEE Vehicular Technology Conference, VTC Fall 2004, 26-29 September 2004, Los Angeles, CA, USA, pp. 1073-1077, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
55 | X. James Dong, Mustafa Ergen, Pravin Varaiya, Anuj Puri |
Improving the Aggregate Throughput of Access Points in IEEE 802.11 Wireless LANs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: 28th Annual IEEE Conference on Local Computer Networks (LCN 2003), The Conference on Leading Edge and Practical Computer Networking, 20-24 October 2003, Bonn/Königswinter, Germany, Proceedings, pp. 682-681, 2003, IEEE Computer Society, 0-7695-2037-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
55 | Tiantong You, Hossam S. Hassanein, Hussein T. Mouftah |
Infrastructure-Based MAC in Wireless Mobile Ad-Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: 27th Annual IEEE Conference on Local Computer Networks (LCN 2002), 6-8 November 2002, Tampa, FL, USA, Proceedings, pp. 821-830, 2002, IEEE Computer Society, 0-7695-1591-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Simulation, Clustering, QoS, Wireless Ad hoc Networks, Medium Access Control |
49 | Racha Ben Ali, Samuel Pierre |
On the impact of soft vertical handoff on optimal voice admission control in PCF-based WLANs loosely coupled to 3G networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 8(3), pp. 1356-1365, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
49 | Luís Pereira |
Applications of the topological representation of the pcf-structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 47(5), pp. 517-527, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) Primary 03E04, 54D55, Secondary 06E05, 54A25, 54G12 |
43 | Vladimir Sazonov |
Inductive Definition and Domain Theoretic Properties of Fully Abstract Models for PCF and PCF+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 3(3), 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Siwaruk Siwamogsatham |
Improving CSMA for WLANs via Piggybacking and Scheduled Backoff Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCN (1) ![In: Future Generation Communication and Networking, FGCN 2007, Ramada Plaza Jeju, Jeju-Island, Korea, December 6-8, 2007, Proceedings, pp. 557-563, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Xin Liu 0047, Hongxun Yao, Xilin Chen 0001, Wen Gao 0001 |
Visual Hull Embossment by Graph Cuts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings of the International Conference on Image Processing, ICIP 2006, October 8-11, Atlanta, Georgia, USA, pp. 2205-2208, 2006, IEEE, 1-4244-0480-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Byung-Seo Kim, Sung Won Kim, Yuguang Fang, Tan F. Wong |
Two-step multipolling MAC protocol for wireless LANs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 23(6), pp. 1276-1286, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Sarit Mukherjee, Sampath Rangarajan, John Lin, Sanjoy Paul |
User Identity Based Session Redirection in CDMA2000 Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiQuitous ![In: 1st Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2004), Networking and Services, 22-25 August 2004, Cambridge, MA, USA, pp. 105-110, 2004, IEEE Computer Society, 0-7695-2208-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Antonio Bucciarelli, Benjamin Leperchey |
Hypergraphs and Degrees of Parallelism: A Completeness Result. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 58-71, 2004, Springer, 3-540-21298-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Siva Sivavakeesar |
A mobility-based adaptive MAC for supporting real-time applications in multihop ad-hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobility Management & Wireless Access Protocols ![In: Proceedings of the Second International Workshop on Mobility Management & Wireless Access Protocols, 2004, Philadelphia, PA, USA, October 1, 2004, pp. 56-63, 2004, ACM, 1-58113-920-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
quality of service aware MAC, IEEE 802.11, code division multiple access (CDMA), multiple access control (MAC), multihop ad hoc networks |
41 | Stefan Kahrs |
Well-Going Programs Can Be Typed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings., pp. 167-179, 2003, Springer, 3-540-40332-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
41 | Robert Cartwright, Matthias Felleisen |
Observable Sequentiality and Full Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 19-22, 1992, pp. 328-342, 1992, ACM Press, 0-89791-453-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
41 | S. Purushothaman, Jill Seaman |
An Adequate Operational Semantics for Sharing in Lazy Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings, pp. 435-450, 1992, Springer, 3-540-55253-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
41 | Kurt Sieber |
Relating Full Abstraction Results for Different Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings, pp. 373-387, 1990, Springer, 3-540-53487-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
38 | Tony K. Mak, Kenneth P. Laberteaux, Raja Sengupta 0002 |
A multi-channel VANET providing concurrent safety and commercial services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vehicular Ad Hoc Networks ![In: Proceedings of the Second International Workshop on Vehicular Ad Hoc Networks, VANET 2005, Cologne, Germany, September 2, 2005, pp. 1-9, 2005, ACM, 1-59593-141-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
dedicated short range communication (DSRC), wireless LAN, broadcast, medium access control (MAC), multi-channels, PCF |
38 | Antonio Bucciarelli, Ivano Salvo |
Totality, Definability and Boolean Ciruits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings, pp. 808-819, 1998, Springer, 3-540-64781-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Scott's Model, Logical Relations, Boolean Circuits, PCF |
37 | Zi-Tsan Chou, Ching-Chi Hsu, Shin-Neng Hsu |
UPCF: a new point coordination function with QoS and power management for multimedia over wireless LANs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 14(4), pp. 807-820, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
point coordination function (PCF), quality of service (QoS), multimedia, IEEE 802.11, power management, medium access control (MAC) |
35 | Biplab Sikdar 0001 |
An Analytic Model for the Delay in IEEE 802.11 PCF MAC-Based Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 6(4), pp. 1542-1550, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Ming-Chuan Hsu, Yaw-Chung Chen |
Enhanced PCF Protocols for Real-time Multimedia Services over 802.11 Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 4-7 July 2006, Lisboa, Portugal, pp. 56, 2006, IEEE Computer Society, 0-7695-2541-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Hao Zhu 0007, Guohong Cao |
On Improving the Performance of IEEE 802.11 with Relay-Enabled PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mob. Networks Appl. ![In: Mob. Networks Appl. 9(4), pp. 423-434, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
IEEE 802.11, media access control, rate adaptation, relay |
35 | Antonio Bucciarelli, Benjamin Leperchey, Vincent Padovani |
Relative Definability and Models of Unary PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings., pp. 75-89, 2003, Springer, 3-540-40332-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Dag Normann |
Definability of Total Objects in PCF and Related Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings., pp. 4-5, 2001, Springer, 3-540-41960-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
35 | Menachem Kojman, Saharon Shelah |
The PCF Trichotomy Theorem does not hold for short sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 39(3), pp. 213-218, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
35 | Stephen D. Brookes, Shai Geva |
Sequential Functions on Indexed Domains and Full Abstraction for a Sub-Language of PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings, pp. 320-332, 1993, Springer, 3-540-58027-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
35 | Antonio Bucciarelli, Thomas Ehrhard |
Extensional Embedding of a Strongly Stable Model of PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings, pp. 35-46, 1991, Springer, 3-540-54233-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
28 | Amy P. Felty, Alberto Momigliano |
Reasoning with hypothetical judgments and open terms in hybrid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal, pp. 83-92, 2009, ACM, 978-1-60558-568-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
name-binding, induction, logical frameworks, higher-order abstract syntax, interactive theorem proving |
28 | Alexander Leonovich, Huei-Wen Ferng |
A time multiplexing coordination mechanism on top of the IEEE 802.11 MAC layer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: LCN 2008, The 33rd IEEE Conference on Local Computer Networks, The Conference on Leading Edge and Practical Computer Networking, Hyatt Regency Montreal, Montreal, Quebec, Canada, 14-17 October 2008, Proceedings, pp. 382-387, 2008, IEEE Computer Society, 978-1-4244-2412-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Suparerk Manitpornsut, Björn Landfeldt |
On the performance of IEEE 802.11 QoS mechanisms under spectrum competition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the International Conference on Wireless Communications and Mobile Computing, IWCMC 2006, Vancouver, British Columbia, Canada, July 3-6, 2006, pp. 719-724, 2006, ACM, 1-59593-306-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
wireless LAN, computer network performance |
28 | Yu-Ju Lin, Haniph A. Latchman, Jonathan C. L. Liu, Richard E. Newman |
Periodic Contention-Free Multiple Access for Power Line Communication Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 28-30 March 2005, Taipei, Taiwan, pp. 315-318, 2005, IEEE Computer Society, 0-7695-2249-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Junghoon Lee, Mikyung Kang, Yongmoon Jin, Gyung-Leen Park, Hanil Kim |
Design of an Efficient Error Control Scheme for Time-Sensitive Application on the Wireless Sensor Network Based on IEEE 802.11 Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWDC ![In: Distributed Computing - IWDC 2005, 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings, pp. 355-361, 2005, Springer, 3-540-30959-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Raymond McDowell, Dale Miller 0001 |
Reasoning with higher-order abstract syntax in a logical framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 3(1), pp. 80-136, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
induction, Definitions, logical frameworks, higher-order abstract syntax |
28 | Anders Lindgren, Andreas Almquist, Olov Schelén |
Quality of Service Schemes for IEEE 802.11: A Simulation Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWQoS ![In: Quality of Service - IWQoS 2001, 9th International Workshop Karlsruhe, Germany, June 6-8, 2001, Proceedings, pp. 281-287, 2001, Springer, 3-540-42217-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Andreas Almquist, Andreas Lindgren, Olov Schelén |
Evaluation of Quality of Service Schemes for IEEE 802.11 Wireless LANs . ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: 26th Annual IEEE Conference on Local Computer Networks (LCN 2001), 14-16 November 2001, Tampa, Florida, USA, Proceedings, pp. 348-351, 2001, IEEE Computer Society, 0-7695-1321-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Michael Marz, Alexander Rohr, Thomas Streicher |
Full Abstraction and Universality via Realisability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999, pp. 174-182, 1999, IEEE Computer Society, 0-7695-0158-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
realisability models, full abstraction, domain theory, categorical models |
28 | Martín Hötzel Escardó, Thomas Streicher |
Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997, pp. 376-386, 1997, IEEE Computer Society, 0-8186-7925-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
28 | James Laird |
Full Abstraction for Functional Languages with Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997, pp. 58-67, 1997, IEEE Computer Society, 0-8186-7925-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
28 | Stephen D. Brookes, Denis Dancanet |
Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, pp. 13-24, 1995, ACM Press, 0-89791-692-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
28 | Stavros S. Cosmadakis |
Complete Proof Systems for Algebraic Simply-Typed Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1994 ACM Conference on LISP and Functional Programming, Orlando, Florida, USA, 27-29 June 1994., pp. 220-226, 1994, ACM, 0-89791-643-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
28 | Peter W. O'Hearn, Jon G. Riecke |
Fully Abstract Translations and Parametric Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings, pp. 454-468, 1994, Springer, 3-540-57880-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
28 | Robert Muller, Yuli Zhou |
Abstract Interpretation in Weak Powerdomains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the Conference on Lisp and Functional Programming, LFP 1992, San Francisco, California, USA, 22-24 June 1992., pp. 119-126, 1992, ACM, 0-89791-481-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Kuo-Chang Ting, Fang-Chang Kuo, Bor-Jiunn Hwang, H. C. Wang, Chih-Cheng Tseng |
A Power-Saving and Robust Point Coordination Function for the Transmission of VoIP over 802.11. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2010, Taipei, Taiwan, 6-9 September 2010, pp. 283-289, 2010, IEEE Computer Society, 978-1-4244-8095-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
802.11a, group poll, Low-power, WLAN, PCF |
24 | Xuejun Tian, Xiang Chen 0012, Tetsuo Ideguchi, Takashi Okuda |
Improving protocol capacity by scheduling random access on WLANs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 37(1-3), pp. 19-28, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Contention-based protocol, Reservation scheduling, Ad hoc networks, Wireless networks, WLAN, MAC protocol, DCF, PCF |
24 | Luca Paolini, Mauro Piccolo |
Semantically linear programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain, pp. 97-107, 2008, ACM, 978-1-60558-117-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
coherence spaces, continous stable and strongly stable functions, PCF, linear functions |
24 | Allan Crone, Gabriel Chidolue |
Functional Verification of Low Power Designs at RTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PATMOS ![In: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proceedings, pp. 288-299, 2007, Springer, 978-3-540-74441-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Low power aware management, Corruption, UPF, Simulation, Retention, PCF |
24 | Martín Hötzel Escardó |
Infinite sets that admit fast exhaustive search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings, pp. 443-452, 2007, IEEE Computer Society, 0-7695-2908-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Higher-type computability and complexity, Kleene-Kreisel functionals, topology, Haskell, PCF |
24 | Kuo-Chang Ting, Mao-yu Jan, Sung-Huai Hsieh, Hsiu-Hui Lee, Feipei Lai |
Design and analysis of grouping-based DCF (GB-DCF) scheme for the MAC layer enhancement of 802.11 and 802.11n. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSWiM ![In: Proceedings of the 9th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2006, Terromolinos, Spain, October 2-6, 2006, pp. 255-264, 2006, ACM, 1-59593-477-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
CP, GB-DCF, MAC, PC, DCF, PCF, 802.11n |
24 | Gordon D. Plotkin |
Three Inadequate Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 13(3-5), pp. 364-385, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Full abstraction, Counterexample, PCF, Adequacy |
23 | Martin Goldstern, Saharon Shelah |
Antichains in Products of Linear Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 19(3), pp. 213-222, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
size of antichains, product of chains, pcf theory, Delta system |
21 | Mohammad Golshani |
Unlimited accumulation by Shelah's PCF operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Period. Math. Hung. ![In: Period. Math. Hung. 88(1), pp. 273-280, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Abdullah Mohammad Tanvirul Hoque, Kusay Faisal Al-Tabatabaie, Md. Eakub Ali, Asad Muhammad Butt, Sharif Iqbal Mitu Sheikh, Khurram Karim Qureshi |
U-Grooved Selectively Coated and Highly Sensitive PCF-SPR Sensor for Broad Range Analyte RI Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 74486-74499, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Hang Lou, Siran Li, Hao Ni |
PCF-GAN: generating sequential data via the characteristic function of measures on the path space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.12511, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich |
Extended Addressing Machines, explicit substitutions, PCF, definability, full abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.13756, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos |
Fully Abstract Normal Form Bisimulation for Call-by-Value PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.01069, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Zhenduo Zhao, Zhuo Li, Wenchao Wang, Pengyuan Zhang |
PCF: ECAPA-TDNN with Progressive Channel Fusion for Speaker Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.00204, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Ehrhard |
A coherent differential PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 19(4), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Shuangyan Gao, Kaihua Wei, Hua Yang, Yongjian Tang, Zao Yi, Chaojun Tang, Bin Tang, Yougen Yi, Pinghui Wu |
Design of Surface Plasmon Resonance-Based D-Type Double Open-Loop Channels PCF for Temperature Sensing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(17), pp. 7569, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Heidi Benham, Alexander Galarraga, Benjamin Hutz, Joey Lupo, Wayne Peng, Adam Towsley |
Integrality and Thurston rigidity for bicritical PCF polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Period. Math. Hung. ![In: Period. Math. Hung. 87(1), pp. 245-264, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos |
Fully Abstract Normal Form Bisimulation for Call-by-Value PCF. ![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 |
|
21 | Zhenduo Zhao, Zhuo Li, Wenchao Wang, Pengyuan Zhang |
PCF: ECAPA-TDNN with Progressive Channel Fusion for Speaker Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech and Signal Processing ICASSP 2023, Rhodes Island, Greece, June 4-10, 2023, pp. 1-5, 2023, IEEE, 978-1-7281-6327-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Hang Lou, Siran Li, Hao Ni |
PCF-GAN: generating sequential data via the characteristic function of measures on the path space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023., 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
21 | Priyatosh Mandal, Shubham Verma, Anurag Gupta |
Analytical Perspective of 5G PCF with Proxy BSF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCC ![In: 28th Asia Pacific Conference on Communications, APCC 2023, Sydney, Australia, November 19-22, 2023, pp. 189-194, 2023, IEEE, 979-8-3503-8261-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Pierre Matet |
Applications of PCF Theory to the Study of ideals on. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 87(3), pp. 967-994, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich |
Extended Addressing Machines for PCF, with Explicit Substitutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXXVIII, Cornell University, Ithaca, NY, USA, with a satellite event at IRIF, Denis Diderot University, Paris, France, and online, July 11-13, 2022, 2022, EpiSciences. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Ehrhard |
A coherent differential PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.04109, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Kisalaya Chakrabarti, Mayank Goswami 0002 |
Metamaterials-Based Photonic Crystal Fiber (PCF) Design for Wireless Charging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCCE ![In: TCCE, pp. 469-476, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Ayushman Ramola, Surinder Singh, Anupma Marwaha |
Sensitivity Assessment of Human Body Fluids through PCF-Based Plasmonic Biosensor for Biomedical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC3I ![In: 5th International Conference on Contemporary Computing and Informatics, IC3I 2022, Uttar Pradesh, India, December 14-16, 2022, pp. 1-6, 2022, IEEE, 979-8-3503-9826-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Damiano Mazza, Michele Pagani |
Automatic differentiation in PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 5(POPL), pp. 1-27, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Tom de Jong |
The Scott model of PCF in univalent type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 31(10), pp. 1270-1300, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Hongyan Yang, Mengyin Liu, Yupeng Chen, Ling Guo, Gongli Xiao, Houquan Liu, Jianqing Li 0001, Libo Yuan |
Highly Sensitive Graphene-Au Coated Plasmon Resonance PCF Sensor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 21(3), pp. 818, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Emre Çimen, Gürkan Öztürk |
O-PCF algorithm for one-class classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Methods Softw. ![In: Optim. Methods Softw. 35(6), pp. 1065-1079, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Damiano Mazza, Michele Pagani |
Automatic Differentiation in PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.03335, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
21 | Jifang Rong, Hua Yang, Yuzhe Xiao |
Accurately Shaping Supercontinuum Spectrum via Cascaded PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 20(9), pp. 2478, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Abdullah Al-Mamun Bulbul, Farjana Imam, Md. Abdul Awal, M. A. Parvez Mahmud |
A Novel Ultra-Low Loss Rectangle-Based Porous-Core PCF for Efficient THz Waveguidance: Design and Numerical Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 20(22), pp. 6500, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Abdullah Al Noman, Emranul Haque, M. Anwar Hossain 0003, Nguyen Hoang Hai, Yoshinori Namihira, Feroz Ahmed |
Sensitivity Enhancement of Modified D-Shaped Microchannel PCF-Based Surface Plasmon Resonance Sensor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 20(21), pp. 6049, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Flora, Siti Farhana, Khairun Nisa, Retanisa Mentari |
The Proportion of Peer Corrective Feedback (PCF) on Writing Aspects: Are they really effective? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLIQE ![In: ICLIQE 2020: The 4th International Conference on Learning Innovation and Quality Education, Surakarta, Indonesia, September, 2020, pp. 43:1-43:6, 2020, ACM, 978-1-4503-7572-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Chuan Jiang, Sanjay G. Rao, Mohit Tawarmalani |
PCF: Provably Resilient Flexible Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: SIGCOMM '20: Proceedings of the 2020 Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication, Virtual Event, USA, August 10-14, 2020, pp. 139-153, 2020, ACM, 978-1-4503-7955-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Ahmet Yasli, Hüseyin Ademgil |
Symmetric D-Shaped PCF-SPR Sensor Based on Multi Analyte Sensing Purposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIU ![In: 28th Signal Processing and Communications Applications Conference, SIU 2020, Gaziantep, Turkey, October 5-7, 2020, pp. 1-4, 2020, IEEE, 978-1-7281-7206-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Zheng Guan, Zhijun Yang, Min He, Wenhua Qian |
Energy-efficient analysis of an IEEE 802.11 PCF MAC protocol based on WLAN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Ambient Intell. Humaniz. Comput. ![In: J. Ambient Intell. Humaniz. Comput. 10(5), pp. 1727-1737, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Daiki Fujimoto, Hai-Han Lu, Kazuo Kumamoto, Song-En Tsai, Qi-Ping Huang, Jing-Yan Xie |
Phase-Modulated Hybrid High-Speed Internet/WiFi/Pre-5G In-Building Networks Over SMF and PCF With GI-POF/IVLLC Transport. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 90620-90629, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Tom de Jong |
The Scott model of PCF in univalent type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.09810, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul |
PCF-based formalization of the parallel composition of automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS-DE ![In: Proceedings of the 1st International Workshop on Information, Computation, and Control Systems for Distributed Environments, ICCS-DE 2019, Irkutsk, Russia, July 8-9, 2019., pp. 29-41, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Bushra Ismaiel, Mehran Abolhasan, Wei Ni 0001, David B. Smith 0001, Daniel Robert Franklin, Eryk Dutkiewicz, Marwan Krunz, Abbas Jamalipour |
PCF-Based LTE Wi-Fi Aggregation for Coordinating and Offloading the Cellular Traffic to D2D Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Veh. Technol. ![In: IEEE Trans. Veh. Technol. 67(12), pp. 12193-12203, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Sushank Chaudhary, Angela Amphawan |
Solid core PCF-based mode selector for MDM-Ro-FSO transmission systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Photonic Netw. Commun. ![In: Photonic Netw. Commun. 36(2), pp. 263-271, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Ehrhard, Michele Pagani, Christine Tasson |
Full Abstraction for Probabilistic PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 65(4), pp. 23:1-23:44, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | John Longley |
The encodability hierarchy for PCF types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.00344, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | John Longley |
The recursion hierarchy for PCF is strict. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 14(3), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Juan Carlos Martinez |
On PCF spaces which are not Frechet-Urysohn. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reports Math. Log. ![In: Reports Math. Log. 53, pp. 67-77, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|