Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
83 | Taisuke Izumi, Koichi Wada 0001 |
On the Probabilistic Omission Adversary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 357-371, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
83 | Calin Cascaval, Evelyn Duesterwald, Peter F. Sweeney, Robert W. Wisniewski |
Multiple Page Size Modeling and Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: 14th International Conference on Parallel Architectures and Compilation Techniques (PACT 2005), 17-21 September 2005, St. Louis, MO, USA, pp. 339-349, 2005, IEEE Computer Society, 0-7695-2429-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
81 | Ying Jiang, Guo-Qiang Zhang 0001 |
Weakly distributive domains (II). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 1(4), pp. 373-384, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
weakly distributive domain, stable bifinite domain, meet-cpo, stable function, cartesian closed category |
74 | Marek A. Bednarczyk, Andrzej M. Borzyszkowski |
CPO's do not form a CPO, and yet Recursion Works. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe (1) ![In: VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions, pp. 268-278, 1991, Springer, 3-540-54834-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
66 | Octavian Udrea, Yu Deng 0004, Edward Hung, V. S. Subrahmanian |
Probabilistic Ontologies and Relational Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part I, pp. 1-17, 2005, Springer, 3-540-29736-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
66 | Achim Jung |
New Results on Hierarchies of Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings, pp. 303-310, 1987, Springer, 3-540-19020-1. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
50 | Alberto Carraro, Antonino Salibra |
Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA, pp. 91-100, 2009, IEEE Computer Society, 978-0-7695-3746-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
50 | Ying Jiang, Guo-Qiang Zhang 0001 |
Weakly Distributive Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 194-206, 2007, Springer, 978-3-540-73227-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
50 | Hilary A. Priestley |
Ordered Sets and Complete Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction ![In: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures, pp. 21-78, 2000, Springer, 3-540-43613-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
50 | Eugenio Moggi |
Functor Categories and Two-Level Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 211-225, 1998, Springer, 3-540-64300-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
50 | Friederike Nickl |
Algebraic Specifications for Domain THeory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings, pp. 360-374, 1989, Springer, 3-540-50840-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
47 | Giulio Manzonetto |
A General Class of Models of H*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2009, 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings, pp. 574-586, 2009, Springer, 978-3-642-03815-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
?-theories, non-well-pointed categories, cpo-enriched categories, relational semantics, Approximation Theorem, ?-calculus |
33 | Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis |
Actors without Directors: A Kahnian View of Heterogeneous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings, pp. 46-60, 2009, Springer, 978-3-642-00601-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Juan Frausto Solís, Alberto González-Sanchez 0001, Mónica Larre |
A New Method for Optimal Cropping Pattern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2009: Advances in Artificial Intelligence, 8th Mexican International Conference on Artificial Intelligence, Guanajuato, Mexico, November 9-13, 2009. Proceedings, pp. 566-577, 2009, Springer, 978-3-642-05257-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
cropping pattern optimization, genetic algorithms, simplex method, regression trees |
33 | David Riaño 0001, Francis Real, Fabio Campana, Sara Ercolani, Roberta Annicchiarico |
An Ontology for the Care of the Elder at Home. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIME ![In: Artificial Intelligence in Medicine, 12th Conference on Artificial Intelligence in Medicine, AIME 2009, Verona, Italy, July 18-22, 2009. Proceedings, pp. 235-239, 2009, 978-3-642-02975-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Johan Glimming |
Parametric (Co)Iteration vs. Primitive Direcursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings, pp. 257-278, 2007, Springer, 978-3-540-73857-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Guo-Qiang Zhang 0001 |
DI-Domains as Information Systems (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings, pp. 773-788, 1989, Springer, 3-540-51371-X. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
33 | Radha Jagadeesan |
L-domains and Lossless Powerdomains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Foundations of Programming Semantics ![In: Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings, pp. 364-372, 1989, Springer, 3-540-97375-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
33 | Tohru Naoi, Yasuyoshi Inagaki |
Algebraic Semantics and Complexity of Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings, pp. 311-325, 1989, Springer, 3-540-51081-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
33 | Gérard Comyn, Max Dauchet |
Approximations of Infinitary Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings, pp. 116-127, 1982, Springer, 3-540-11576-5. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
32 | Ling Cheung, Mariëlle Stoelinga, Frits W. Vaandrager |
A testing scenario for probabilistic processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 54(6), pp. 29, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
CPO, approximation induction principle, button-pushing scenario, trace distributions, testing, metric spaces, probabilistic automata, observational equivalence, Concurrency theory |
29 | Jungwook Shin, Jaeill Kim, Kyungeun Lee, Hyunghun Cho, Wonjong Rhee |
DR.CPO: Diversified and Realistic 3D Augmentation via Iterative Construction, Random Placement, and HPR Occlusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.12743, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Juz Nur Fatiha Deena Mohd Fuad, Zaidah Ibrahim, Noor Latiffah Adam, Norizan Mat Diah |
A Comparative Study of Univariate and Multivariate Time Series Forecasting for CPO Prices Using Machine Learning Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVIC ![In: Advances in Visual Informatics - 8th International Visual Informatics Conference, IVIC 2023, Selangor, Malaysia, November 15-17, 2023, Proceedings, pp. 52-62, 2023, Springer, 978-981-99-7338-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Daisuke Inoue, Konosuke Aoyama, Naoki Fujiwara, Daisei Shoji, Harold Kamisugi |
A high-power, power-efficient 1.3-μm SOA-integrated DFB laser for CPO applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OFC ![In: Optical Fiber Communications Conference and Exhibition, OFC 2023, San Diego, CA, USA, March 5-9, 2023, pp. 1-3, 2023, IEEE, 978-1-957171-18-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Taketsugu Sawamura, Kyoko Nagai, Kazuhiko Kashima, Kohei Umeta, Daiki Takeda, Tsunetoshi Saito, Hideyuki Nasu |
8-Channel CWDM TOSA for CPO External Laser Sources Employing a Blind Mate Optical Connector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OFC ![In: Optical Fiber Communications Conference and Exhibition, OFC 2023, San Diego, CA, USA, March 5-9, 2023, pp. 1-3, 2023, IEEE, 978-1-957171-18-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Junho Kim, Hojun Jang, Changwoon Choi, Young Min Kim 0001 |
CPO: Change Robust Panorama to Point Cloud Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.05317, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Junho Kim, Hojun Jang, Changwoon Choi, Young Min Kim 0001 |
CPO: Change Robust Panorama to Point Cloud Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (9) ![In: Computer Vision - ECCV 2022 - 17th European Conference, Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part IX, pp. 176-192, 2022, Springer, 978-3-031-20076-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Erman Timurdogan, Zhan Su 0001, Ren-Jye Shiue, Matthew J. Byrd, Christopher V. Poulton, Kenneth Jabon, Christopher DeRose, Benjamin R. Moss, Ehsan S. Hosseini, Ivan Duzevik, Michael Whitson, Ronald P. Millman, Dogan A. Atlas, Michael R. Watts |
400G Silicon Photonics Integrated Circuit Transceiver Chipsets for CPO, OBO, and Pluggable Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OFC ![In: Optical Fiber Communications Conference and Exhibition, OFC 2020, San Diego, CA, USA, March 8-12, 2020, pp. 1-3, 2020, IEEE, 978-1-9435-8071-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Lucas Groleaz, Samba Ndojh Ndiaye, Christine Solnon |
Solving the Group Cumulative Scheduling Problem with CPO and ACO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, pp. 620-636, 2020, Springer, 978-3-030-58474-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Ko-Wei Huang, Ze-Xue Wu |
CPO: A Crow Particle Optimization Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Intell. Syst. ![In: Int. J. Comput. Intell. Syst. 12(1), pp. 426-435, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Chen Peng, Zhiqiang He 0001, Baoyu Tian |
Code aided CPO estimation based on particle filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCSP ![In: 2011 International Conference on Wireless Communications & Signal Processing, WCSP 2011, Nanjing, China, November 9-11, 2011, pp. 1-5, 2011, IEEE, 978-1-4577-1009-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Xiaojun Liu 0001, Edward A. Lee |
CPO semantics of timed interactive actor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 409(1), pp. 110-125, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Joaquim Gabarró, Alan Stewart, Maurice Clint |
Grab and Go Systems: a CPO approach to concurrent web and grid-based computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-WAN@ICALP ![In: Foundations of Wide Area Network Computing, F-WAN 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002, pp. 1-21, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu |
Bundle event structures: A revised cpo approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 83(1), pp. 7-12, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Gabriel Ciobanu |
The Reflexive Domain of CPO's Ideals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Cybern. ![In: Acta Cybern. 12(3), pp. 249-260, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
29 | Luca Aceto, Anna Ingólfsdóttir |
CPO Models for Compact GSOS Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 129(2), pp. 107-141, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
29 | Andrea Corradini 0001, Fabio Gadducci |
CPO Models for Infinite Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings, pp. 368-384, 1995, Springer, 3-540-60043-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
29 | Luca Aceto, Anna Ingólfsdóttir |
CPO Models for a Class of GSOS Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings, pp. 439-453, 1995, Springer, 3-540-59293-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
29 | Christel Baier, Mila E. Majster-Cederbaum |
Denotational Semantics in the CPO and Metric Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 135(2), pp. 171-220, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
29 | Mila E. Majster-Cederbaum, Frank Zetzsche |
The Comparison of a CPO-based Semantics with a CMS-based semantics for CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 124(1), pp. 1-40, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
29 | Erik Poll, C. Hemerik, Huub M. M. ten Eikelder |
CPO-Models for Second Order Lambda Calculus with Recursive Types and Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 27(3), pp. 221-260, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
29 | K. Theobald |
A Theory of Representable Cpo's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'84, 9th Colloquium on Trees in Algebra and Programming, Bordeaux, France, March 5-7, 1984, Proceedings, pp. 283-298, 1984, Cambridge University Press, 0-521-26750-1. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
29 | Klaus Weihrauch, Gisela Schäfer |
Admissible Representations of Effective CPO's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 26, pp. 131-147, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
29 | Dieter Spreen |
On r.e. inseparability of CPO index sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic and Machines ![In: Logic and Machines: Decision Problems and Complexity, Proceedings of the Symposium `Rekursive Kombinatorik` held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen, pp. 103-117, 1983, Springer, 3-540-13331-3. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
29 | Klaus Weihrauch, Ulrich Schreiber |
Embedding Metric Spaces Into CPO's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 16, pp. 5-24, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
29 | Klaus Weihrauch, Gisela Schäfer |
Admissible Representations of Effective CPO's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31 - September 4, 1981, Proceedings, pp. 544-553, 1981, Springer, 3-540-10856-4. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
29 | Klaus Weihrauch |
Recursion and Complexity Theory on CPO-S. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Computer Science ![In: Theoretical Computer Science, 5th GI-Conference, Karlsruhe, Germany, March 23-25, 1981, Proceedings, pp. 195-202, 1981, Springer, 3-540-10576-X. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
29 | Nasser Saheb-Djahromi |
CPO'S of Measures for Nondeterminism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 12, pp. 19-37, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
29 | Edward Sciore, A. Tang |
Admissible Coherent CPO's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, Fifth Colloquium, Udine, Italy, July 17-21, 1978, Proceedings, pp. 440-456, 1978, Springer, 3-540-08860-1. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
17 | Oana Agrigoroaiei, Gabriel Ciobanu |
Non-interleaving Semantics with Causality for Nondeterministic Dataflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, pp. 66-80, 2008, Springer, 978-3-540-85761-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Jean Goubault-Larrecq |
Prevision Domains and Convex Powercones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings, pp. 318-333, 2008, Springer, 978-3-540-78497-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Eicker, Jessica Kochbeck, Peter M. Schuler |
Employee Competencies for Business Process Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIS ![In: Business Information Systems, 11th International Conference, BIS 2008, Innsbruck, Austria, May 5-7, 2008. Proceedings, pp. 251-262, 2008, Springer, 978-3-540-79395-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Inter-Organizational Processes, Measurement, Human Factors, Business Process Management |
17 | Guang-Ping Qin, Jin-Zhao Wu |
Action Refinement for Real-Time Concurrent Processes with Urgency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 20(4), pp. 514-525, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
timed event, real-time process algebra, structure, action refinement, urgency |
17 | Paula Severi, Fer-Jan de Vries |
Continuity and Discontinuity in Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings, pp. 369-385, 2005, Springer, 3-540-25593-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | John Power |
Discrete Lawvere Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings, pp. 348-363, 2005, Springer, 3-540-28620-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Meyer 0001, Burkhart Wolff |
Tactic-Based Optimized Compilation of Functional Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers, pp. 201-214, 2004, Springer, 3-540-31428-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Mila E. Majster-Cederbaum, Jinzhao Wu |
Adding Action Refinement to Stochastic True Concurrency Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, pp. 226-245, 2003, Springer, 3-540-20461-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Jan A. Bergstra, Inge Bethke |
Polarized Process Algebra and Program Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings, pp. 1-21, 2003, Springer, 3-540-40493-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu |
Action Refinement for Probabilistic Processes with True Concurrency Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAPM-PROBMIV ![In: Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings, pp. 77-94, 2002, Springer, 3-540-43913-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Pietro Di Gianantonio, Gianluca Franco, Furio Honsell |
Game Semantics for Untyped lambda beta eta-Calculus. ![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. 114-128, 1999, Springer, 3-540-65763-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Christel Baier, Joost-Pieter Katoen, Diego Latella |
Metric Semantics for True Concurrent Real Time. ![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. 568-579, 1998, Springer, 3-540-64781-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Christel Baier, Mila E. Majster-Cederbaum |
Metric Semantics from Partial Order Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 34(9), pp. 701-735, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Pietro Di Gianantonio, Furio Honsell, Silvia Liani, Gordon D. Plotkin |
Countable Non-Determinism and Uncountable Limits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, pp. 130-145, 1994, Springer, 3-540-58329-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Guo-Qiang Zhang 0001 |
Universal Quasi-Prime Algebraic Domains. ![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. 454-473, 1993, Springer, 3-540-58027-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
universal structures, lattices, Domain theory, universal algebra, semantics of programming languages |
17 | Jan J. M. M. Rutten |
A Strucutral Co-Induction Theorem. ![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. 83-102, 1993, Springer, 3-540-58027-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Scott F. Smith 0001 |
From Operational to Denotational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings, pp. 54-76, 1991, Springer, 3-540-55511-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Ryszard Janicki, Maciej Koutny |
Invariant Semantics of Nets with Inhibitor Arcs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings, pp. 317-331, 1991, Springer, 3-540-54430-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Albert R. Meyer, Kurt Sieber |
Towards Fully Abstract Semantics for Local Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California, USA, January 10-13, 1988, pp. 191-203, 1988, ACM Press, 0-89791-252-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
ALGOL |
17 | Michael B. Smyth |
Quasi Uniformities: Reconciling Domains with Metric Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings, pp. 236-253, 1987, Springer, 3-540-19020-1. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Michael G. Main |
Free Constructions of Powerdomains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Foundations of Programming Semantics ![In: Mathematical Foundations of Programming Semantics, International Conference, Manhattan, Kansas, USA, April 11-12, 1985, Proceedings, pp. 162-183, 1985, Springer, 3-540-16816-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
17 | Joseph Y. Halpern, Albert R. Meyer, Boris A. Trakhtenbrot |
The Semantics of Local Storage, or What Makes the Free-List Free? ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, Salt Lake City, Utah, USA, January 1984, pp. 245-257, 1984, ACM Press, 0-89791-125-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
17 | Dana S. Scott |
Domains for Denotational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings, pp. 577-613, 1982, Springer, 3-540-11576-5. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
17 | Krzysztof R. Apt, Gordon D. Plotkin |
A Cook's Tour of Countable Nondeterminism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings, pp. 479-494, 1981, Springer, 3-540-10843-2. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
17 | Bernhard Josko |
An Effective Retract Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Computer Science ![In: Theoretical Computer Science, 5th GI-Conference, Karlsruhe, Germany, March 23-25, 1981, Proceedings, pp. 184-194, 1981, Springer, 3-540-10576-X. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
17 | Ralph-Johan Back |
Semantics of Unbounded Nondeterminism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherlands, July 14-18, 1980, Proceedings, pp. 51-63, 1980, Springer, 3-540-10003-2. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
17 | Gérard Berry |
Stable Models of Typed lambda-Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, Fifth Colloquium, Udine, Italy, July 17-21, 1978, Proceedings, pp. 72-89, 1978, Springer, 3-540-08860-1. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|