Search results for "PIM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Pål Grønås Drange, Markus Sortland Dregi, Pim van 't Hof	On the Computational Complexity of Vertex Integrity and Component Order Connectivity.	ISAAC	2014	DBLP DOI BibTeX RDF
22	Colin Jacobs, S. H. T. T. Opdam, Eva M. van Rikxoort, O. M. Mets, J. Rooyackers, Pim A. de Jong, Mathias Prokop, Bram van Ginneken	Automated detection and quantification of micronodules in thoracic CT scans to identify subjects at risk for silicosis.	Medical Imaging: Computer-Aided Diagnosis	2014	DBLP DOI BibTeX RDF
22	Pim van Bree, Geert Kessels	Mapping Memory Landscapes in nodegoat.	SocInfo Workshops	2014	DBLP DOI BibTeX RDF
22	Rémy Belmonte, Pim van 't Hof, Marcin Jakub Kaminski, Daniël Paulusma	Forbidden Induced Subgraphs and the Price of Connectivity for Feedback Vertex Set.	MFCS (2)	2014	DBLP DOI BibTeX RDF
22	Manu Basavaraju, Pinar Heggernes, Pim van 't Hof, Reza Saei, Yngve Villanger	Maximal Induced Matchings in Triangle-Free Graphs.	WG	2014	DBLP DOI BibTeX RDF
22	Petr A. Golovach, Pinar Heggernes, Pim van 't Hof, Christophe Paul	Hadwiger Number of Graphs with Small Chordality.	WG	2014	DBLP DOI BibTeX RDF
22	Antonio de la Piedra, Jaap-Henk Hoepman, Pim Vullers	Towards a Full-Featured Implementation of Attribute Based Credentials on Smart Cards.	CANS	2014	DBLP DOI BibTeX RDF
22	Vincent van der Leest, Roel Maes, Geert Jan Schrijen, Pim Tuyls	Hardware Intrinsic Security to Protect Value in the Mobile Market.	ISSE	2014	DBLP DOI BibTeX RDF
22	Pinar Heggernes, Pim van 't Hof, Erik Jan van Leeuwen, Reza Saei	Finding Disjoint Paths in Split Graphs.	SOFSEM	2014	DBLP DOI BibTeX RDF
22	Konrad Kazimierz Dabrowski, Petr A. Golovach, Pim van 't Hof, Daniël Paulusma	Editing to Eulerian Graphs.	FSTTCS	2014	DBLP DOI BibTeX RDF
22	Piek Vossen, German Rigau, Luciano Serafini, Pim Stouten, Francis Irving, Willem Robert van Hage	NewsReader: recording history from daily news streams.	LREC	2014	DBLP BibTeX RDF
22	Petr A. Golovach, Pinar Heggernes, Pim van 't Hof, Daniël Paulusma	Choosability on H-free graphs.	Inf. Process. Lett.	2013	DBLP DOI BibTeX RDF
22	J. (Pim) A. M. Nijssen, Mark H. M. Winands	Search Policies in Multi-Player Games.	J. Int. Comput. Games Assoc.	2013	DBLP DOI BibTeX RDF
22	Joris H. Janssen, Paul Tacken, Gert-Jan de Vries, Egon L. van den Broek, Joyce H. D. M. Westerink, Pim Haselager, Wijnand A. IJsselsteijn	Machines Outperform Laypersons in Recognizing Emotions Elicited by Autobiographical Recollection.	Hum. Comput. Interact.	2013	DBLP DOI BibTeX RDF
22	Pinar Heggernes, Pim van 't Hof, Daniel Lokshtanov, Christophe Paul	Obtaining a Bipartite Graph by Contracting Few Edges.	SIAM J. Discret. Math.	2013	DBLP DOI BibTeX RDF
22	Hajo Broersma, Fedor V. Fomin, Pim van 't Hof, Daniël Paulusma	Exact Algorithms for Finding Longest Cycles in Claw-Free Graphs.	Algorithmica	2013	DBLP DOI BibTeX RDF
22	Pim van 't Hof, Yngve Villanger	Proper Interval Vertex Deletion.	Algorithmica	2013	DBLP DOI BibTeX RDF
22	Petr A. Golovach, Pim van 't Hof, Daniël Paulusma	Obtaining planarity by contracting few edges.	Theor. Comput. Sci.	2013	DBLP DOI BibTeX RDF
22	Jean-François Couturier 0001, Pinar Heggernes, Pim van 't Hof, Dieter Kratsch	Minimal dominating sets in graph classes: Combinatorial bounds and enumeration.	Theor. Comput. Sci.	2013	DBLP DOI BibTeX RDF
22	Pinar Heggernes, Pim van 't Hof, Bart M. P. Jansen, Stefan Kratsch, Yngve Villanger	Parameterized complexity of vertex deletion into perfect graph classes.	Theor. Comput. Sci.	2013	DBLP DOI BibTeX RDF
22	Pim Haselager	Did I Do That? Brain-Computer Interfacing and the Sense of Agency.	Minds Mach.	2013	DBLP DOI BibTeX RDF
22	Joachim von Eichborn, Mathias Dunkel, Björn O. Gohlke, Sarah C. Preissner, Michael F. Hoffmann, Jakob M. J. Bauer, J. Douglas Armstrong, Martin H. Schaefer 0001, Miguel A. Andrade-Navarro, Nicolas Le Novère, Michael D. R. Croning, Seth G. N. Grant, Pim van Nierop, August B. Smit, Robert Preissner	SynSysNet: integration of experimental data on synaptic protein-protein interactions with drug-target relations.	Nucleic Acids Res.	2013	DBLP DOI BibTeX RDF
22	Vesna Prckovska, Hakim C. Achterberg, Matteo Bastiani, Pim Pullens, Evgeniya Balmashnova, Bart M. ter Haar Romeny, Anna Vilanova, Alard Roebroeck	Optimal Short-Time Acquisition Schemes in High Angular Resolution Diffusion-Weighted Imaging.	Int. J. Biomed. Imaging	2013	DBLP DOI BibTeX RDF
22	Manu Basavaraju, Pinar Heggernes, Pim van 't Hof, Reza Saei, Yngve Villanger	Maximal induced matchings in triangle-free graphs.	CoRR	2013	DBLP BibTeX RDF
22	Rémy Belmonte, Pim van 't Hof, Marcin Kaminski 0001, Daniël Paulusma, Dimitrios M. Thilikos	Characterizing graphs of small carving-width.	Discret. Appl. Math.	2013	DBLP DOI BibTeX RDF
22	Pim Vullers, Gergely Alpár	Efficient Selective Disclosure on Smart Cards Using Idemix.	IDMAN	2013	DBLP DOI BibTeX RDF
22	Sabina M. Chita, Manon J. N. L. Benders, Pim Moeskops, Karina J. Kersbergen, Max A. Viergever, Ivana Isgum	Automatic segmentation of the preterm neonatal brain with MRI using supervised classification.	Medical Imaging: Image Processing	2013	DBLP DOI BibTeX RDF
22	Pim Moeskops, Manon J. N. L. Benders, Paul C. Pearlman, Karina J. Kersbergen, Alexander Leemans, Max A. Viergever, Ivana Isgum	Assessment of quantitative cortical biomarkers in the developing brain of preterm infants.	Medical Imaging: Computer-Aided Diagnosis	2013	DBLP DOI BibTeX RDF
22	Vincent van der Leest, Pim Tuyls	Anti-counterfeiting with hardware intrinsic security.	DATE	2013	DBLP DOI BibTeX RDF
22	Endre Boros, Pinar Heggernes, Pim van 't Hof, Martin Milanic	Vector Connectivity in Graphs.	TAMC	2013	DBLP DOI BibTeX RDF
22	Pim Huijnen, Fons Laan, Maarten de Rijke, Toine Pieters	A Digital Humanities Approach to the History of Science - Eugenics Revisited in Hidden Debates by Means of Semantic Text Mining.	SocInfo Workshops	2013	DBLP DOI BibTeX RDF
22	Pim van Bree, Geert Kessels	Towards an Object-Oriented Referencing System: Defining Multiple Forms of Asynchronous Collaboration and authorship.	DHLU	2013	DBLP BibTeX RDF
22	Steven Chaplick, Jirí Fiala 0001, Pim van 't Hof, Daniël Paulusma, Marek Tesar 0001	Locally Constrained Homomorphisms on Graphs of Bounded Treewidth and Bounded Degree.	FCT	2013	DBLP DOI BibTeX RDF
22	Pinar Heggernes, Pim van 't Hof, Martin Milanic	Induced Subtrees in Interval Graphs.	IWOCA	2013	DBLP DOI BibTeX RDF
22	Chung-Hao Lee, Pim J. A. Oomen, Jean Pierre Rabbah, Ajit P. Yoganathan, Robert C. Gorman, Joseph H. Gorman III, Rouzbeh Amini, Michael S. Sacks	A High-Fidelity and Micro-anatomically Accurate 3D Finite Element Model for Simulations of Functional Mitral Valve.	FIMH	2013	DBLP DOI BibTeX RDF
22	Rémy Belmonte, Petr A. Golovach, Pim van 't Hof, Daniël Paulusma	Parameterized Complexity of Two Edge Contraction Problems with Degree Constraints.	IPEC	2013	DBLP DOI BibTeX RDF
22	Pechin Lo, Bram van Ginneken, Joseph M. Reinhardt, Tarunashree Yavarna, Pim A. de Jong, Benjamin Irving, Catalin I. Fetita, Margarete Ortner, Romulo Pinho, Jan Sijbers, Marco Feuerstein, Anna Fabijanska, Christian Bauer 0001, Reinhard Beichel, Carlos S. Mendoza, Rafael Wiemker, Jaesung Lee, Anthony P. Reeves, Silvia Born, Oliver Weinheimer, Eva M. van Rikxoort, Juerg Tschirren, Kensaku Mori, Benjamin Odry, David P. Naidich, Ieneke Hartmann, Eric A. Hoffman, Mathias Prokop, Jesper Johannes Holst Pedersen, Marleen de Bruijne	Extraction of Airways From CT (EXACT'09).	IEEE Trans. Medical Imaging	2012	DBLP DOI BibTeX RDF
22	Sebo Uithol, Iris van Rooij, Harold Bekkering, Pim Haselager	Hierarchies in Action and Motor Control.	J. Cogn. Neurosci.	2012	DBLP DOI BibTeX RDF
22	Stavros T. Ponis, Pim van der Eijk, Vassilis Masselos	Supply chain interoperability for enhancing e-business adoption by SMEs: a case study from the European clothing sector.	Int. J. Bus. Inf. Syst.	2012	DBLP DOI BibTeX RDF
22	Laurens Hogeweg, Clara I. Sánchez, Pim A. de Jong, Pragnya Maduskar, Bram van Ginneken	Clavicle segmentation in chest radiographs.	Medical Image Anal.	2012	DBLP DOI BibTeX RDF
22	Pinar Heggernes, Pim van 't Hof, Daniel Lokshtanov, Jesper Nederlof	Computing the Cutwidth of Bipartite Permutation Graphs in Linear Time.	SIAM J. Discret. Math.	2012	DBLP DOI BibTeX RDF
22	Pim van 't Hof, Marcin Kaminski 0001, Daniël Paulusma	Finding Induced Paths of Given Parity in Claw-Free Graphs.	Algorithmica	2012	DBLP DOI BibTeX RDF
22	J. (Pim) A. M. Nijssen, Mark H. M. Winands	Monte Carlo Tree Search for the Hide-and-Seek Game Scotland Yard.	IEEE Trans. Comput. Intell. AI Games	2012	DBLP DOI BibTeX RDF
22	Pinar Heggernes, Pim van 't Hof, Daniël Paulusma	Computing role assignments of proper interval graphs in polynomial time.	J. Discrete Algorithms	2012	DBLP DOI BibTeX RDF
22	Petr A. Golovach, Pim van 't Hof, Daniël Paulusma	Obtaining Planarity by Contracting Few Edges	CoRR	2012	DBLP BibTeX RDF
22	Rémy Belmonte, Pinar Heggernes, Pim van 't Hof	Edge contractions in subclasses of chordal graphs.	Discret. Appl. Math.	2012	DBLP DOI BibTeX RDF
22	Pim van 't Hof, Marcin Kaminski 0001, Daniël Paulusma, Stefan Szeider, Dimitrios M. Thilikos	On graph contractions and induced minors.	Discret. Appl. Math.	2012	DBLP DOI BibTeX RDF
22	Lisanne Warmerdam, Heleen Riper, Michel C. A. Klein, Pepijn van de Ven, Artur Rocha, Mario Ricardo Henriques, Eric Tousset, Hugo Silva, Gerhard Andersson, Pim Cuijpers	Innovative ICT Solutions to Improve Treatment Outcomes for Depression: The ICT4Depression Project.	Annual Review of Cybertherapy and Telemedicine	2012	DBLP DOI BibTeX RDF
22	Rémy Belmonte, Pim van 't Hof, Marcin Kaminski 0001	Induced Immersions.	ISAAC	2012	DBLP DOI BibTeX RDF
22	Fons Wijnhoven, Pim Dietz, Chintan Amrit	Information Waste, the Environment and Human Action: Concepts and Research.	HCC	2012	DBLP DOI BibTeX RDF
22	Eva M. van Rikxoort, Pim A. de Jong, O. M. Mets, Bram van Ginneken	Automatic classication of pulmonary function in COPD patients using trachea analysis in chest CT scans.	Medical Imaging: Computer-Aided Diagnosis	2012	DBLP DOI BibTeX RDF
22	Theo C. Ruys, Pim Kars	Gossiping Girls Are All Alike.	SPIN	2012	DBLP DOI BibTeX RDF
22	Vincent van der Leest, Erik van der Sluis, Geert Jan Schrijen, Pim Tuyls, Helena Handschuh	Efficient Implementation of True Random Number Generator Based on SRAM PUFs.	Cryptography and Security	2012	DBLP DOI BibTeX RDF
22	Thessa T. J. P. Kockelkorn, Clara I. Sánchez, Jan C. Grutters, Rui Ramos, Pim A. de Jong, Max A. Viergever, José Ramos, Cornelia Schaefer-Prokop, Bram van Ginneken	Interactive classification of lung tissue in CT scans by combining prior and interactively obtained training data: A simulation study.	ICPR	2012	DBLP BibTeX RDF
22	Petr A. Golovach, Pim van 't Hof, Daniël Paulusma	Obtaining Planarity by Contracting Few Edges.	MFCS	2012	DBLP DOI BibTeX RDF
22	Pinar Heggernes, Pim van 't Hof, Dániel Marx, Neeldhara Misra, Yngve Villanger	On the Parameterized Complexity of Finding Separators with Non-Hereditary Properties.	WG	2012	DBLP DOI BibTeX RDF
22	Petr A. Golovach, Pinar Heggernes, Pim van 't Hof, Fredrik Manne, Daniël Paulusma, Michal Pilipczuk	How to Eliminate a Graph.	WG	2012	DBLP DOI BibTeX RDF
22	Meditya Wasesa, Pim Nijdam, Ismail Habib Muhammad, Eric van Heck	Improving the Pre-notification Protocol of the Containers Pick-up Procedure - An Agent-based Approach.	ICAART (2)	2012	DBLP BibTeX RDF
22	Rémy Belmonte, Pim van 't Hof, Marcin Kaminski 0001, Daniël Paulusma, Dimitrios M. Thilikos	Characterizing Graphs of Small Carving-Width.	COCOA	2012	DBLP DOI BibTeX RDF
22	Tínaz Ekim, Aysel Erey, Pinar Heggernes, Pim van 't Hof, Daniel Meister 0001	Computing Minimum Geodetic Sets of Proper Interval Graphs.	LATIN	2012	DBLP DOI BibTeX RDF
22	Pim van den Broek	Intersection of feature models.	SPLC (2)	2012	DBLP DOI BibTeX RDF
22	Jean-François Couturier 0001, Pinar Heggernes, Pim van 't Hof, Dieter Kratsch	Minimal Dominating Sets in Graph Classes: Combinatorial Bounds and Enumeration.	SOFSEM	2012	DBLP DOI BibTeX RDF
22	Rémy Belmonte, Pinar Heggernes, Pim van 't Hof, Reza Saei	Ramsey Numbers for Line Graphs and Perfect Graphs.	COCOON	2012	DBLP DOI BibTeX RDF
22	Jean-François Couturier 0001, Pinar Heggernes, Pim van 't Hof, Yngve Villanger	Maximum Number of Minimal Feedback Vertex Sets in Chordal Graphs and Cographs.	COCOON	2012	DBLP DOI BibTeX RDF
22	Rita Almeida Ribeiro, Ana M. D. Moreira, Pim van den Broek, Afonso Pimentel	Hybrid assessment method for software engineering decisions.	Decis. Support Syst.	2011	DBLP DOI BibTeX RDF
22	Pinar Heggernes, Pim van 't Hof, Benjamin Lévêque, Christophe Paul	Contracting chordal graphs and bipartite graphs to paths and trees.	Electron. Notes Discret. Math.	2011	DBLP DOI BibTeX RDF
22	Dave R. M. Langers, Pim van Dijk	Robustness of intrinsic connectivity networks in the human brain to the presence of acoustic scanner noise.	NeuroImage	2011	DBLP DOI BibTeX RDF
22	Pinar Heggernes, Pim van 't Hof, Daniel Lokshtanov, Christophe Paul	Obtaining a Bipartite Graph by Contracting Few Edges	CoRR	2011	DBLP BibTeX RDF
22	Pinar Heggernes, Pim van 't Hof, Benjamin Lévêque, Daniel Lokshtanov, Christophe Paul	Contracting Graphs to Paths and Trees	CoRR	2011	DBLP BibTeX RDF
22	Henk A. Marquering, Pim van Ooij, Geert J. Streekstra, Joppe J. Schneiders, Charles B. L. M. Majoie, Ed VanBavel, Aart J. Nederveen	Multiscale Flow Patterns Within an Intracranial Aneurysm Phantom.	IEEE Trans. Biomed. Eng.	2011	DBLP DOI BibTeX RDF
22	Rémy Belmonte, Petr A. Golovach, Pinar Heggernes, Pim van 't Hof, Marcin Kaminski 0001, Daniël Paulusma	Finding Contractions and Induced Minors in Chordal Graphs via Disjoint Paths.	ISAAC	2011	DBLP DOI BibTeX RDF
22	J. (Pim) A. M. Nijssen, Mark H. M. Winands	Playout Search for Monte-Carlo Tree Search in Multi-player Games.	ACG	2011	DBLP DOI BibTeX RDF
22	Pim Nauts, Willem A. van Doesburg, Emiel Krahmer, Anita H. M. Cremers	Taking Turns in Flying with a Virtual Wingman.	HCI (2)	2011	DBLP DOI BibTeX RDF
22	Gijs Geleijnse, Peggy Nachtigall, Pim van Kaam, Luciënne Wijgergangs	A personalized recipe advice system to promote healthful choices.	IUI	2011	DBLP DOI BibTeX RDF
22	Todd Wareham, Johan Kwisthout, Pim Haselager, Iris van Rooij	Ignorance is bliss: A complexity perspective on adapting reactive architectures.	ICDL-EPIROB	2011	DBLP DOI BibTeX RDF
22	Rémy Belmonte, Pinar Heggernes, Pim van 't Hof	Edge Contractions in Subclasses of Chordal Graphs.	TAMC	2011	DBLP DOI BibTeX RDF
22	Wojciech Mostowski, Pim Vullers	Efficient U-Prove Implementation for Anonymous Credentials on Smart Cards.	SecureComm	2011	DBLP DOI BibTeX RDF
22	Mark Blokpoel, Johan Kwisthout, Todd Wareham, Pim Haselager, Ivan Toni, Iris van Rooij	The computational costs of recipient design and intention recognition in communication.	CogSci	2011	DBLP BibTeX RDF
22	J. (Pim) A. M. Nijssen, Mark H. M. Winands	Monte-Carlo Tree Search for the game of Scotland Yard.	CIG	2011	DBLP DOI BibTeX RDF
22	Pinar Heggernes, Pim van 't Hof, Bart M. P. Jansen, Stefan Kratsch, Yngve Villanger	Parameterized Complexity of Vertex Deletion into Perfect Graph Classes.	FCT	2011	DBLP DOI BibTeX RDF
22	Arvind Datadien, Pim Haselager, Ida G. Sprinkhuizen-Kuyper	The Right Delay - Detecting Specific Spike Patterns with STDP and Axonal Conduction Delays.	ICANNGA (1)	2011	DBLP DOI BibTeX RDF
22	Pim Otte, Francis M. Tyers	Rapid rule-based machine translation between Dutch and Afrikaans.	EAMT	2011	DBLP BibTeX RDF
22	Marijn G. A. Plomp, Ronald S. Batenburg, Pim den Hertog	Does ICT Policy Improve Interorganisational ICT for SMEs? A Dutch Policy Evaluation Study.	Bled eConference	2011	DBLP BibTeX RDF
22	Georgios N. Selimis, Mario Konijnenburg, Maryam Ashouei, Jos Huisken, Harmke de Groot, Vincent van der Leest, Geert Jan Schrijen, Marten van Hulst, Pim Tuyls	Evaluation of 90nm 6T-SRAM as Physical Unclonable Function for secure key generation in wireless sensor nodes.	ISCAS	2011	DBLP DOI BibTeX RDF
22	Colin Jacobs, Clara I. Sánchez, Stefan C. Saur, Thorsten Twellmann, Pim A. de Jong, Bram van Ginneken	Computer-Aided Detection of Ground Glass Nodules in Thoracic CT Images Using Shape, Intensity and Context Features.	MICCAI (3)	2011	DBLP DOI BibTeX RDF
22	Pinar Heggernes, Pim van 't Hof, Daniel Lokshtanov, Christophe Paul	Obtaining a Bipartite Graph by Contracting Few Edges.	FSTTCS	2011	DBLP DOI BibTeX RDF
22	Pinar Heggernes, Pim van 't Hof, Benjamin Lévêque, Daniel Lokshtanov, Christophe Paul	Contracting Graphs to Paths and Trees.	IPEC	2011	DBLP DOI BibTeX RDF
22	Pim van 't Hof, Daniël Paulusma, Johan M. M. van Rooij	Computing role assignments of chordal graphs.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
22	Pim van 't Hof, Gerhard F. Post, Dirk Briskorn	Constructing fair round robin tournaments with a minimum number of breaks.	Oper. Res. Lett.	2010	DBLP DOI BibTeX RDF
22	Pim van 't Hof, Daniël Paulusma	A new characterization of P6-free graphs.	Discret. Appl. Math.	2010	DBLP DOI BibTeX RDF
22	Selim Ciraci, Wilke Havinga, Mehmet Aksit, Christoph Bockisch, Pim van den Broek	A Graph-Based Aspect Interference Detection Approach for UML-Based Aspect-Oriented Models.	T. Aspect-Oriented Software Development	2010	DBLP DOI BibTeX RDF
22	Evgeny A. Verbitskiy, Pim Tuyls, Chibuzo Obi, Berry Schoenmakers, Boris Skoric	Key extraction from general nondiscrete signals.	IEEE Trans. Inf. Forensics Secur.	2010	DBLP DOI BibTeX RDF
22	Helena Handschuh, Geert Jan Schrijen, Pim Tuyls	Hardware Intrinsic Security from Physically Unclonable Functions.	Towards Hardware-Intrinsic Security	2010	DBLP DOI BibTeX RDF
22	Frederik Armknecht, Roel Maes, Ahmad-Reza Sadeghi, Berk Sunar, Pim Tuyls	Memory Leakage-Resilient Encryption Based on Physically Unclonable Functions.	Towards Hardware-Intrinsic Security	2010	DBLP DOI BibTeX RDF
22	Roel Maes, Pim Tuyls	Process Variations for Security: PUFs.	Secure Integrated Circuits and Systems	2010	DBLP DOI BibTeX RDF
22	Vincent van der Leest, Geert Jan Schrijen, Helena Handschuh, Pim Tuyls	Hardware intrinsic security from D flip-flops.	STC@CCS	2010	DBLP BibTeX RDF
22	Laurens E. Hogeweg, Christian Mol, Pim A. de Jong, Bram van Ginneken	Rib suppression in chest radiographs to improve classification of textural abnormalities.	Medical Imaging: Computer-Aided Diagnosis	2010	DBLP DOI BibTeX RDF
22	Thessa T. J. P. Kockelkorn, Pim A. de Jong, Hester A. Gietema, Jan C. Grutters, Mathias Prokop, Bram van Ginneken	Interactive annotation of textures in thoracic CT scans.	Medical Imaging: Computer-Aided Diagnosis	2010	DBLP DOI BibTeX RDF
22	Pim Tuyls	Hardware Intrinsic Security.	RFIDSec	2010	DBLP DOI BibTeX RDF
22	Selim Ciraci, Pim van den Broek, Mehmet Aksit	Graph-based verification of static program constraints.	SAC	2010	DBLP DOI BibTeX RDF	constraint verification, program constraints, prolog, graph transformations