Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Xinran Dong, Haifeng Du, Zhi Luo, Ji'an Duan |
Highly Sensitive Strain Sensor Based on a Novel Mach-Zehnder Interferometer with TCF-PCF Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 18(1), pp. 278, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Sully Milena Mejia Quintero, Luiz Carlos Guedes Valente, Marcos Sebastião De Paula Gomes, Hugo Gomes da Silva, Bernardo Caroli de Souza, Sergio R. K. Morikawa |
All-Fiber CO2 Sensor Using Hollow Core PCF Operating in the 2 µm Region. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 18(12), pp. 4393, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Simon Castellan, Pierre Clairambault, Hugo Paquet, Glynn Winskel |
The concurrent game semantics of Probabilistic PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 215-224, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Hui Liu, Hangzhou Yang, Xueguang Qiao, Yongqiang Wang, Xiaochong Liu, Yen-Sian Lee, Kok-Sing Lim, Harith Ahmad |
Curvature and Temperature Measurement Based on a Few-Mode PCF Formed M-Z-I and an Embedded FBG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 17(8), pp. 1725, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Jianjun Lei, Jianhua Jiang |
A Novel Co-channel Deployment Algorithm Based on PCF in Multiple APs and High Density WLANs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSOC (3) ![In: Software Engineering Trends and Techniques in Intelligent Systems - Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 3, pp. 126-135, 2017, 978-3-319-57140-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Jonas K. Valiunas, Mario Tenuta, Gautam Das 0002 |
A Gas Cell Based on Hollow-Core Photonic Crystal Fiber (PCF) and Its Application for the Detection of Greenhouse Gas (GHG): Nitrous Oxide (N2O). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sensors ![In: J. Sensors 2016, pp. 7678315:1-7678315:9, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Salma Jamoussi, Yassine Ben Ayed |
PCF-SVM : une nouvelle méthode de sélection d'attributs pour la classification supervisée. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tech. Sci. Informatiques ![In: Tech. Sci. Informatiques 35(3), pp. 263-288, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | John Longley |
The recursion hierarchy for PCF is strict. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1607.04611, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Yue Yang, Sumit Roy |
PCF Scheme for Periodic Data Transmission in Smart Metering Network with Cognitive Radio. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1603.01356, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Jean Goubault-Larrecq |
Full abstraction for non-deterministic and probabilistic extensions of PCF I: The angelic cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 84(1), pp. 155-184, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Marco Paviotti, Rasmus Ejlers Møgelberg, Lars Birkedal |
A Model of PCF in Guarded Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: The 31st Conference on the Mathematical Foundations of Programming Semantics, MFPS 2015, Nijmegen, The Netherlands, June 22-25, 2015, pp. 333-349, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Aloïs Brunel, Marco Gaboardi |
Realizability models for a linear dependent PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 585, pp. 55-70, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Ehrhard, Michele Pagani, Christine Tasson |
Full abstraction for probabilistic PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1511.01272, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
21 | Huseyin Ademgil, Shyqyri Haxha |
PCF Based Sensor with High Sensitivity, High Birefringence and Low Confinement Losses for Liquid Analyte Sensing Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 15(12), pp. 31833-31842, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Simon Castellan, Pierre Clairambault, Glynn Winskel |
The Parallel Intensionally Fully Abstract Games Model of PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015, pp. 232-243, 2015, IEEE Computer Society, 978-1-4799-8875-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Sadaaki Kawata, Kazuyuki Asada, Naoki Kobayashi 0001 |
Decision Algorithms for Checking Definability of Order-2 Finitary PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 313-331, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Yue Yang, Sumit Roy |
PCF Scheme for Periodic Data Transmission in Smart Metering Network with Cognitive Radio. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM ![In: 2015 IEEE Global Communications Conference, GLOBECOM 2015, San Diego, CA, USA, December 6-10, 2015, pp. 1-6, 2015, IEEE, 978-1-4799-5952-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Shahin Amini, Thomas Erhard |
On Classical PCF, Linear Logic and the MIX Rule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany, pp. 582-596, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-90-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Robson Costa, Paulo Portugal, Francisco Vasques, Carlos Montez, Ricardo de Moraes |
Limitations of the IEEE 802.11 DCF, PCF, EDCA and HCCA to handle real-time traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDIN ![In: 13th IEEE International Conference on Industrial Informatics, INDIN 2015, Cambridge, United Kingdom, July 22-24, 2015, pp. 931-936, 2015, IEEE, 978-1-4799-6649-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Meng Pang, Wenbin He, Philip St. J. Russell |
Programmable generation and storage of soliton sequences in fibre laser cavity locked to gigahertz core resonance in PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOC ![In: European Conference on Optical Communication, ECOC 2015, Valencia, Spain, September 27 - October 1, 2015, pp. 1-3, 2015, IEEE, 978-8-4608-1741-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Ehrhard, Christine Tasson, Michele Pagani |
Probabilistic coherence spaces are fully abstract for probabilistic PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 309-320, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Brice M. Cannon, Tanvir Mahmood, William Astar, Paul Boudra, Tinoosh Mohsenin, Gary M. Carter |
Polarization-insensitive phase-transmultiplexing of CSRZ-OOK and RZ-BPSK to RZ-QPSK via XPM in a PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OFC ![In: Optical Fiber Communications Conference and Exhibition, OFC 2014, San Francisco, CA, USA, March 9-13, 2014, pp. 1-3, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Li Feng 0001, Jianqing Li 0001, Xiaodong Lin 0001 |
A New Delay Analysis for IEEE 802.11 PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Veh. Technol. ![In: IEEE Trans. Veh. Technol. 62(8), pp. 4064-4069, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Kuan-Hung Chou, Woei Lin |
Performance Analysis of Packet Aggregation for IEEE 802.11 PCF MAC-Based Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 12(4), pp. 1441-1447, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Enrique de Amo, Manuel Díaz Carrillo, Juan Fernández-Sánchez |
PCF self-similar sets and fractal interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Simul. ![In: Math. Comput. Simul. 92, pp. 28-39, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria |
Full Abstraction for PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1311.6125, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
21 | Moti Gitik, Saharon Shelah |
Applications of pcf for mild large cardinals to elementary embeddings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 164(9), pp. 855-865, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Saharan Shelah |
The PCF Theorem Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Mathematics of Paul Erdős II ![In: The Mathematics of Paul Erdős II, pp. 441-488, 2013, Springer, 978-1-4614-7253-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Benjamin Kreuter, Abhi Shelat |
Lessons learned with PCF: scaling secure computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PETShop@CCS ![In: PETShop'13, Proceedings of the 2013 ACM Workshop on Language Support for Privacy-Enhancing Technologies, Co-located with CCS 2013, November 4, 2013, Berlin, Germany, pp. 7-10, 2013, ACM, 978-1-4503-2489-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Ben Kreuter, Abhi Shelat, Benjamin Mood, Kevin R. B. Butler |
PCF: A Portable Circuit Format for Scalable Two-Party Secure Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: Proceedings of the 22th USENIX Security Symposium, Washington, DC, USA, August 14-16, 2013, pp. 321-336, 2013, USENIX Association, 978-1-931971-03-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
21 | Chanwoo Park, Jungwoo Lee 0001 |
Intelligent Traffic Control Systems Based on IEEE 802.11 DCF/PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 95-A(9), pp. 1651-1654, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Peter Gammie |
Logical Relations for PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2012, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
21 | Menachem Kojman |
Singular Cardinals: From Hausdorff's Gaps to Shelah's PCF Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sets and Extensions in the Twentieth Century ![In: Sets and Extensions in the Twentieth Century, pp. 509-558, 2012, Elsevier, 978-0-444-51621-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Joyce George, K. Sunil Kumar |
Investigations on the modeling and simulation of the low loss, highly birefringent PCF for high speed communication networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICUMT ![In: 4th International Congress on Ultra Modern Telecommunications and Control Systems, ICUMT 2012, St. Petersburg, Russia, October 3-5, 2012, pp. 626-630, 2012, IEEE, 978-1-4673-2016-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Raúl Palacios, Fabrizio Granelli, Danica Gajic, Andreas Foglar |
An energy-efficient MAC protocol for infrastructure WLAN based on modified PCF/DCF access schemes using a bidirectional data packet exchange. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAMAD ![In: 17th IEEE International Workshop on Computer Aided Modeling and Design of Communication Links and Networks, CAMAD 2012, Barcelona, Spain, September 17-19, 2012, pp. 216-220, 2012, IEEE, 978-1-4673-3123-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Fritz Müller 0001 |
On Berry's conjectures about the stable order in PCF ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 8(4), 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Walter M. Nakaema, Zuo-Qiang Hao, Philipp Rohwetter, Ludger Wöste, Kamil Stelmaszczyk |
PCF-Based Cavity Enhanced Spectroscopic Sensors for Simultaneous Multicomponent Trace Gas Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 11(2), pp. 1620-1640, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Chanwoo Park, Jungwoo Lee 0001 |
Intelligent Traffic Control Based on IEEE 802.11 DCF/PCF Mechanisms at Intersections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Fall ![In: Proceedings of the 74th IEEE Vehicular Technology Conference, VTC Fall 2011, 5-8 September 2011, San Francisco, CA, USA, pp. 1-4, 2011, IEEE, 978-1-4244-8328-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Marco Gaboardi, Luca Paolini, Mauro Piccolo |
Linearity and PCF: a semantic insight! ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011, pp. 372-384, 2011, ACM, 978-1-4503-0865-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Philippe Schiesser, Ricardo Teixeira, Anne Himeno, Andrew Southwood |
Linking PCF, LCA and ecodesign - A practical approach for the food sector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EnviroInfo ![In: Innovations in Sharing Environmental Observations and Information: Proceedings of the 25th International Conference on Informatics for Environmental Protection, EnviroInfo 2011, Ispra, Italy, September 5-7, 2011, pp. 775-782, 2011, Shaker Verlag, Aachen, 978-3-8440-0451-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
21 | Ricardo Teixeira, Lori Gustavus, Anne Himeno, Sara Pax |
A review of tools for PCF and LCA in the agri-food sector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EnviroInfo ![In: Innovations in Sharing Environmental Observations and Information: Proceedings of the 25th International Conference on Informatics for Environmental Protection, EnviroInfo 2011, Ispra, Italy, September 5-7, 2011, pp. 711-718, 2011, Shaker Verlag, Aachen, 978-3-8440-0451-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
21 | Karim Er-rhaimini, Boban Velickovic |
PCF structures of height less than omega3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 75(4), pp. 1231-1248, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Martin Churchill, James Laird, Guy McCusker |
A Concrete Representation of Observational Equivalence for PCF ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1003.0107, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
21 | Biplav Srivastava, Pietro Mazzoleni |
An APQC-PCF based framework to compare service offerings in business transformation projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 73-78, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Md. Atiur Rahman Siddique, Joarder Kamruzzaman |
Performance Analysis of PCF Based WLANs with Imperfect Channel and Failure Retries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM ![In: Proceedings of the Global Communications Conference, 2010. GLOBECOM 2010, 6-10 December 2010, Miami, Florida, USA, pp. 1-6, 2010, IEEE, 978-1-4244-5638-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Ibrahim Yakut, Huseyin Polat 0001, Mehmet Koç |
PCF: Projection-based Collaborative Filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDIR ![In: KDIR 2010 - Proceedings of the International Conference on Knowledge Discovery and Information Retrieval, Valencia, Spain, October 25-28, 2010, pp. 408-413, 2010, SciTePress, 978-989-8425-28-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
21 | Kazuhide Nakajima, Takashi Matsui, Chisato Fukai |
Wide-Band Dispersion Compensation for PCF with Uniform Air Hole Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Commun. ![In: IEICE Trans. Commun. 92-B(9), pp. 2951-2953, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Chisato Fukai, Kazuhide Nakajima, Takashi Matsui |
Applicability of Large Effective Area PCF to DRA Transmission. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Commun. ![In: IEICE Trans. Commun. 92-B(6), pp. 2251-2253, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Liqiang Zhao, Jie Zhang 0003, Hailin Zhang 0001 |
Hub-polling-based IEEE 802.11 PCF with integrated QoS differentiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Commun. Mob. Comput. ![In: Wirel. Commun. Mob. Comput. 9(9), pp. 1220-1230, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Qutaiba I. Ali |
Performance Evaluation of WLAN Internet Sharing Using DCF & PCF Modes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Arab. J. e Technol. ![In: Int. Arab. J. e Technol. 1(1), pp. 38-45, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
21 | Imen Sassi, Nabil Belacel, Yassine Bouslimani, Habib Hamam |
Multicriteria PCF Design: An Accurate Photonic Crystal Fiber Design Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNSR ![In: 7th Annual Conference on Communication Networks and Services Research, CNSR 2009, 11-13 May 2009, Moncton, New Brunswick, Canada, pp. 252-256, 2009, IEEE Computer Society, 978-1-4244-4155-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Luís Pereira |
The PCF conjecture and large cardinals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 73(2), pp. 674-688, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Kenji Kurokawa, Takashi Yamamoto, Katsusuke Tajima, Atsushi Aratake, Kenya Suzuki, Toshio Kurashima |
WDM transmission in 1.0µm band over PCF using supercontinuum source. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Electron. Express ![In: IEICE Electron. Express 5(11), pp. 395-399, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Said Zaghloul, Wolfgang Bziuk, Admela Jukan |
Signaling and Handoff Rates at the Policy Control Function (PCF) in IP Multimedia Subsystem (IMS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Lett. ![In: IEEE Commun. Lett. 12(7), pp. 526-528, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Koji Ieda, Kenji Kurokawa, Katsusuke Tajima, Kazuhide Nakajima |
Visible to infrared high-speed WDM transmission over PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Electron. Express ![In: IEICE Electron. Express 4(12), pp. 375-379, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Jun Zheng 0003, Emma E. Regentova |
I-Poll: Improved Polling Scheme for Augmenting Voice Support in IEEE 802.11 PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Commun. ![In: IEICE Trans. Commun. 89-B(6), pp. 1964-1967, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Russell J. Haines, Gary Clemo, Alistair Munro |
Toward Formal Verification of 802.11 MAC Protocols: Verifying a Petri-Net Model of 802.11 PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Fall ![In: Proceedings of the 64th IEEE Vehicular Technology Conference, VTC Fall 2006, 25-28 September 2006, Montréal, Québec, Canada, pp. 1-5, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Russell J. Haines, Alistair Munro, Gary Clemo |
Toward Formal Verification of 802.11 MAC Protocols: a Case Study of Applying Petri-nets to Modeling the 802.11 PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 63rd IEEE Vehicular Technology Conference, VTC Spring 2006, 7-10 May 2006, Melbourne, Australia, pp. 1171-1175, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Yi-Wen Lan, Jyh-Cheng Chen |
Asymptotic weighted fair queuing (AWFQ) for IEEE 802.11 point coordination function (PCF). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCNC ![In: 3rd IEEE Consumer Communications and Networking Conference, CCNC 2006, Las Vegas, NV, USA, February 13, 2006, pp. 823-827, 2006, IEEE, 1-4244-0085-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Apichan Kanjanavapastit, Björn Landfeldt |
Enhancements of the modified PCF in IEEE 802.11 WLANs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Commun. Networks ![In: J. Commun. Networks 7(3), pp. 313-324, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Biplab Sikdar 0001 |
Delay analysis of IEEE 802.11 PCF MAC based wireless networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM ![In: Proceedings of the Global Telecommunications Conference, 2005. GLOBECOM '05, St. Louis, Missouri, USA, 28 November - 2 December 2005, pp. 5, 2005, IEEE, 0-7803-9414-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Takehiro Kawata, Sangho Shin, Andrea G. Forte, Henning Schulzrinne |
Using dynamic PCF to improve the capacity for VoIP traffic in IEEE 802.11 networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCNC ![In: IEEE Wireless Communications and Networking Conference, WCNC 2005, March 13-17, 2005, New Orleans, Louisiana, USA, pp. 1589-1595, 2005, IEEE, 0-7803-8966-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Ping Ding, JoAnne Holliday, Aslihan Celik |
Dynamic scheduling of PCF traffic in an unstable wireless LAN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCNC ![In: 2nd IEEE Consumer Communications and Networking Conference, CCNC 2005, Las Vegas, NV, USA, January 3-6, 2005, pp. 445-450, 2005, IEEE, 0-7803-8784-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Riccardo Pucella, Prakash Panangaden |
On the Expressive Power of First-Order Boolean Functions in PCF ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.PL/0405085, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
21 | Jamal N. Al-Karaki, J. Morris Chang |
EPCF: a lightweight multi-priority PCF for QoS support in IEEE 802.11 wireless LANs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCCC ![In: Proceedings of the 23rd IEEE International Performance Computing and Communications Conference, IPCCC 2004, April 15-17, 2004, Phoenix, Arizona, USA, pp. 495-502, 2004, IEEE, 0-7803-8396-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Daji Qiao, Sunghyun Choi 0001, Amjad Soomro, Kang G. Shin |
Energy-efficient PCF operation of IEEE 802.11a WLANs via transmit power control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 42(1), pp. 39-54, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Juki Wirawan Tantra, Teck Meng Lim, Chuan Heng Foh, Bu-Sung Lee |
An Enhanced SuperPoll Protocol for IEEE 802.11 PCF with rate differentiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MWCN ![In: Mobile and Wireless Communications Networks - Proceedings of the Fifth IFIP-TC6 International Conference, Singapore, October 27-29, 2003, 2003, World Scientific, 978-981-238-686-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Zhihui Chen, Ashfaq A. Khokhar |
Improved MAC protocols for DCF and PCF modes over fading channels in wireless LANs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCNC ![In: 2003 IEEE Wireless Communications and Networking, WCNC 2003, New Orleans, LA, USA, 16-20 March, 2003, pp. 1297-1302, 2003, IEEE, 0-7803-7700-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Amin Farjudian |
Sequentiality and Piecewise-affinity in Segments of Real-PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Domains ![In: Proceedings of the Workshop on Domains VI 2002, Birmingham, UK, September 16-19, 2002, pp. 3-43, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Saharon Shelah |
PCF and infinite free subsets in an algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 41(4), pp. 321-359, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Takahiro Suzuki, Shuji Tasaka |
Performance evaluation of priority-based multimedia transmission with the PCF in an IEEE 802.11 standard wireless LAN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PIMRC ![In: 12th IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2001, 30 September 2001 - 3 October 2001, San Diego, CA, USA, pp. G70-G77, 2002, IEEE, 0-7803-7244-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Daji Qiao, Sunghyun Choi 0001, Amjad Soomro, Kang G. Shin |
Energy-Efficient PCF Operation of IEEE 802.11a Wireless LAN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: Proceedings IEEE INFOCOM 2002, The 21st Annual Joint Conference of the IEEE Computer and Communications Societies, New York, USA, June 23-27, 2002, pp. 580-589, 2002, IEEE Computer Society, 0-7803-7477-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Ralph Loader |
Finitary PCF is not decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 266(1-2), pp. 341-364, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Riccardo Pucella, Prakash Panangaden |
On the expressive power of first-order boolean functions in PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 266(1-2), pp. 543-567, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Saharon Shelah |
Applications of PCF Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 65(4), pp. 1624-1674, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | J. M. E. Hyland, C.-H. Luke Ong |
On Full Abstraction for PCF: I, II, and III. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 163(2), pp. 285-408, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Abbas Edalat, Martín Hötzel Escardó |
Integration in Real PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 160(1-2), pp. 128-166, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria |
Full Abstraction for PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 163(2), pp. 409-470, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Gordon D. Plotkin |
Full abstraction, totality and PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 9(1), pp. 1-20, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
21 | Manfred Schmidt-Schauß |
Decidability of Behavioural Equivalence in Unary PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 216(1-2), pp. 363-373, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Martín Hötzel Escardó, Thomas Streicher |
Induction and Recursion on the Partial Real Line with Applications to Real PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 210(1), pp. 121-157, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Ehrhard |
A Relative PCF-Definability Result for Strongly Stable Functions and some Corollaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 152(1), pp. 111-137, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Ferruccio Damiani |
Useless-Code Detection and Elimination for PCF with Algebraic Data types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings, pp. 83-97, 1999, Springer, 3-540-65763-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Torben Braüner |
A Simple Adequate Categorical Model for PCF, II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 33(4), pp. 339-368, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Holger Schulz |
Type two theory of effectivity and Real PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Domains ![In: Workshop on Domains IV 1998, Haus Humboldtstein, Remagen-Rolandseck, Germany, October 2-4, 1998, pp. 191-203, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Ehrhard |
A relative PCF-definability result for strongly stable functions and some corollaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Domains ![In: Workshop on Domains IV 1998, Haus Humboldtstein, Remagen-Rolandseck, Germany, October 2-4, 1998, pp. 64-83, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Ralph Loader |
Unary PCF is Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 206(1-2), pp. 317-329, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Hugo Herbelin |
Games and Weak-Head Reduction for Classical PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings, pp. 214-230, 1997, Springer, 3-540-62688-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Torben Braüner |
A Simple Adequate Categorical Model for PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings, pp. 82-98, 1997, Springer, 3-540-62688-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Martín Hötzel Escardó |
PCF extended with real numbers : a domain-theoretic approach to higher-order exact real number computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1997 |
RDF |
|
21 | Thomas Jech, Saharon Shelah |
Possible pcf Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 61(1), pp. 313-317, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Martín Hötzel Escardó |
PCF Extended with Real Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 162(1), pp. 79-115, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Abbas Edalat, Martín Hötzel Escardó |
Integration in Real PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, July 27-30, 1996, pp. 382-393, 1996, IEEE Computer Society, 0-8186-7463-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Jech |
Singular cardinals and the PCF theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 1(4), pp. 408-424, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Peter W. O'Hearn, Jon G. Riecke |
Kripke Logical Relations and PCF ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 120(1), pp. 107-116, July 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
21 | J. M. E. Hyland, C.-H. Luke Ong |
Pi-Calculus, Dialogue Games and PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 96-107, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
21 | P. Carboni, M. Fuscione, F. Guindani, Sergio Punzi, Paolo Stofella |
XHIVE: interactive parallel application development using the PCF methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCN ![In: High-Performance Computing and Networking, International Conference and Exhibition, HPCN Europe 1995, Milan, Italy, May 3-5, 1995, Proceedings, pp. 257-262, 1995, Springer, 3-540-59393-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Streicher |
A Universality Theorem for PCF With Recursive Types, Parallel-Or and Exists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 4(1), pp. 111-115, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Samson Abramsky, Pasquale Malacaria, Radha Jagadeesan |
Full Abstraction for PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, International Conference TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings, pp. 1-15, 1994, Springer, 3-540-57887-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Achim Jung, Allen Stoughton |
Studying the Fully Abstract Model of PCF within its Continuous Function Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA '93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings, pp. 230-244, 1993, Springer, 3-540-56517-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|