|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 129 occurrences of 93 keywords
|
|
|
Results
Found 3751 publication records. Showing 3751 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
125 | Zuzana Beerliová-Trubíniová, Martin Hirt, Jesper Buus Nielsen |
On the theoretical gap between synchronous and asynchronous MPC protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010, pp. 211-218, 2010, ACM, 978-1-60558-888-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
cryptography, multi-party computation, asynchronous network, mpc |
100 | Dewei Li 0001, Yugeng Xi 0001 |
Quality guaranteed aggregation based model predictive control and stability analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(7), pp. 1145-1156, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
equivalent aggregation, quasi-equivalent, model predictive control |
90 | Dmitry Arapov, Alexey Ya. Kalinov, Alexey L. Lastovetsky, Ilya Ledovskih, Ted G. Lewis |
A programming environment for heterogenous distributed memory machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Heterogeneous Computing Workshop ![In: 6th Heterogeneous Computing Workshop, HCW 1997, Geneva, Switzerland, April 1, 1997, pp. 32-45, 1997, IEEE Computer Society, 0-8186-7879-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
heterogenous distributed memory machines, ANSI C superset, application topology, mpC programming environment, portable parallel programs, run-time support system, command-line user interface, parallel programming, compiler, programming language, programming environment, network topology, virtual processors, mpC |
88 | Daniel Axehill, Anders Hansson |
A dual gradient projection quadratic programming algorithm tailored for model predictive control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 3057-3064, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
76 | Ofir Avni, Francesco Borrelli, Gadi Katzir, Ehud Rivlin, Héctor Rotstein |
Scanning and tracking with independent cameras - a biologically motivated approach based on model predictive control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Robots ![In: Auton. Robots 24(3), pp. 285-302, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
MPC controllers, Biologically motivated, Target tracking, Target search |
75 | Gorazd Karer, Gasper Music, Igor Skrjanc, Borut Zupancic |
Hybrid Fuzzy Modelling for Model Predictive Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 50(3), pp. 297-319, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Hybrid systems, Fuzzy systems, Model predictive control |
75 | Shiro Masuda, Hiroyuki Goto |
Feedback properties of model predictive control for max-plus-linear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2007, London, UK, 15-17 April 2007, pp. 553-558, 2007, IEEE, 1-4244-1076-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
75 | Huimin Geng, Xutao Deng, Dhundy Bastola, Hesham H. Ali |
On Clustering Biological Data Using Unsupervised and Semi-Supervised Message Passing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: Fifth IEEE International Symposium on Bioinformatic and Bioengineering (BIBE 2005), 19-21 October 2005, Minneapolis, MN, USA, pp. 294-298, 2005, IEEE Computer Society, 0-7695-2476-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
75 | Ronald Cramer, Ivan Damgård, Ueli M. Maurer |
General Secure Multi-party Computation from any Linear Secret-Sharing Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT 2000, International Conference on the Theory and Application of Cryptographic Techniques, Bruges, Belgium, May 14-18, 2000, Proceeding, pp. 316-334, 2000, Springer, 3-540-67517-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
75 | Andrew W. Appel |
Intensional Equality ;=) for Continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 31(2), pp. 55-57, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
74 | Martin Hirt, Ueli M. Maurer, Vassilis Zikas |
MPC vs. SFE : Unconditional and Computational Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2008, 14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2008. Proceedings, pp. 1-18, 2008, Springer, 978-3-540-89254-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
64 | Jesus Garcia, Mark G. Arnold, Leonidas G. Bleris, Mayuresh V. Kothare |
LNS architectures for embedded model predictive control processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2004 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2004, Washington DC, USA, September 22 - 25, 2004, pp. 79-84, 2004, ACM, 1-58113-890-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
FWL, cotransformation, reduced precision, LNS, MPC |
63 | Toru Nakanishi 0001, Daisuke Yamamoto, Yuji Sugiyama |
Sealed-Bid Auctions with Efficient Bids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2003, 6th International Conference, Seoul, Korea, November 27-28, 2003, Revised Papers, pp. 230-244, 2003, Springer, 3-540-21376-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
multiparty computation (MPC), mix-and-match, additive homomorphic cryptosystems, Sealed-bid auction |
63 | Eduardo Camponogara, S. N. Talukdar |
Distributed Model Predictive Control: Synchronous and Asynchronous Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 37(5), pp. 732-745, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
63 | Maciej Lawrynczuk |
Neural Models in Computationally Efficient Predictive Control Cooperating with Economic Optimisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (2) ![In: Artificial Neural Networks - ICANN 2007, 17th International Conference, Porto, Portugal, September 9-13, 2007, Proceedings, Part II, pp. 650-659, 2007, Springer, 978-3-540-74693-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
63 | Ronald Cramer, Serge Fehr, Yuval Ishai, Eyal Kushilevitz |
Efficient Multi-party Computation over Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT 2003, International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, May 4-8, 2003, Proceedings, pp. 596-613, 2003, Springer, 3-540-14039-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
63 | 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 |
63 | Nanda Kambhatla, Simon Haykin 0001, Robert D. Dony |
Image Compression Using KLT, Wavelets and an Adaptive Mixture of Principal Components Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 18(3), pp. 287-296, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
61 | Christoph Lucas, Dominik Raub, Ueli M. Maurer |
Hybrid-secure MPC: trading information-theoretic robustness for computational privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010, pp. 219-228, 2010, ACM, 978-1-60558-888-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
hybrid security, party emulation, computational security, information-theoretic security, universal composability, multi-party computation |
61 | Zuzana Beerliová-Trubíniová, Martin Hirt |
Perfectly-Secure MPC with Linear Communication Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC ![In: Theory of Cryptography, Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008., pp. 213-230, 2008, Springer, 978-3-540-78523-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
hyper-invertible matrix, efficiency, Multi-party computation, perfect security |
61 | H. Midorikawa |
The performance analysis of portable parallel programming interface MpC for SDSM and pthread. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 9-12 May, 2005, Cardiff, UK, pp. 889-896, 2005, IEEE Computer Society, 0-7803-9074-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
61 | Alexey Ya. Kalinov, Alexey L. Lastovetsky |
mpC + ScaLAPACK = Efficient Solving Linear Algebra Problems on Heterogeneous Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31 - September 3, 1999, Proceedings, pp. 1024-1031, 1999, Springer, 3-540-66443-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
50 | Hossein Ghodosi, Josef Pieprzyk |
Multi-Party Computation with Omnipresent Adversary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography ![In: Public Key Cryptography - PKC 2009, 12th International Conference on Practice and Theory in Public Key Cryptography, Irvine, CA, USA, March 18-20, 2009. Proceedings, pp. 180-195, 2009, Springer, 978-3-642-00467-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Omnipresent Adversary, Proactive Secret Sharing, t-resilient Protocols, t-private Protocols, Multi-Party Computation |
50 | Ion Necoara, Minh Dang Doan, Johan A. K. Suykens |
Application of the proximal center decomposition method to distributed model predictive control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 2900-2905, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Juan A. Garay, Rafail Ostrovsky |
Almost-Everywhere Secure Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT 2008, 27th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Istanbul, Turkey, April 13-17, 2008. Proceedings, pp. 307-323, 2008, Springer, 978-3-540-78966-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
secure message transmission, almost-everywhere agreement, bounded-degree networks, Secure multi-party computation, expander graphs |
50 | Maciej Lawrynczuk |
Suboptimal Nonlinear Predictive Control Based on Neural Wiener Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings, pp. 410-414, 2008, Springer, 978-3-540-85775-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Wiener models, neural networks, optimisation, Process control, quadratic programming, Model Predictive Control, linearisation |
50 | Chiu-Yuen Koo |
Secure Computation with Partial Message Loss. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC ![In: Theory of Cryptography, Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006, Proceedings, pp. 502-521, 2006, Springer, 3-540-32731-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
50 | Mircea Lazar, W. P. M. H. Heemels, Siep Weiland, Alberto Bemporad, Octavian Pastravanu |
Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings, pp. 417-432, 2005, Springer, 3-540-25108-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
50 | Walid Al-Ahmad |
On the Interaction of Programming by Contract and Liskov Substitution Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 26-29 June 2001, Beirut, Lebanon, pp. 421-423, 2001, IEEE Computer Society, 0-7695-1165-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
50 | Dmitry Arapov, Victor Ivannikov, Alexey Ya. Kalinov, Alexey L. Lastovetsky, Ilya Ledovskih |
Managing Processes with Network Objects and Their Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 24th EUROMICRO '98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden, pp. 21037-, 1998, IEEE Computer Society, 0-8186-8646-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
50 | Jiun-Ming Hsu, Prithviraj Banerjee |
A message passing coprocessor for distributed memory multicomputers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings Supercomputing '90, New York, NY, USA, November 12-16, 1990, pp. 720-729, 1990, IEEE Computer Society, 0-89791-412-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
48 | Stefano Di Cairano, Diana Yanakiev, Alberto Bemporad, Ilya V. Kolmanovsky, Davor Hrovat |
An MPC design flow for automotive control and applications to idle speed regulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 5686-5691, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
48 | Marc Pérache, Hervé Jourdren, Raymond Namyst |
MPC: A Unified Parallel Runtime for Clusters of NUMA Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2008 - Parallel Processing, 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008, Proceedings, pp. 78-88, 2008, Springer, 978-3-540-85450-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
48 | Zuzana Beerliová-Trubíniová, Martin Hirt |
Simple and Efficient Perfectly-Secure Asynchronous MPC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2007, 13th International Conference on the Theory and Application of Cryptology and Information Security, Kuching, Malaysia, December 2-6, 2007, Proceedings, pp. 376-392, 2007, Springer, 978-3-540-76899-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
efficiency, asynchronous, hybrid model, Multi-party computation, perfect security |
48 | Dongping Huang, Hessam S. Sarjoughian, Gary W. Godding, Daniel E. Rivera, Karl G. Kempf |
Flexible experimentation and analysis for hybrid DEVS and MPC models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, December 3-6, 2006, pp. 1863-1870, 2006, IEEE Computer Society, 1-4244-0501-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
48 | Yoshiaki Sakae, Satoshi Matsuoka |
MPC++ Performance for Commodity Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCN ![In: High-Performance Computing and Networking, 9th International Conference, HPCN Europe 2001, Amsterdam, The Netherlands, June 25-27, 2001, Proceedings, pp. 503-512, 2001, Springer, 3-540-42293-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
48 | Dmitry Arapov, Alexey Ya. Kalinov, Alexey L. Lastovetsky |
Resource Management in the mpC Programming Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA, pp. 576-585, 1997, IEEE Computer Society, 0-8186-7734-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
39 | Sang-Hoon Kim, Hyoung-Gon Kim |
Face Detection Using Multi-Modal Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FG ![In: 4th IEEE International Conference on Automatic Face and Gesture Recognition (FG 2000), 26-30 March 2000, Grenoble, France, pp. 14-19, 2000, IEEE Computer Society, 0-7695-0580-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
disparity histogram, MPEG-4 SNHC, multi-modal, skin color, MPC |
38 | Vassilis Zikas, Sarah Hauser, Ueli M. Maurer |
Realistic Failures in Secure Multi-party Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC ![In: Theory of Cryptography, 6th Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009. Proceedings, pp. 274-293, 2009, Springer, 978-3-642-00456-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Vu Nam Tran, Mietek A. Brdys |
Optimizing Control by Robustly Feasible Model Predictive Control and Application to Drinking Water Distribution Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (2) ![In: Artificial Neural Networks - ICANN 2009, 19th International Conference, Limassol, Cyprus, September 14-17, 2009, Proceedings, Part II, pp. 823-834, 2009, Springer, 978-3-642-04276-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
robust feasibility, robust output prediction, relaxation algorithm, drinking water distribution systems, genetic algorithms, optimization, predictive control |
38 | Licheng Jin, Ratnesh Kumar 0001, Nicola Elia |
Security constrained emergency voltage stabilization: A Model Predictive Control based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 2469-2474, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Giovanni Palmieri, Paolo Falcone, H. Eric Tseng, Luigi Glielmo |
A preliminary study on the effects of roll dynamics in predictive vehicle stability control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 5354-5359, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Yunpeng Pan, Jun Wang 0002 |
Robust Model Predictive Control Using a Discrete-Time Recurrent Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2008, 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part I, pp. 883-892, 2008, Springer, 978-3-540-87731-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Robust model predictive control, recurrent neural network, minimax optimization |
38 | Jianguo Yao, Xue Liu 0001, Mingxuan Yuan, Zonghua Gu 0001 |
Online adaptive utilization control for real-time embedded multiprocessor systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2008, Atlanta, GA, USA, October 19-24, 2008, pp. 85-90, 2008, ACM, 978-1-60558-470-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
multiprocessors, real-time scheduling, feedback control |
38 | Hsin-Lung Tseng, Yu-Pin Hsu 0001, Chung-Hsien Hsu, Po-Hsuan Tseng, Kai-Ten Feng |
A Maximal Power-Conserving Scheduling Algorithm for Broadband Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCNC ![In: WCNC 2008, IEEE Wireless Communications & Networking Conference, March 31 2008 - April 3 2008, Las Vegas, Nevada, USA, Conference Proceedings, pp. 1877-1882, 2008, IEEE, 978-1-4244-1997-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Maciej Lawrynczuk |
Suboptimal Nonlinear Predictive Control with MIMO Neural Hammerstein Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: New Frontiers in Applied Artificial Intelligence, 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008, Wroclaw, Poland, June 18-20, 2008, Proceedings, pp. 225-234, 2008, Springer, 978-3-540-69045-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Yijian Liu, Yanjun Fang |
Predictive Control Strategy of Hydraulic Turbine Turning System Based on BGNN Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISICA ![In: Advances in Computation and Intelligence, Third International Symposium, ISICA 2008, Wuhan, China, December 19-21, 2008 Proceedings, pp. 331-341, 2008, Springer, 978-3-540-92136-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Hydraulic Turbine, BGNN, neural network, Predictive Control |
38 | Yuval Ishai, Manoj Prabhakaran 0001, Amit Sahai |
Founding Cryptography on Oblivious Transfer - Efficiently. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2008, 28th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2008. Proceedings, pp. 572-591, 2008, Springer, 978-3-540-85173-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Guoliang Xing, Chenyang Lu 0001, Ying Zhang 0048, Qingfeng Huang, Robert Pless |
Minimum power configuration for wireless communication in sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Sens. Networks ![In: ACM Trans. Sens. Networks 3(2), pp. 11, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
minimum power configuration, Sensor networks, ad hoc networks, energy efficiency, wireless communications |
38 | Shangming Wei, Milos Zefran, Kasemsak Uthaichana, Raymond A. DeCarlo |
Hybrid Model Predictive Control for Stabilization of Wheeled Mobile Robots Subject to Wheel Slippage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 2373-2378, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Zuzana Beerliová-Trubíniová, Martin Hirt |
Efficient Multi-party Computation with Dispute Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC ![In: Theory of Cryptography, Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006, Proceedings, pp. 305-328, 2006, Springer, 3-540-32731-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Vinicius Menezes de Oliveira, Walter Fetter Lages |
Linear Predictive Control of a Brachiation Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, May 7-10, 2006, Ottawa Congress Centre, Ottawa, Canada, pp. 1518-1521, 2006, IEEE, 1-4244-0038-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Zhifang Zhang, Mulan Liu, Liangliang Xiao |
Parallel Multi-party Computation from Linear Multi-secret Sharing Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2005, 11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, India, December 4-8, 2005, Proceedings, pp. 156-173, 2005, Springer, 3-540-30684-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Changyu Shen, Lang Li 0001, Jake Yue Chen |
Discover True Association Rates in Multi-protein Complex Proteomics Data Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSB ![In: Fourth International IEEE Computer Society Computational Systems Bioinformatics Conference, CSB 2005, Stanford, CA, USA, August 8-11, 2005, pp. 167-174, 2005, IEEE Computer Society, 0-7695-2344-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Huimin Geng, Hesham H. Ali |
A New Clustering Strategy with Stochastic Merging and Removing Based on Kernel Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSB Workshops ![In: Fourth International IEEE Computer Society Computational Systems Bioinformatics Conference Workshops & Poster Abstracts, CSB 2005 Workshops, Stanford, CA, USA, August 8-11, 2005, pp. 41-42, 2005, IEEE Computer Society, 0-7695-2442-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Huimin Geng, Dhundy Bastola, Hesham H. Ali |
A New Approach to Clustering Biological Data Using Message Passing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSB ![In: 3rd International IEEE Computer Society Computational Systems Bioinformatics Conference, CSB 2004, Stanford, CA, USA, August 16-19, 2004, pp. 493-494, 2004, IEEE Computer Society, 0-7695-2194-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Alexandra Grancharova, Tor Arne Johansen |
Survey of Explicit Approaches to Constrained Optimal Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Summer School on Multi-AgentControl ![In: Switching and Learning in Feedback Systems, European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers, pp. 47-97, 2003, Springer, 3-540-24457-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Dan Henriksson, Anton Cervin, Johan Åkesson, Karl-Erik Årzén |
Feedback Scheduling of Model Predictive Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: Proceedings of the 8th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2002), 24-27 September 2002, San Jose, CA, USA, pp. 207-216, 2002, IEEE Computer Society, 0-7695-1739-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Chris Manzie, Marimuthu Palaniswami, H. Watson |
Model Predictive Control of a Fuel Injection System with a Radial Basis Function Network Observer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN (4) ![In: Proceedings of the IEEE-INNS-ENNS International Joint Conference on Neural Networks, IJCNN 2000, Neural Computing: New Challenges and Perspectives for the New Millennium, Como, Italy, July 24-27, 2000, Volume 4, pp. 359-364, 2000, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
38 | Ronald Cramer, Ivan Damgård, Stefan Dziembowski, Martin Hirt, Tal Rabin |
Efficient Multiparty Computations Secure Against an Adaptive Adversary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT '99, International Conference on the Theory and Application of Cryptographic Techniques, Prague, Czech Republic, May 2-6, 1999, Proceeding, pp. 311-326, 1999, Springer, 3-540-65889-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
36 | Joris Sijs, Mircea Lazar, W. P. M. H. Heemels |
On integration of event-based estimation and robust MPC in a feedback loop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010, pp. 31-40, 2010, ACM, 978-1-60558-955-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
event-based control, event-based estimation, robust control, predictive control, networked control systems |
36 | Marc Pérache, Patrick Carribault, Hervé Jourdren |
MPC-MPI: An MPI Implementation Reducing the Overall Memory Consumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 16th European PVM/MPI Users' Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings, pp. 94-103, 2009, Springer, 978-3-642-03769-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Memory consumption, Message passing, High-performance computing, Multithreading |
36 | Zuzana Beerliová-Trubíniová, Matthias Fitzi, Martin Hirt, Ueli M. Maurer, Vassilis Zikas |
MPC vs. SFE: Perfect Security in a Unified Corruption Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC ![In: Theory of Cryptography, Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008., pp. 231-250, 2008, Springer, 978-3-540-78523-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Melanie Nicole Zeilinger, Colin N. Jones, Manfred Morari |
Real-time suboptimal model predictive control using a combination of explicit MPC and online optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 4718-4723, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Todd Templeton, David Hyunchul Shim, Christopher Geyer, Shankar Sastry 0001 |
Autonomous Vision-based Landing and Terrain Mapping Using an MPC-controlled Unmanned Rotorcraft. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 1349-1356, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Alexey Ya. Kalinov, Ilya Ledovskih, Mikhail Posypkin, Zakhar Levchenko, Vladimir Chizhov |
A Fortran Evolution of mpC Parallel Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers, pp. 936-943, 2005, Springer, 3-540-34141-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Jing Tian, Yanxing Zheng, Huayong Zhu, Lincheng Shen |
A MPC and Genetic Algorithm Based Approach for Multiple UAVs Cooperative Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIS (1) ![In: Computational Intelligence and Security, International Conference, CIS 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part I, pp. 399-404, 2005, Springer, 3-540-30818-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | John Sandoval-Moreno |
Contribution to the Coordination of MPC Strategies for Distributed Systems, Applied to the Electric Power Production. (Contribución a la Coordinación de Estrategias de Control MPC para Sistemas Distribuídos, Aplicados a la Producción de Energía / Contribution à la Coordination de Commandes MPC pour Systèmes Distribués, Appliqués à la Production d'Énergie). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
31 | Ekaterina Komendantskaya (eds.) |
Mathematics of Program Construction - 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![Springer, 978-3-031-16911-3 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Ralf Hinze, Wouter Swierstra |
Calculating Datastructures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings, pp. 62-101, 2022, Springer, 978-3-031-16911-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Zhixuan Yang, Nicolas Wu |
Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings, pp. 222-267, 2022, Springer, 978-3-031-16911-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Brandon Hewer, Graham Hutton |
Subtyping Without Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings, pp. 34-61, 2022, Springer, 978-3-031-16911-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Dylan McDermott, Tarmo Uustalu |
Flexibly Graded Monads and Graded Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings, pp. 102-128, 2022, Springer, 978-3-031-16911-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Niccolò Veltri, Niels F. W. Voorneveld |
Streams of Approximations, Equivalence of Recursive Effectful Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings, pp. 198-221, 2022, Springer, 978-3-031-16911-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu |
Breadth-First Traversal via Staging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings, pp. 1-33, 2022, Springer, 978-3-031-16911-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Ayumu Saito, Reynald Affeldt |
Towards a Practical Library for Monadic Equational Reasoning in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings, pp. 151-177, 2022, Springer, 978-3-031-16911-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Minh Nguyen, Nicolas Wu |
Folding over Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings, pp. 129-150, 2022, Springer, 978-3-031-16911-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Martin Sulzmann, Stefan Wehr |
Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings, pp. 178-197, 2022, Springer, 978-3-031-16911-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Graham Hutton (eds.) |
Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![Springer, 978-3-030-33635-6 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Richard S. Bird, Florian Rabe 0001 |
How to Calculate with Nondeterministic Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, pp. 138-154, 2019, Springer, 978-3-030-33635-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Robin Kaarsgaard, Niccolò Veltri |
En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, pp. 366-384, 2019, Springer, 978-3-030-33635-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Ambrus Kaposi, András Kovács, Nicolai Kraus |
Shallow Embedding of Type Theory is Morally Correct. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, pp. 329-365, 2019, Springer, 978-3-030-33635-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Brijesh Dongol, Ian J. Hayes, Larissa Meinicke, Georg Struth |
Cylindric Kleene Lattices for Program Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, pp. 197-225, 2019, Springer, 978-3-030-33635-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Michael Peyton Jones, Vasilis Gkoumas, Roman Kireev, Kenneth MacKenzie, Chad Nester, Philip Wadler |
Unraveling Recursion: Compiling an IR with Recursion to System F. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, pp. 414-443, 2019, Springer, 978-3-030-33635-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva 0001 |
Completeness and Incompleteness of Synchronous Kleene Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, pp. 385-413, 2019, Springer, 978-3-030-33635-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Jan Stolarek, James Cheney |
Verified Self-Explaining Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, pp. 76-102, 2019, Springer, 978-3-030-33635-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Nicolas Tabareau |
Setoid Type Theory - A Syntactic Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, pp. 155-196, 2019, Springer, 978-3-030-33635-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Dominique Larchey-Wendling, Ralph Matthes |
Certification of Breadth-First Algorithms by Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, pp. 45-75, 2019, Springer, 978-3-030-33635-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Ralf Hinze |
Self-certifying Railroad Diagrams - Or: How to Teach Nondeterministic Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, pp. 103-137, 2019, Springer, 978-3-030-33635-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Reynald Affeldt, David Nowak, Takafumi Saikawa |
A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, pp. 226-254, 2019, Springer, 978-3-030-33635-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | James Chapman 0001, Roman Kireev, Chad Nester, Philip Wadler |
System F in Agda, for Fun and Profit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, pp. 255-297, 2019, Springer, 978-3-030-33635-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Koen Pauwels, Tom Schrijvers, Shin-Cheng Mu |
Handling Local State with Global State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, pp. 18-44, 2019, Springer, 978-3-030-33635-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Annabelle McIver |
Experiments in Information Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, pp. 1-17, 2019, Springer, 978-3-030-33635-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Jeremy Gibbons |
Coding with Asymmetric Numeral Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, pp. 444-465, 2019, Springer, 978-3-030-33635-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Roland Carl Backhouse |
An Analysis of Repeated Graph Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, pp. 298-328, 2019, Springer, 978-3-030-33635-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Ralf Hinze, Janis Voigtländer (eds.) |
Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![Springer, 978-3-319-19796-8 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens |
Notions of Bidirectional Computation and Entangled State Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings, pp. 187-214, 2015, Springer, 978-3-319-19796-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Dan Piponi, Brent A. Yorgey |
Polynomial Functors Constrained by Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings, pp. 113-136, 2015, Springer, 978-3-319-19796-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Brijesh Dongol, Victor B. F. Gomes, Georg Struth |
A Program Construction and Verification Tool for Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings, pp. 137-158, 2015, Springer, 978-3-319-19796-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
31 | José Pedro Magalhães, Andres Löh |
Hierarchy in Generic Programming Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings, pp. 93-112, 2015, Springer, 978-3-319-19796-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 3751 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|