The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for MPC with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1977-1989 (35) 1990-1992 (25) 1993-1995 (29) 1996-1998 (29) 1999-2000 (33) 2001 (21) 2002 (50) 2003 (34) 2004 (50) 2005 (46) 2006 (87) 2007 (46) 2008 (89) 2009 (71) 2010 (76) 2011 (65) 2012 (94) 2013 (110) 2014 (109) 2015 (138) 2016 (144) 2017 (171) 2018 (187) 2019 (249) 2020 (299) 2021 (402) 2022 (450) 2023 (502) 2024 (110)
Publication types (Num. hits)
article(1679) data(1) incollection(2) inproceedings(2042) phdthesis(11) proceedings(16)
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
125Zuzana Beerliová-Trubíniová, Martin Hirt, Jesper Buus Nielsen On the theoretical gap between synchronous and asynchronous MPC protocols. Search on Bibsonomy PODC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF cryptography, multi-party computation, asynchronous network, mpc
100Dewei Li 0001, Yugeng Xi 0001 Quality guaranteed aggregation based model predictive control and stability analysis. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF equivalent aggregation, quasi-equivalent, model predictive control
90Dmitry Arapov, Alexey Ya. Kalinov, Alexey L. Lastovetsky, Ilya Ledovskih, Ted G. Lewis A programming environment for heterogenous distributed memory machines. Search on Bibsonomy Heterogeneous Computing Workshop The full citation details ... 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
88Daniel Axehill, Anders Hansson A dual gradient projection quadratic programming algorithm tailored for model predictive control. Search on Bibsonomy CDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
76Ofir 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 Auton. Robots The full citation details ... 2008 DBLP  DOI  BibTeX  RDF MPC controllers, Biologically motivated, Target tracking, Target search
75Gorazd Karer, Gasper Music, Igor Skrjanc, Borut Zupancic Hybrid Fuzzy Modelling for Model Predictive Control. Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Hybrid systems, Fuzzy systems, Model predictive control
75Shiro Masuda, Hiroyuki Goto Feedback properties of model predictive control for max-plus-linear systems. Search on Bibsonomy ICNSC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
75Huimin Geng, Xutao Deng, Dhundy Bastola, Hesham H. Ali On Clustering Biological Data Using Unsupervised and Semi-Supervised Message Passing. Search on Bibsonomy BIBE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
75Ronald Cramer, Ivan Damgård, Ueli M. Maurer General Secure Multi-party Computation from any Linear Secret-Sharing Scheme. Search on Bibsonomy EUROCRYPT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
75Andrew W. Appel Intensional Equality ;=) for Continuations. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
74Martin Hirt, Ueli M. Maurer, Vassilis Zikas MPC vs. SFE : Unconditional and Computational Security. Search on Bibsonomy ASIACRYPT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
64Jesus Garcia, Mark G. Arnold, Leonidas G. Bleris, Mayuresh V. Kothare LNS architectures for embedded model predictive control processors. Search on Bibsonomy CASES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF FWL, cotransformation, reduced precision, LNS, MPC
63Toru Nakanishi 0001, Daisuke Yamamoto, Yuji Sugiyama Sealed-Bid Auctions with Efficient Bids. Search on Bibsonomy ICISC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF multiparty computation (MPC), mix-and-match, additive homomorphic cryptosystems, Sealed-bid auction
63Eduardo Camponogara, S. N. Talukdar Distributed Model Predictive Control: Synchronous and Asynchronous Computation. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part A The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
63Maciej Lawrynczuk Neural Models in Computationally Efficient Predictive Control Cooperating with Economic Optimisation. Search on Bibsonomy ICANN (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
63Ronald Cramer, Serge Fehr, Yuval Ishai, Eyal Kushilevitz Efficient Multi-party Computation over Rings. Search on Bibsonomy EUROCRYPT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
63Tiantong You, Hossam S. Hassanein, Hussein T. Mouftah Infrastructure-Based MAC in Wireless Mobile Ad-Hoc Networks. Search on Bibsonomy LCN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Simulation, Clustering, QoS, Wireless Ad hoc Networks, Medium Access Control
63Nanda Kambhatla, Simon Haykin 0001, Robert D. Dony Image Compression Using KLT, Wavelets and an Adaptive Mixture of Principal Components Model. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
61Christoph Lucas, Dominik Raub, Ueli M. Maurer Hybrid-secure MPC: trading information-theoretic robustness for computational privacy. Search on Bibsonomy PODC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF hybrid security, party emulation, computational security, information-theoretic security, universal composability, multi-party computation
61Zuzana Beerliová-Trubíniová, Martin Hirt Perfectly-Secure MPC with Linear Communication Complexity. Search on Bibsonomy TCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF hyper-invertible matrix, efficiency, Multi-party computation, perfect security
61H. Midorikawa The performance analysis of portable parallel programming interface MpC for SDSM and pthread. Search on Bibsonomy CCGRID The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
61Alexey Ya. Kalinov, Alexey L. Lastovetsky mpC + ScaLAPACK = Efficient Solving Linear Algebra Problems on Heterogeneous Networks. Search on Bibsonomy Euro-Par The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
50Hossein Ghodosi, Josef Pieprzyk Multi-Party Computation with Omnipresent Adversary. Search on Bibsonomy Public Key Cryptography The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Omnipresent Adversary, Proactive Secret Sharing, t-resilient Protocols, t-private Protocols, Multi-Party Computation
50Ion Necoara, Minh Dang Doan, Johan A. K. Suykens Application of the proximal center decomposition method to distributed model predictive control. Search on Bibsonomy CDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
50Juan A. Garay, Rafail Ostrovsky Almost-Everywhere Secure Computation. Search on Bibsonomy EUROCRYPT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF secure message transmission, almost-everywhere agreement, bounded-degree networks, Secure multi-party computation, expander graphs
50Maciej Lawrynczuk Suboptimal Nonlinear Predictive Control Based on Neural Wiener Models. Search on Bibsonomy AIMSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Wiener models, neural networks, optimisation, Process control, quadratic programming, Model Predictive Control, linearisation
50Chiu-Yuen Koo Secure Computation with Partial Message Loss. Search on Bibsonomy TCC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
50Mircea 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 HSCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
50Walid Al-Ahmad On the Interaction of Programming by Contract and Liskov Substitution Principle. Search on Bibsonomy AICCSA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
50Dmitry Arapov, Victor Ivannikov, Alexey Ya. Kalinov, Alexey L. Lastovetsky, Ilya Ledovskih Managing Processes with Network Objects and Their Translation. Search on Bibsonomy EUROMICRO The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
50Jiun-Ming Hsu, Prithviraj Banerjee A message passing coprocessor for distributed memory multicomputers. Search on Bibsonomy SC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
48Stefano 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 CDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
48Marc Pérache, Hervé Jourdren, Raymond Namyst MPC: A Unified Parallel Runtime for Clusters of NUMA Machines. Search on Bibsonomy Euro-Par The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
48Zuzana Beerliová-Trubíniová, Martin Hirt Simple and Efficient Perfectly-Secure Asynchronous MPC. Search on Bibsonomy ASIACRYPT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF efficiency, asynchronous, hybrid model, Multi-party computation, perfect security
48Dongping 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 WSC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
48Yoshiaki Sakae, Satoshi Matsuoka MPC++ Performance for Commodity Clustering. Search on Bibsonomy HPCN The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
48Dmitry Arapov, Alexey Ya. Kalinov, Alexey L. Lastovetsky Resource Management in the mpC Programming Environment. Search on Bibsonomy HICSS (1) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
39Sang-Hoon Kim, Hyoung-Gon Kim Face Detection Using Multi-Modal Information. Search on Bibsonomy FG The full citation details ... 2000 DBLP  DOI  BibTeX  RDF disparity histogram, MPEG-4 SNHC, multi-modal, skin color, MPC
38Vassilis Zikas, Sarah Hauser, Ueli M. Maurer Realistic Failures in Secure Multi-party Computation. Search on Bibsonomy TCC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Vu Nam Tran, Mietek A. Brdys Optimizing Control by Robustly Feasible Model Predictive Control and Application to Drinking Water Distribution Systems. Search on Bibsonomy ICANN (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF robust feasibility, robust output prediction, relaxation algorithm, drinking water distribution systems, genetic algorithms, optimization, predictive control
38Licheng Jin, Ratnesh Kumar 0001, Nicola Elia Security constrained emergency voltage stabilization: A Model Predictive Control based approach. Search on Bibsonomy CDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Giovanni 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 CDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Yunpeng Pan, Jun Wang 0002 Robust Model Predictive Control Using a Discrete-Time Recurrent Neural Network. Search on Bibsonomy ISNN (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Robust model predictive control, recurrent neural network, minimax optimization
38Jianguo Yao, Xue Liu 0001, Mingxuan Yuan, Zonghua Gu 0001 Online adaptive utilization control for real-time embedded multiprocessor systems. Search on Bibsonomy CODES+ISSS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multiprocessors, real-time scheduling, feedback control
38Hsin-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 WCNC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Maciej Lawrynczuk Suboptimal Nonlinear Predictive Control with MIMO Neural Hammerstein Models. Search on Bibsonomy IEA/AIE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Yijian Liu, Yanjun Fang Predictive Control Strategy of Hydraulic Turbine Turning System Based on BGNN Neural Network. Search on Bibsonomy ISICA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Hydraulic Turbine, BGNN, neural network, Predictive Control
38Yuval Ishai, Manoj Prabhakaran 0001, Amit Sahai Founding Cryptography on Oblivious Transfer - Efficiently. Search on Bibsonomy CRYPTO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Guoliang Xing, Chenyang Lu 0001, Ying Zhang 0048, Qingfeng Huang, Robert Pless Minimum power configuration for wireless communication in sensor networks. Search on Bibsonomy ACM Trans. Sens. Networks The full citation details ... 2007 DBLP  DOI  BibTeX  RDF minimum power configuration, Sensor networks, ad hoc networks, energy efficiency, wireless communications
38Shangming 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 ICRA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38Zuzana Beerliová-Trubíniová, Martin Hirt Efficient Multi-party Computation with Dispute Control. Search on Bibsonomy TCC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Vinicius Menezes de Oliveira, Walter Fetter Lages Linear Predictive Control of a Brachiation Robot. Search on Bibsonomy CCECE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
38Zhifang Zhang, Mulan Liu, Liangliang Xiao Parallel Multi-party Computation from Linear Multi-secret Sharing Schemes. Search on Bibsonomy ASIACRYPT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Changyu Shen, Lang Li 0001, Jake Yue Chen Discover True Association Rates in Multi-protein Complex Proteomics Data Sets. Search on Bibsonomy CSB The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Huimin Geng, Hesham H. Ali A New Clustering Strategy with Stochastic Merging and Removing Based on Kernel Functions. Search on Bibsonomy CSB Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Huimin Geng, Dhundy Bastola, Hesham H. Ali A New Approach to Clustering Biological Data Using Message Passing. Search on Bibsonomy CSB The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Alexandra Grancharova, Tor Arne Johansen Survey of Explicit Approaches to Constrained Optimal Control. Search on Bibsonomy European Summer School on Multi-AgentControl The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
38Dan Henriksson, Anton Cervin, Johan Åkesson, Karl-Erik Årzén Feedback Scheduling of Model Predictive Controllers. Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
38Chris Manzie, Marimuthu Palaniswami, H. Watson Model Predictive Control of a Fuel Injection System with a Radial Basis Function Network Observer. Search on Bibsonomy IJCNN (4) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
38Ronald Cramer, Ivan Damgård, Stefan Dziembowski, Martin Hirt, Tal Rabin Efficient Multiparty Computations Secure Against an Adaptive Adversary. Search on Bibsonomy EUROCRYPT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
36Joris Sijs, Mircea Lazar, W. P. M. H. Heemels On integration of event-based estimation and robust MPC in a feedback loop. Search on Bibsonomy HSCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF event-based control, event-based estimation, robust control, predictive control, networked control systems
36Marc Pérache, Patrick Carribault, Hervé Jourdren MPC-MPI: An MPI Implementation Reducing the Overall Memory Consumption. Search on Bibsonomy PVM/MPI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Memory consumption, Message passing, High-performance computing, Multithreading
36Zuzana 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 TCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Melanie 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 CDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Todd 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 ICRA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Alexey Ya. Kalinov, Ilya Ledovskih, Mikhail Posypkin, Zakhar Levchenko, Vladimir Chizhov A Fortran Evolution of mpC Parallel Programming Language. Search on Bibsonomy PPAM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Jing Tian, Yanxing Zheng, Huayong Zhu, Lincheng Shen A MPC and Genetic Algorithm Based Approach for Multiple UAVs Cooperative Search. Search on Bibsonomy CIS (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33John 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 2014   RDF
31Ekaterina Komendantskaya (eds.) Mathematics of Program Construction - 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings Search on Bibsonomy MPC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
31Ralf Hinze, Wouter Swierstra Calculating Datastructures. Search on Bibsonomy MPC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
31Zhixuan Yang, Nicolas Wu Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes. Search on Bibsonomy MPC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
31Brandon Hewer, Graham Hutton Subtyping Without Reduction. Search on Bibsonomy MPC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
31Dylan McDermott, Tarmo Uustalu Flexibly Graded Monads and Graded Algebras. Search on Bibsonomy MPC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
31Niccolò Veltri, Niels F. W. Voorneveld Streams of Approximations, Equivalence of Recursive Effectful Programs. Search on Bibsonomy MPC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
31Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu Breadth-First Traversal via Staging. Search on Bibsonomy MPC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
31Ayumu Saito, Reynald Affeldt Towards a Practical Library for Monadic Equational Reasoning in Coq. Search on Bibsonomy MPC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
31Minh Nguyen, Nicolas Wu Folding over Neural Networks. Search on Bibsonomy MPC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
31Martin Sulzmann, Stefan Wehr Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go. Search on Bibsonomy MPC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
31Graham Hutton (eds.) Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings Search on Bibsonomy MPC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
31Richard S. Bird, Florian Rabe 0001 How to Calculate with Nondeterministic Functions. Search on Bibsonomy MPC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
31Robin Kaarsgaard, Niccolò Veltri En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad. Search on Bibsonomy MPC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
31Ambrus Kaposi, András Kovács, Nicolai Kraus Shallow Embedding of Type Theory is Morally Correct. Search on Bibsonomy MPC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
31Brijesh Dongol, Ian J. Hayes, Larissa Meinicke, Georg Struth Cylindric Kleene Lattices for Program Construction. Search on Bibsonomy MPC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
31Michael 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 MPC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
31Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva 0001 Completeness and Incompleteness of Synchronous Kleene Algebra. Search on Bibsonomy MPC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
31Jan Stolarek, James Cheney Verified Self-Explaining Computation. Search on Bibsonomy MPC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
31Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Nicolas Tabareau Setoid Type Theory - A Syntactic Translation. Search on Bibsonomy MPC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
31Dominique Larchey-Wendling, Ralph Matthes Certification of Breadth-First Algorithms by Extraction. Search on Bibsonomy MPC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
31Ralf Hinze Self-certifying Railroad Diagrams - Or: How to Teach Nondeterministic Finite Automata. Search on Bibsonomy MPC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
31Reynald Affeldt, David Nowak, Takafumi Saikawa A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning. Search on Bibsonomy MPC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
31James Chapman 0001, Roman Kireev, Chad Nester, Philip Wadler System F in Agda, for Fun and Profit. Search on Bibsonomy MPC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
31Koen Pauwels, Tom Schrijvers, Shin-Cheng Mu Handling Local State with Global State. Search on Bibsonomy MPC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
31Annabelle McIver Experiments in Information Flow Analysis. Search on Bibsonomy MPC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
31Jeremy Gibbons Coding with Asymmetric Numeral Systems. Search on Bibsonomy MPC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
31Roland Carl Backhouse An Analysis of Repeated Graph Search. Search on Bibsonomy MPC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
31Ralf 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 MPC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
31Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens Notions of Bidirectional Computation and Entangled State Monads. Search on Bibsonomy MPC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
31Dan Piponi, Brent A. Yorgey Polynomial Functors Constrained by Regular Expressions. Search on Bibsonomy MPC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
31Brijesh Dongol, Victor B. F. Gomes, Georg Struth A Program Construction and Verification Tool for Separation Logic. Search on Bibsonomy MPC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
31José Pedro Magalhães, Andres Löh Hierarchy in Generic Programming Libraries. Search on Bibsonomy MPC The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license